From eaad9d4668d4908a874e45e748b2eecf597c6075 Mon Sep 17 00:00:00 2001 From: Nicholas Carlini Date: Wed, 9 Oct 2024 22:28:12 +0000 Subject: [PATCH] Add code to backfill stats --- data/stat_history/02bf779.txt | 6 ++++ data/stat_history/041b92d.txt | 5 +++ data/stat_history/05025ec.txt | 7 ++++ data/stat_history/05138bb.txt | 5 +++ data/stat_history/06b2822.txt | 7 ++++ data/stat_history/06cc0f7.txt | 7 ++++ data/stat_history/09d8c67.txt | 7 ++++ data/stat_history/0b53ad1.txt | 7 ++++ data/stat_history/0c3dda4.txt | 10 ++++++ data/stat_history/0d7bd04.txt | 6 ++++ data/stat_history/0e34e17.txt | 6 ++++ data/stat_history/0eb0e5a.txt | 6 ++++ data/stat_history/0f89900.txt | 6 ++++ data/stat_history/1082fda.txt | 6 ++++ data/stat_history/114922c.txt | 6 ++++ data/stat_history/11a1831.txt | 6 ++++ data/stat_history/11ab32c.txt | 7 ++++ data/stat_history/11dfc73.txt | 7 ++++ data/stat_history/11f5d00.txt | 5 +++ data/stat_history/12ceca3.txt | 12 +++++++ data/stat_history/12cfae3.txt | 7 ++++ data/stat_history/1327a8f.txt | 5 +++ data/stat_history/1335244.txt | 6 ++++ data/stat_history/143ec7e.txt | 6 ++++ data/stat_history/14c230f.txt | 5 +++ data/stat_history/15b9889.txt | 5 +++ data/stat_history/15d5417.txt | 10 ++++++ data/stat_history/161bdcc.txt | 6 ++++ data/stat_history/16ecfa0.txt | 12 +++++++ data/stat_history/198f326.txt | 6 ++++ data/stat_history/198fd3f.txt | 5 +++ data/stat_history/199bfef.txt | 5 +++ data/stat_history/19b3bf7.txt | 7 ++++ data/stat_history/1a9fba3.txt | 5 +++ data/stat_history/1bb5c50.txt | 5 +++ data/stat_history/1c7e1bc.txt | 7 ++++ data/stat_history/1d1a7f6.txt | 5 +++ data/stat_history/1e6ebff.txt | 6 ++++ data/stat_history/1e78ea5.txt | 6 ++++ data/stat_history/1e88f78.txt | 5 +++ data/stat_history/1ee4205.txt | 6 ++++ data/stat_history/1f05607.txt | 7 ++++ data/stat_history/1f15dfe.txt | 5 +++ data/stat_history/1f2b196.txt | 5 +++ data/stat_history/1fa3377.txt | 7 ++++ data/stat_history/1fdaa67.txt | 6 ++++ data/stat_history/202dd71.txt | 5 +++ data/stat_history/2059764.txt | 7 ++++ data/stat_history/2077ebf.txt | 6 ++++ data/stat_history/20bd4f9.txt | 7 ++++ data/stat_history/216d377.txt | 12 +++++++ data/stat_history/22ba7a0.txt | 5 +++ data/stat_history/2541455.txt | 5 +++ data/stat_history/2572c83.txt | 7 ++++ data/stat_history/270867f.txt | 6 ++++ data/stat_history/275bb67.txt | 6 ++++ data/stat_history/27fa1e1.txt | 5 +++ data/stat_history/2abd15e.txt | 7 ++++ data/stat_history/2ddfb96.txt | 12 +++++++ data/stat_history/2f97cc0.txt | 7 ++++ data/stat_history/317d1db.txt | 5 +++ data/stat_history/3294f5e.txt | 12 +++++++ data/stat_history/335a83d.txt | 6 ++++ data/stat_history/33c35bf.txt | 6 ++++ data/stat_history/345f865.txt | 7 ++++ data/stat_history/35e22b0.txt | 5 +++ data/stat_history/3810b21.txt | 5 +++ data/stat_history/3a25591.txt | 6 ++++ data/stat_history/3b11388.txt | 10 ++++++ data/stat_history/3e0b766.txt | 7 ++++ data/stat_history/3e5f9cd.txt | 7 ++++ data/stat_history/3f2f8a2.txt | 6 ++++ data/stat_history/3f3bbdd.txt | 6 ++++ data/stat_history/3f750f6.txt | 6 ++++ data/stat_history/41f40e0.txt | 6 ++++ data/stat_history/45aa093.txt | 5 +++ data/stat_history/45d299a.txt | 5 +++ data/stat_history/46a3207.txt | 5 +++ data/stat_history/47df00d.txt | 7 ++++ data/stat_history/4861735.txt | 5 +++ data/stat_history/4c809c3.txt | 7 ++++ data/stat_history/4d95792.txt | 7 ++++ data/stat_history/4f64081.txt | 7 ++++ data/stat_history/4f7ebef.txt | 6 ++++ data/stat_history/4fafd77.txt | 6 ++++ data/stat_history/5019a2d.txt | 7 ++++ data/stat_history/51127a6.txt | 5 +++ data/stat_history/528eb75.txt | 10 ++++++ data/stat_history/52e2d36.txt | 5 +++ data/stat_history/530be11.txt | 5 +++ data/stat_history/534ac2f.txt | 7 ++++ data/stat_history/5388f81.txt | 7 ++++ data/stat_history/54bce15.txt | 7 ++++ data/stat_history/551d1ac.txt | 12 +++++++ data/stat_history/55fd2de.txt | 12 +++++++ data/stat_history/57789ec.txt | 5 +++ data/stat_history/59ee360.txt | 7 ++++ data/stat_history/5a1c13f.txt | 7 ++++ data/stat_history/5aa86c8.txt | 6 ++++ data/stat_history/5bffc43.txt | 6 ++++ data/stat_history/5d02887.txt | 5 +++ data/stat_history/5e30571.txt | 5 +++ data/stat_history/5e59409.txt | 10 ++++++ data/stat_history/5e82e8e.txt | 7 ++++ data/stat_history/604b709.txt | 6 ++++ data/stat_history/623c3e0.txt | 6 ++++ data/stat_history/636282c.txt | 7 ++++ data/stat_history/63d1594.txt | 7 ++++ data/stat_history/64137d3.txt | 7 ++++ data/stat_history/6469fb4.txt | 6 ++++ data/stat_history/679a681.txt | 7 ++++ data/stat_history/679dc5e.txt | 6 ++++ data/stat_history/67abc4f.txt | 6 ++++ data/stat_history/680ee99.txt | 6 ++++ data/stat_history/6891c5f.txt | 7 ++++ data/stat_history/6a6d708.txt | 5 +++ data/stat_history/6b0a098.txt | 5 +++ data/stat_history/6b0de50.txt | 5 +++ data/stat_history/6bb8055.txt | 6 ++++ data/stat_history/6c3419c.txt | 6 ++++ data/stat_history/6c3d4b0.txt | 10 ++++++ data/stat_history/6d8816d.txt | 6 ++++ data/stat_history/6e385e3.txt | 5 +++ data/stat_history/6e869dc.txt | 7 ++++ data/stat_history/6ef4e49.txt | 7 ++++ data/stat_history/71bc89b.txt | 5 +++ data/stat_history/7325974.txt | 6 ++++ data/stat_history/7407ef2.txt | 7 ++++ data/stat_history/75b8b81.txt | 7 ++++ data/stat_history/772488b.txt | 6 ++++ data/stat_history/77480d3.txt | 6 ++++ data/stat_history/78b431a.txt | 7 ++++ data/stat_history/793cc7f.txt | 6 ++++ data/stat_history/799c085.txt | 7 ++++ data/stat_history/7c916a1.txt | 7 ++++ data/stat_history/7d70653.txt | 6 ++++ data/stat_history/7d73c44.txt | 7 ++++ data/stat_history/7dd58db.txt | 5 +++ data/stat_history/7e3442e.txt | 7 ++++ data/stat_history/7fbbe3b.txt | 7 ++++ data/stat_history/8054662.txt | 5 +++ data/stat_history/81bc942.txt | 7 ++++ data/stat_history/824c22e.txt | 6 ++++ data/stat_history/82c114b.txt | 10 ++++++ data/stat_history/83d4a21.txt | 7 ++++ data/stat_history/84313d5.txt | 7 ++++ data/stat_history/846395e.txt | 6 ++++ data/stat_history/84d123f.txt | 7 ++++ data/stat_history/84e7631.txt | 5 +++ data/stat_history/851d3ec.txt | 7 ++++ data/stat_history/858d43a.txt | 12 +++++++ data/stat_history/86bd918.txt | 5 +++ data/stat_history/878d576.txt | 6 ++++ data/stat_history/88064eb.txt | 7 ++++ data/stat_history/882dc92.txt | 7 ++++ data/stat_history/8b1ae99.txt | 6 ++++ data/stat_history/8b4ecbd.txt | 12 +++++++ data/stat_history/8bed986.txt | 12 +++++++ data/stat_history/8ddc4a0.txt | 5 +++ data/stat_history/8e13420.txt | 7 ++++ data/stat_history/8ecfe5a.txt | 5 +++ data/stat_history/90055c6.txt | 5 +++ data/stat_history/90eb906.txt | 5 +++ data/stat_history/9110dd7.txt | 7 ++++ data/stat_history/91df68f.txt | 7 ++++ data/stat_history/92d063b.txt | 5 +++ data/stat_history/943dc9b.txt | 6 ++++ data/stat_history/94d07ef.txt | 5 +++ data/stat_history/95f14e1.txt | 6 ++++ data/stat_history/960a414.txt | 5 +++ data/stat_history/96e9c18.txt | 5 +++ data/stat_history/9767075.txt | 6 ++++ data/stat_history/97dfcbd.txt | 5 +++ data/stat_history/9a402bb.txt | 5 +++ data/stat_history/9ada53e.txt | 7 ++++ data/stat_history/9b898f5.txt | 12 +++++++ data/stat_history/9bdec11.txt | 5 +++ data/stat_history/9c2302a.txt | 5 +++ data/stat_history/9ca4390.txt | 7 ++++ data/stat_history/9e9f6f7.txt | 6 ++++ data/stat_history/9edd1c0.txt | 6 ++++ data/stat_history/a03ffcb.txt | 6 ++++ data/stat_history/a06c30b.txt | 12 +++++++ data/stat_history/a1d2079.txt | 6 ++++ data/stat_history/a1eb2db.txt | 6 ++++ data/stat_history/a326d6d.txt | 7 ++++ data/stat_history/a3a1e16.txt | 5 +++ data/stat_history/a47e6bd.txt | 7 ++++ data/stat_history/a51f860.txt | 6 ++++ data/stat_history/a9301dc.txt | 7 ++++ data/stat_history/aa110cf.txt | 6 ++++ data/stat_history/adc92cb.txt | 7 ++++ data/stat_history/b14d9b3.txt | 7 ++++ data/stat_history/b1aab6a.txt | 7 ++++ data/stat_history/b287fc3.txt | 5 +++ data/stat_history/b2eaa3e.txt | 7 ++++ data/stat_history/b470f79.txt | 5 +++ data/stat_history/b4f717e.txt | 5 +++ data/stat_history/b51aa7c.txt | 5 +++ data/stat_history/b546bd1.txt | 5 +++ data/stat_history/b5dc599.txt | 6 ++++ data/stat_history/b6373e8.txt | 5 +++ data/stat_history/b8efafa.txt | 12 +++++++ data/stat_history/b998dd8.txt | 7 ++++ data/stat_history/backfill_stats.py | 55 +++++++++++++++++++++++++++++ data/stat_history/bbd46df.txt | 5 +++ data/stat_history/bbd4f36.txt | 7 ++++ data/stat_history/bd38c5f.txt | 7 ++++ data/stat_history/bda22e4.txt | 6 ++++ data/stat_history/be362a7.txt | 7 ++++ data/stat_history/be47f3e.txt | 7 ++++ data/stat_history/bec31a3.txt | 5 +++ data/stat_history/bf376c8.txt | 7 ++++ data/stat_history/bf6c691.txt | 12 +++++++ data/stat_history/c01a91f.txt | 6 ++++ data/stat_history/c0fc978.txt | 6 ++++ data/stat_history/c172a9e.txt | 5 +++ data/stat_history/c2b92b1.txt | 7 ++++ data/stat_history/c3707d2.txt | 7 ++++ data/stat_history/c3bf4ac.txt | 12 +++++++ data/stat_history/c3d8575.txt | 7 ++++ data/stat_history/c5a903f.txt | 12 +++++++ data/stat_history/c68087c.txt | 5 +++ data/stat_history/c8bbb8d.txt | 6 ++++ data/stat_history/c8eb843.txt | 6 ++++ data/stat_history/ca6a36a.txt | 7 ++++ data/stat_history/cab1423.txt | 6 ++++ data/stat_history/ccc41d1.txt | 5 +++ data/stat_history/cd63f18.txt | 5 +++ data/stat_history/cdab4ea.txt | 7 ++++ data/stat_history/cf97f57.txt | 7 ++++ data/stat_history/d0975a7.txt | 7 ++++ data/stat_history/d138c4e.txt | 5 +++ data/stat_history/d22688a.txt | 5 +++ data/stat_history/d36b5cc.txt | 7 ++++ data/stat_history/d4b4118.txt | 5 +++ data/stat_history/d58d808.txt | 7 ++++ data/stat_history/d61b690.txt | 5 +++ data/stat_history/d62e043.txt | 10 ++++++ data/stat_history/d6695c1.txt | 5 +++ data/stat_history/d8b60e3.txt | 5 +++ data/stat_history/d99988d.txt | 5 +++ data/stat_history/dac82d9.txt | 5 +++ data/stat_history/dd791fe.txt | 6 ++++ data/stat_history/dee88db.txt | 7 ++++ data/stat_history/dfe556a.txt | 7 ++++ data/stat_history/e1a75b5.txt | 5 +++ data/stat_history/e3aee7b.txt | 5 +++ data/stat_history/e3d1cf4.txt | 6 ++++ data/stat_history/e4cdaf1.txt | 7 ++++ data/stat_history/e5d4241.txt | 6 ++++ data/stat_history/e864ee9.txt | 7 ++++ data/stat_history/e8c08c4.txt | 6 ++++ data/stat_history/ea6e617.txt | 6 ++++ data/stat_history/ec402a6.txt | 5 +++ data/stat_history/f20bcd0.txt | 5 +++ data/stat_history/f3df951.txt | 7 ++++ data/stat_history/f49ece0.txt | 7 ++++ data/stat_history/f4ec9f2.txt | 5 +++ data/stat_history/f5378ff.txt | 12 +++++++ data/stat_history/f590767.txt | 6 ++++ data/stat_history/f63f8d0.txt | 5 +++ data/stat_history/f6a209e.txt | 7 ++++ data/stat_history/f8adedf.txt | 6 ++++ data/stat_history/f91b4f2.txt | 12 +++++++ data/stat_history/f9a1686.txt | 5 +++ data/stat_history/f9b97e9.txt | 5 +++ data/stat_history/fc480c4.txt | 7 ++++ data/stat_history/fc96237.txt | 6 ++++ data/stat_history/fe88e4f.txt | 12 +++++++ data/stat_history/fe8966e.txt | 12 +++++++ 271 files changed, 1834 insertions(+) create mode 100644 data/stat_history/02bf779.txt create mode 100644 data/stat_history/041b92d.txt create mode 100644 data/stat_history/05025ec.txt create mode 100644 data/stat_history/05138bb.txt create mode 100644 data/stat_history/06b2822.txt create mode 100644 data/stat_history/06cc0f7.txt create mode 100644 data/stat_history/09d8c67.txt create mode 100644 data/stat_history/0b53ad1.txt create mode 100644 data/stat_history/0c3dda4.txt create mode 100644 data/stat_history/0d7bd04.txt create mode 100644 data/stat_history/0e34e17.txt create mode 100644 data/stat_history/0eb0e5a.txt create mode 100644 data/stat_history/0f89900.txt create mode 100644 data/stat_history/1082fda.txt create mode 100644 data/stat_history/114922c.txt create mode 100644 data/stat_history/11a1831.txt create mode 100644 data/stat_history/11ab32c.txt create mode 100644 data/stat_history/11dfc73.txt create mode 100644 data/stat_history/11f5d00.txt create mode 100644 data/stat_history/12ceca3.txt create mode 100644 data/stat_history/12cfae3.txt create mode 100644 data/stat_history/1327a8f.txt create mode 100644 data/stat_history/1335244.txt create mode 100644 data/stat_history/143ec7e.txt create mode 100644 data/stat_history/14c230f.txt create mode 100644 data/stat_history/15b9889.txt create mode 100644 data/stat_history/15d5417.txt create mode 100644 data/stat_history/161bdcc.txt create mode 100644 data/stat_history/16ecfa0.txt create mode 100644 data/stat_history/198f326.txt create mode 100644 data/stat_history/198fd3f.txt create mode 100644 data/stat_history/199bfef.txt create mode 100644 data/stat_history/19b3bf7.txt create mode 100644 data/stat_history/1a9fba3.txt create mode 100644 data/stat_history/1bb5c50.txt create mode 100644 data/stat_history/1c7e1bc.txt create mode 100644 data/stat_history/1d1a7f6.txt create mode 100644 data/stat_history/1e6ebff.txt create mode 100644 data/stat_history/1e78ea5.txt create mode 100644 data/stat_history/1e88f78.txt create mode 100644 data/stat_history/1ee4205.txt create mode 100644 data/stat_history/1f05607.txt create mode 100644 data/stat_history/1f15dfe.txt create mode 100644 data/stat_history/1f2b196.txt create mode 100644 data/stat_history/1fa3377.txt create mode 100644 data/stat_history/1fdaa67.txt create mode 100644 data/stat_history/202dd71.txt create mode 100644 data/stat_history/2059764.txt create mode 100644 data/stat_history/2077ebf.txt create mode 100644 data/stat_history/20bd4f9.txt create mode 100644 data/stat_history/216d377.txt create mode 100644 data/stat_history/22ba7a0.txt create mode 100644 data/stat_history/2541455.txt create mode 100644 data/stat_history/2572c83.txt create mode 100644 data/stat_history/270867f.txt create mode 100644 data/stat_history/275bb67.txt create mode 100644 data/stat_history/27fa1e1.txt create mode 100644 data/stat_history/2abd15e.txt create mode 100644 data/stat_history/2ddfb96.txt create mode 100644 data/stat_history/2f97cc0.txt create mode 100644 data/stat_history/317d1db.txt create mode 100644 data/stat_history/3294f5e.txt create mode 100644 data/stat_history/335a83d.txt create mode 100644 data/stat_history/33c35bf.txt create mode 100644 data/stat_history/345f865.txt create mode 100644 data/stat_history/35e22b0.txt create mode 100644 data/stat_history/3810b21.txt create mode 100644 data/stat_history/3a25591.txt create mode 100644 data/stat_history/3b11388.txt create mode 100644 data/stat_history/3e0b766.txt create mode 100644 data/stat_history/3e5f9cd.txt create mode 100644 data/stat_history/3f2f8a2.txt create mode 100644 data/stat_history/3f3bbdd.txt create mode 100644 data/stat_history/3f750f6.txt create mode 100644 data/stat_history/41f40e0.txt create mode 100644 data/stat_history/45aa093.txt create mode 100644 data/stat_history/45d299a.txt create mode 100644 data/stat_history/46a3207.txt create mode 100644 data/stat_history/47df00d.txt create mode 100644 data/stat_history/4861735.txt create mode 100644 data/stat_history/4c809c3.txt create mode 100644 data/stat_history/4d95792.txt create mode 100644 data/stat_history/4f64081.txt create mode 100644 data/stat_history/4f7ebef.txt create mode 100644 data/stat_history/4fafd77.txt create mode 100644 data/stat_history/5019a2d.txt create mode 100644 data/stat_history/51127a6.txt create mode 100644 data/stat_history/528eb75.txt create mode 100644 data/stat_history/52e2d36.txt create mode 100644 data/stat_history/530be11.txt create mode 100644 data/stat_history/534ac2f.txt create mode 100644 data/stat_history/5388f81.txt create mode 100644 data/stat_history/54bce15.txt create mode 100644 data/stat_history/551d1ac.txt create mode 100644 data/stat_history/55fd2de.txt create mode 100644 data/stat_history/57789ec.txt create mode 100644 data/stat_history/59ee360.txt create mode 100644 data/stat_history/5a1c13f.txt create mode 100644 data/stat_history/5aa86c8.txt create mode 100644 data/stat_history/5bffc43.txt create mode 100644 data/stat_history/5d02887.txt create mode 100644 data/stat_history/5e30571.txt create mode 100644 data/stat_history/5e59409.txt create mode 100644 data/stat_history/5e82e8e.txt create mode 100644 data/stat_history/604b709.txt create mode 100644 data/stat_history/623c3e0.txt create mode 100644 data/stat_history/636282c.txt create mode 100644 data/stat_history/63d1594.txt create mode 100644 data/stat_history/64137d3.txt create mode 100644 data/stat_history/6469fb4.txt create mode 100644 data/stat_history/679a681.txt create mode 100644 data/stat_history/679dc5e.txt create mode 100644 data/stat_history/67abc4f.txt create mode 100644 data/stat_history/680ee99.txt create mode 100644 data/stat_history/6891c5f.txt create mode 100644 data/stat_history/6a6d708.txt create mode 100644 data/stat_history/6b0a098.txt create mode 100644 data/stat_history/6b0de50.txt create mode 100644 data/stat_history/6bb8055.txt create mode 100644 data/stat_history/6c3419c.txt create mode 100644 data/stat_history/6c3d4b0.txt create mode 100644 data/stat_history/6d8816d.txt create mode 100644 data/stat_history/6e385e3.txt create mode 100644 data/stat_history/6e869dc.txt create mode 100644 data/stat_history/6ef4e49.txt create mode 100644 data/stat_history/71bc89b.txt create mode 100644 data/stat_history/7325974.txt create mode 100644 data/stat_history/7407ef2.txt create mode 100644 data/stat_history/75b8b81.txt create mode 100644 data/stat_history/772488b.txt create mode 100644 data/stat_history/77480d3.txt create mode 100644 data/stat_history/78b431a.txt create mode 100644 data/stat_history/793cc7f.txt create mode 100644 data/stat_history/799c085.txt create mode 100644 data/stat_history/7c916a1.txt create mode 100644 data/stat_history/7d70653.txt create mode 100644 data/stat_history/7d73c44.txt create mode 100644 data/stat_history/7dd58db.txt create mode 100644 data/stat_history/7e3442e.txt create mode 100644 data/stat_history/7fbbe3b.txt create mode 100644 data/stat_history/8054662.txt create mode 100644 data/stat_history/81bc942.txt create mode 100644 data/stat_history/824c22e.txt create mode 100644 data/stat_history/82c114b.txt create mode 100644 data/stat_history/83d4a21.txt create mode 100644 data/stat_history/84313d5.txt create mode 100644 data/stat_history/846395e.txt create mode 100644 data/stat_history/84d123f.txt create mode 100644 data/stat_history/84e7631.txt create mode 100644 data/stat_history/851d3ec.txt create mode 100644 data/stat_history/858d43a.txt create mode 100644 data/stat_history/86bd918.txt create mode 100644 data/stat_history/878d576.txt create mode 100644 data/stat_history/88064eb.txt create mode 100644 data/stat_history/882dc92.txt create mode 100644 data/stat_history/8b1ae99.txt create mode 100644 data/stat_history/8b4ecbd.txt create mode 100644 data/stat_history/8bed986.txt create mode 100644 data/stat_history/8ddc4a0.txt create mode 100644 data/stat_history/8e13420.txt create mode 100644 data/stat_history/8ecfe5a.txt create mode 100644 data/stat_history/90055c6.txt create mode 100644 data/stat_history/90eb906.txt create mode 100644 data/stat_history/9110dd7.txt create mode 100644 data/stat_history/91df68f.txt create mode 100644 data/stat_history/92d063b.txt create mode 100644 data/stat_history/943dc9b.txt create mode 100644 data/stat_history/94d07ef.txt create mode 100644 data/stat_history/95f14e1.txt create mode 100644 data/stat_history/960a414.txt create mode 100644 data/stat_history/96e9c18.txt create mode 100644 data/stat_history/9767075.txt create mode 100644 data/stat_history/97dfcbd.txt create mode 100644 data/stat_history/9a402bb.txt create mode 100644 data/stat_history/9ada53e.txt create mode 100644 data/stat_history/9b898f5.txt create mode 100644 data/stat_history/9bdec11.txt create mode 100644 data/stat_history/9c2302a.txt create mode 100644 data/stat_history/9ca4390.txt create mode 100644 data/stat_history/9e9f6f7.txt create mode 100644 data/stat_history/9edd1c0.txt create mode 100644 data/stat_history/a03ffcb.txt create mode 100644 data/stat_history/a06c30b.txt create mode 100644 data/stat_history/a1d2079.txt create mode 100644 data/stat_history/a1eb2db.txt create mode 100644 data/stat_history/a326d6d.txt create mode 100644 data/stat_history/a3a1e16.txt create mode 100644 data/stat_history/a47e6bd.txt create mode 100644 data/stat_history/a51f860.txt create mode 100644 data/stat_history/a9301dc.txt create mode 100644 data/stat_history/aa110cf.txt create mode 100644 data/stat_history/adc92cb.txt create mode 100644 data/stat_history/b14d9b3.txt create mode 100644 data/stat_history/b1aab6a.txt create mode 100644 data/stat_history/b287fc3.txt create mode 100644 data/stat_history/b2eaa3e.txt create mode 100644 data/stat_history/b470f79.txt create mode 100644 data/stat_history/b4f717e.txt create mode 100644 data/stat_history/b51aa7c.txt create mode 100644 data/stat_history/b546bd1.txt create mode 100644 data/stat_history/b5dc599.txt create mode 100644 data/stat_history/b6373e8.txt create mode 100644 data/stat_history/b8efafa.txt create mode 100644 data/stat_history/b998dd8.txt create mode 100644 data/stat_history/backfill_stats.py create mode 100644 data/stat_history/bbd46df.txt create mode 100644 data/stat_history/bbd4f36.txt create mode 100644 data/stat_history/bd38c5f.txt create mode 100644 data/stat_history/bda22e4.txt create mode 100644 data/stat_history/be362a7.txt create mode 100644 data/stat_history/be47f3e.txt create mode 100644 data/stat_history/bec31a3.txt create mode 100644 data/stat_history/bf376c8.txt create mode 100644 data/stat_history/bf6c691.txt create mode 100644 data/stat_history/c01a91f.txt create mode 100644 data/stat_history/c0fc978.txt create mode 100644 data/stat_history/c172a9e.txt create mode 100644 data/stat_history/c2b92b1.txt create mode 100644 data/stat_history/c3707d2.txt create mode 100644 data/stat_history/c3bf4ac.txt create mode 100644 data/stat_history/c3d8575.txt create mode 100644 data/stat_history/c5a903f.txt create mode 100644 data/stat_history/c68087c.txt create mode 100644 data/stat_history/c8bbb8d.txt create mode 100644 data/stat_history/c8eb843.txt create mode 100644 data/stat_history/ca6a36a.txt create mode 100644 data/stat_history/cab1423.txt create mode 100644 data/stat_history/ccc41d1.txt create mode 100644 data/stat_history/cd63f18.txt create mode 100644 data/stat_history/cdab4ea.txt create mode 100644 data/stat_history/cf97f57.txt create mode 100644 data/stat_history/d0975a7.txt create mode 100644 data/stat_history/d138c4e.txt create mode 100644 data/stat_history/d22688a.txt create mode 100644 data/stat_history/d36b5cc.txt create mode 100644 data/stat_history/d4b4118.txt create mode 100644 data/stat_history/d58d808.txt create mode 100644 data/stat_history/d61b690.txt create mode 100644 data/stat_history/d62e043.txt create mode 100644 data/stat_history/d6695c1.txt create mode 100644 data/stat_history/d8b60e3.txt create mode 100644 data/stat_history/d99988d.txt create mode 100644 data/stat_history/dac82d9.txt create mode 100644 data/stat_history/dd791fe.txt create mode 100644 data/stat_history/dee88db.txt create mode 100644 data/stat_history/dfe556a.txt create mode 100644 data/stat_history/e1a75b5.txt create mode 100644 data/stat_history/e3aee7b.txt create mode 100644 data/stat_history/e3d1cf4.txt create mode 100644 data/stat_history/e4cdaf1.txt create mode 100644 data/stat_history/e5d4241.txt create mode 100644 data/stat_history/e864ee9.txt create mode 100644 data/stat_history/e8c08c4.txt create mode 100644 data/stat_history/ea6e617.txt create mode 100644 data/stat_history/ec402a6.txt create mode 100644 data/stat_history/f20bcd0.txt create mode 100644 data/stat_history/f3df951.txt create mode 100644 data/stat_history/f49ece0.txt create mode 100644 data/stat_history/f4ec9f2.txt create mode 100644 data/stat_history/f5378ff.txt create mode 100644 data/stat_history/f590767.txt create mode 100644 data/stat_history/f63f8d0.txt create mode 100644 data/stat_history/f6a209e.txt create mode 100644 data/stat_history/f8adedf.txt create mode 100644 data/stat_history/f91b4f2.txt create mode 100644 data/stat_history/f9a1686.txt create mode 100644 data/stat_history/f9b97e9.txt create mode 100644 data/stat_history/fc480c4.txt create mode 100644 data/stat_history/fc96237.txt create mode 100644 data/stat_history/fe88e4f.txt create mode 100644 data/stat_history/fe8966e.txt diff --git a/data/stat_history/02bf779.txt b/data/stat_history/02bf779.txt new file mode 100644 index 000000000..9b4680cbd --- /dev/null +++ b/data/stat_history/02bf779.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 27810, +"implicit_proof_true": 5299864, +"unknown": 2863054, +"implicit_proof_false": 42, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/041b92d.txt b/data/stat_history/041b92d.txt new file mode 100644 index 000000000..4c4e37ce9 --- /dev/null +++ b/data/stat_history/041b92d.txt @@ -0,0 +1,5 @@ +{"unknown": 21726, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13274799, + "explicit_proof_true": 31023, + "explicit_proof_false": 582443} diff --git a/data/stat_history/05025ec.txt b/data/stat_history/05025ec.txt new file mode 100644 index 000000000..99f66a5a6 --- /dev/null +++ b/data/stat_history/05025ec.txt @@ -0,0 +1,7 @@ +{"unknown": 955, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582095, + "explicit_conjecture_false": 35} diff --git a/data/stat_history/05138bb.txt b/data/stat_history/05138bb.txt new file mode 100644 index 000000000..aa3f3ad38 --- /dev/null +++ b/data/stat_history/05138bb.txt @@ -0,0 +1,5 @@ +{"unknown": 21407, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275912, + "explicit_proof_true": 31023, + "explicit_proof_false": 581649} diff --git a/data/stat_history/06b2822.txt b/data/stat_history/06b2822.txt new file mode 100644 index 000000000..4a0c0ebd0 --- /dev/null +++ b/data/stat_history/06b2822.txt @@ -0,0 +1,7 @@ +{"unknown": 955, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582094, + "explicit_conjecture_false": 36} diff --git a/data/stat_history/06cc0f7.txt b/data/stat_history/06cc0f7.txt new file mode 100644 index 000000000..dd246442f --- /dev/null +++ b/data/stat_history/06cc0f7.txt @@ -0,0 +1,7 @@ +{"unknown": 954, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582096, + "explicit_conjecture_false": 35} diff --git a/data/stat_history/09d8c67.txt b/data/stat_history/09d8c67.txt new file mode 100644 index 000000000..9d3612caf --- /dev/null +++ b/data/stat_history/09d8c67.txt @@ -0,0 +1,7 @@ +{"unknown": 932, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272264, + "implicit_conjecture_false": 11, + "explicit_proof_true": 31019, + "explicit_proof_false": 582102, + "explicit_conjecture_false": 48} diff --git a/data/stat_history/0b53ad1.txt b/data/stat_history/0b53ad1.txt new file mode 100644 index 000000000..e2667fc7a --- /dev/null +++ b/data/stat_history/0b53ad1.txt @@ -0,0 +1,7 @@ +{"unknown": 732, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272284, + "implicit_conjecture_false": 12, + "explicit_proof_true": 31019, + "explicit_proof_false": 582132, + "explicit_conjecture_false": 197} diff --git a/data/stat_history/0c3dda4.txt b/data/stat_history/0c3dda4.txt new file mode 100644 index 000000000..45cdc728b --- /dev/null +++ b/data/stat_history/0c3dda4.txt @@ -0,0 +1,10 @@ +{"explicit_proof_true": 23109, +"implicit_proof_true": 5295922, +"explicit_conjecture_true": 38949, +"implicit_conjecture_true": 1223057, +"unknown": 7999, +"implicit_conjecture_false": 1540725, +"explicit_conjecture_false": 79635, +"implicit_proof_false": 12994633, +"explicit_proof_false": 829607 +} diff --git a/data/stat_history/0d7bd04.txt b/data/stat_history/0d7bd04.txt new file mode 100644 index 000000000..4985d40e3 --- /dev/null +++ b/data/stat_history/0d7bd04.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 29248, +"implicit_proof_true": 7063191, +"unknown": 1120090, +"implicit_proof_false": 13243426, +"explicit_proof_false": 605854 +} diff --git a/data/stat_history/0e34e17.txt b/data/stat_history/0e34e17.txt new file mode 100644 index 000000000..cec1b2380 --- /dev/null +++ b/data/stat_history/0e34e17.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 27803, +"implicit_proof_true": 5294943, +"unknown": 2886650, +"implicit_proof_false": 12994633, +"explicit_proof_false": 829607 +} diff --git a/data/stat_history/0eb0e5a.txt b/data/stat_history/0eb0e5a.txt new file mode 100644 index 000000000..563af0bcd --- /dev/null +++ b/data/stat_history/0eb0e5a.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 23109, +"implicit_proof_true": 5295922, +"unknown": 2890365, +"implicit_proof_false": 12994633, +"explicit_proof_false": 829607, +} diff --git a/data/stat_history/0f89900.txt b/data/stat_history/0f89900.txt new file mode 100644 index 000000000..51293a71d --- /dev/null +++ b/data/stat_history/0f89900.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28239, +"implicit_proof_true": 5454927, +"unknown": 2707562, +"implicit_proof_false": 42, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/1082fda.txt b/data/stat_history/1082fda.txt new file mode 100644 index 000000000..2cd2b321f --- /dev/null +++ b/data/stat_history/1082fda.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28264, +"implicit_proof_true": 5457961, +"unknown": 2734065, +"implicit_proof_false": 7723, +"explicit_proof_false": 13833796 +} diff --git a/data/stat_history/114922c.txt b/data/stat_history/114922c.txt new file mode 100644 index 000000000..b4f4d2d4c --- /dev/null +++ b/data/stat_history/114922c.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 27810, +"implicit_proof_true": 5299864, +"unknown": 2881722, +"implicit_proof_false": 12994633, +"explicit_proof_false": 829607 +} diff --git a/data/stat_history/11a1831.txt b/data/stat_history/11a1831.txt new file mode 100644 index 000000000..4d2a62f2e --- /dev/null +++ b/data/stat_history/11a1831.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28263, +"implicit_proof_true": 5457962, +"unknown": 2729196, +"implicit_proof_false": 3522, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/11ab32c.txt b/data/stat_history/11ab32c.txt new file mode 100644 index 000000000..41d275801 --- /dev/null +++ b/data/stat_history/11ab32c.txt @@ -0,0 +1,7 @@ +{"unknown": 741, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272281, + "implicit_conjecture_false": 12, + "explicit_proof_true": 31019, + "explicit_proof_false": 582126, + "explicit_conjecture_false": 197} diff --git a/data/stat_history/11dfc73.txt b/data/stat_history/11dfc73.txt new file mode 100644 index 000000000..4a0c0ebd0 --- /dev/null +++ b/data/stat_history/11dfc73.txt @@ -0,0 +1,7 @@ +{"unknown": 955, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582094, + "explicit_conjecture_false": 36} diff --git a/data/stat_history/11f5d00.txt b/data/stat_history/11f5d00.txt new file mode 100644 index 000000000..3c7880d4a --- /dev/null +++ b/data/stat_history/11f5d00.txt @@ -0,0 +1,5 @@ +{"unknown": 29503, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13268299, + "explicit_proof_true": 31023, + "explicit_proof_false": 581166} diff --git a/data/stat_history/12ceca3.txt b/data/stat_history/12ceca3.txt new file mode 100644 index 000000000..a4dc0b41d --- /dev/null +++ b/data/stat_history/12ceca3.txt @@ -0,0 +1,12 @@ +extract_implications outcomes +Output the status of all implications. + +USAGE: + extract_implications outcomes [FLAGS] ... + +FLAGS: + -h, --help Prints this message. + --hist Create a histogram instead of outputting all outcomes + +ARGS: + files : Array ModuleName The files to extract the implications from diff --git a/data/stat_history/12cfae3.txt b/data/stat_history/12cfae3.txt new file mode 100644 index 000000000..dd246442f --- /dev/null +++ b/data/stat_history/12cfae3.txt @@ -0,0 +1,7 @@ +{"unknown": 954, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582096, + "explicit_conjecture_false": 35} diff --git a/data/stat_history/1327a8f.txt b/data/stat_history/1327a8f.txt new file mode 100644 index 000000000..c5b99d129 --- /dev/null +++ b/data/stat_history/1327a8f.txt @@ -0,0 +1,5 @@ +{"unknown": 21323, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275914, + "explicit_proof_true": 31023, + "explicit_proof_false": 581731} diff --git a/data/stat_history/1335244.txt b/data/stat_history/1335244.txt new file mode 100644 index 000000000..b4f4d2d4c --- /dev/null +++ b/data/stat_history/1335244.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 27810, +"implicit_proof_true": 5299864, +"unknown": 2881722, +"implicit_proof_false": 12994633, +"explicit_proof_false": 829607 +} diff --git a/data/stat_history/143ec7e.txt b/data/stat_history/143ec7e.txt new file mode 100644 index 000000000..49c96df96 --- /dev/null +++ b/data/stat_history/143ec7e.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28264, +"implicit_proof_true": 5457961, +"unknown": 2726304, +"implicit_proof_false": 3486, +"explicit_proof_false": 13845794 +} diff --git a/data/stat_history/14c230f.txt b/data/stat_history/14c230f.txt new file mode 100644 index 000000000..d374eb1aa --- /dev/null +++ b/data/stat_history/14c230f.txt @@ -0,0 +1,5 @@ +{"unknown": 21411, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275918, + "explicit_proof_true": 31023, + "explicit_proof_false": 581639} diff --git a/data/stat_history/15b9889.txt b/data/stat_history/15b9889.txt new file mode 100644 index 000000000..a67bfb290 --- /dev/null +++ b/data/stat_history/15b9889.txt @@ -0,0 +1,5 @@ +{"unknown": 21319, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275885, + "explicit_proof_true": 31023, + "explicit_proof_false": 581764} diff --git a/data/stat_history/15d5417.txt b/data/stat_history/15d5417.txt new file mode 100644 index 000000000..45cdc728b --- /dev/null +++ b/data/stat_history/15d5417.txt @@ -0,0 +1,10 @@ +{"explicit_proof_true": 23109, +"implicit_proof_true": 5295922, +"explicit_conjecture_true": 38949, +"implicit_conjecture_true": 1223057, +"unknown": 7999, +"implicit_conjecture_false": 1540725, +"explicit_conjecture_false": 79635, +"implicit_proof_false": 12994633, +"explicit_proof_false": 829607 +} diff --git a/data/stat_history/161bdcc.txt b/data/stat_history/161bdcc.txt new file mode 100644 index 000000000..3706dada9 --- /dev/null +++ b/data/stat_history/161bdcc.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28264, +"implicit_proof_true": 5457961, +"unknown": 2729196, +"implicit_proof_false": 3522, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/16ecfa0.txt b/data/stat_history/16ecfa0.txt new file mode 100644 index 000000000..a4dc0b41d --- /dev/null +++ b/data/stat_history/16ecfa0.txt @@ -0,0 +1,12 @@ +extract_implications outcomes +Output the status of all implications. + +USAGE: + extract_implications outcomes [FLAGS] ... + +FLAGS: + -h, --help Prints this message. + --hist Create a histogram instead of outputting all outcomes + +ARGS: + files : Array ModuleName The files to extract the implications from diff --git a/data/stat_history/198f326.txt b/data/stat_history/198f326.txt new file mode 100644 index 000000000..4d2a62f2e --- /dev/null +++ b/data/stat_history/198f326.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28263, +"implicit_proof_true": 5457962, +"unknown": 2729196, +"implicit_proof_false": 3522, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/198fd3f.txt b/data/stat_history/198fd3f.txt new file mode 100644 index 000000000..d374eb1aa --- /dev/null +++ b/data/stat_history/198fd3f.txt @@ -0,0 +1,5 @@ +{"unknown": 21411, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275918, + "explicit_proof_true": 31023, + "explicit_proof_false": 581639} diff --git a/data/stat_history/199bfef.txt b/data/stat_history/199bfef.txt new file mode 100644 index 000000000..aa3f3ad38 --- /dev/null +++ b/data/stat_history/199bfef.txt @@ -0,0 +1,5 @@ +{"unknown": 21407, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275912, + "explicit_proof_true": 31023, + "explicit_proof_false": 581649} diff --git a/data/stat_history/19b3bf7.txt b/data/stat_history/19b3bf7.txt new file mode 100644 index 000000000..03bed1967 --- /dev/null +++ b/data/stat_history/19b3bf7.txt @@ -0,0 +1,7 @@ +{"unknown": 733, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272284, + "implicit_conjecture_false": 12, + "explicit_proof_true": 31019, + "explicit_proof_false": 582131, + "explicit_conjecture_false": 197} diff --git a/data/stat_history/1a9fba3.txt b/data/stat_history/1a9fba3.txt new file mode 100644 index 000000000..0aa618bf2 --- /dev/null +++ b/data/stat_history/1a9fba3.txt @@ -0,0 +1,5 @@ +{"unknown": 21162, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275949, + "explicit_proof_true": 31023, + "explicit_proof_false": 581857} diff --git a/data/stat_history/1bb5c50.txt b/data/stat_history/1bb5c50.txt new file mode 100644 index 000000000..4c4e37ce9 --- /dev/null +++ b/data/stat_history/1bb5c50.txt @@ -0,0 +1,5 @@ +{"unknown": 21726, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13274799, + "explicit_proof_true": 31023, + "explicit_proof_false": 582443} diff --git a/data/stat_history/1c7e1bc.txt b/data/stat_history/1c7e1bc.txt new file mode 100644 index 000000000..03bed1967 --- /dev/null +++ b/data/stat_history/1c7e1bc.txt @@ -0,0 +1,7 @@ +{"unknown": 733, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272284, + "implicit_conjecture_false": 12, + "explicit_proof_true": 31019, + "explicit_proof_false": 582131, + "explicit_conjecture_false": 197} diff --git a/data/stat_history/1d1a7f6.txt b/data/stat_history/1d1a7f6.txt new file mode 100644 index 000000000..aa3f3ad38 --- /dev/null +++ b/data/stat_history/1d1a7f6.txt @@ -0,0 +1,5 @@ +{"unknown": 21407, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275912, + "explicit_proof_true": 31023, + "explicit_proof_false": 581649} diff --git a/data/stat_history/1e6ebff.txt b/data/stat_history/1e6ebff.txt new file mode 100644 index 000000000..cec1b2380 --- /dev/null +++ b/data/stat_history/1e6ebff.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 27803, +"implicit_proof_true": 5294943, +"unknown": 2886650, +"implicit_proof_false": 12994633, +"explicit_proof_false": 829607 +} diff --git a/data/stat_history/1e78ea5.txt b/data/stat_history/1e78ea5.txt new file mode 100644 index 000000000..4985d40e3 --- /dev/null +++ b/data/stat_history/1e78ea5.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 29248, +"implicit_proof_true": 7063191, +"unknown": 1120090, +"implicit_proof_false": 13243426, +"explicit_proof_false": 605854 +} diff --git a/data/stat_history/1e88f78.txt b/data/stat_history/1e88f78.txt new file mode 100644 index 000000000..21deaae25 --- /dev/null +++ b/data/stat_history/1e88f78.txt @@ -0,0 +1,5 @@ +{"unknown": 21726, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13274797, + "explicit_proof_true": 31023, + "explicit_proof_false": 582445} diff --git a/data/stat_history/1ee4205.txt b/data/stat_history/1ee4205.txt new file mode 100644 index 000000000..4985d40e3 --- /dev/null +++ b/data/stat_history/1ee4205.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 29248, +"implicit_proof_true": 7063191, +"unknown": 1120090, +"implicit_proof_false": 13243426, +"explicit_proof_false": 605854 +} diff --git a/data/stat_history/1f05607.txt b/data/stat_history/1f05607.txt new file mode 100644 index 000000000..dd246442f --- /dev/null +++ b/data/stat_history/1f05607.txt @@ -0,0 +1,7 @@ +{"unknown": 954, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582096, + "explicit_conjecture_false": 35} diff --git a/data/stat_history/1f15dfe.txt b/data/stat_history/1f15dfe.txt new file mode 100644 index 000000000..0aa618bf2 --- /dev/null +++ b/data/stat_history/1f15dfe.txt @@ -0,0 +1,5 @@ +{"unknown": 21162, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275949, + "explicit_proof_true": 31023, + "explicit_proof_false": 581857} diff --git a/data/stat_history/1f2b196.txt b/data/stat_history/1f2b196.txt new file mode 100644 index 000000000..1ef6ebc45 --- /dev/null +++ b/data/stat_history/1f2b196.txt @@ -0,0 +1,5 @@ +{"unknown": 29682, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13243431, + "explicit_proof_true": 31023, + "explicit_proof_false": 605855} diff --git a/data/stat_history/1fa3377.txt b/data/stat_history/1fa3377.txt new file mode 100644 index 000000000..e2667fc7a --- /dev/null +++ b/data/stat_history/1fa3377.txt @@ -0,0 +1,7 @@ +{"unknown": 732, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272284, + "implicit_conjecture_false": 12, + "explicit_proof_true": 31019, + "explicit_proof_false": 582132, + "explicit_conjecture_false": 197} diff --git a/data/stat_history/1fdaa67.txt b/data/stat_history/1fdaa67.txt new file mode 100644 index 000000000..2758d8ad6 --- /dev/null +++ b/data/stat_history/1fdaa67.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 29248, +"implicit_proof_true": 7063191, +"unknown": 1127134, +"implicit_proof_false": 8440, +"explicit_proof_false": 13833796 +} diff --git a/data/stat_history/202dd71.txt b/data/stat_history/202dd71.txt new file mode 100644 index 000000000..76c2a2b33 --- /dev/null +++ b/data/stat_history/202dd71.txt @@ -0,0 +1,5 @@ +{"unknown": 21409, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275912, + "explicit_proof_true": 31023, + "explicit_proof_false": 581647} diff --git a/data/stat_history/2059764.txt b/data/stat_history/2059764.txt new file mode 100644 index 000000000..e2667fc7a --- /dev/null +++ b/data/stat_history/2059764.txt @@ -0,0 +1,7 @@ +{"unknown": 732, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272284, + "implicit_conjecture_false": 12, + "explicit_proof_true": 31019, + "explicit_proof_false": 582132, + "explicit_conjecture_false": 197} diff --git a/data/stat_history/2077ebf.txt b/data/stat_history/2077ebf.txt new file mode 100644 index 000000000..51293a71d --- /dev/null +++ b/data/stat_history/2077ebf.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28239, +"implicit_proof_true": 5454927, +"unknown": 2707562, +"implicit_proof_false": 42, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/20bd4f9.txt b/data/stat_history/20bd4f9.txt new file mode 100644 index 000000000..dd246442f --- /dev/null +++ b/data/stat_history/20bd4f9.txt @@ -0,0 +1,7 @@ +{"unknown": 954, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582096, + "explicit_conjecture_false": 35} diff --git a/data/stat_history/216d377.txt b/data/stat_history/216d377.txt new file mode 100644 index 000000000..a4dc0b41d --- /dev/null +++ b/data/stat_history/216d377.txt @@ -0,0 +1,12 @@ +extract_implications outcomes +Output the status of all implications. + +USAGE: + extract_implications outcomes [FLAGS] ... + +FLAGS: + -h, --help Prints this message. + --hist Create a histogram instead of outputting all outcomes + +ARGS: + files : Array ModuleName The files to extract the implications from diff --git a/data/stat_history/22ba7a0.txt b/data/stat_history/22ba7a0.txt new file mode 100644 index 000000000..76c2a2b33 --- /dev/null +++ b/data/stat_history/22ba7a0.txt @@ -0,0 +1,5 @@ +{"unknown": 21409, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275912, + "explicit_proof_true": 31023, + "explicit_proof_false": 581647} diff --git a/data/stat_history/2541455.txt b/data/stat_history/2541455.txt new file mode 100644 index 000000000..c5b99d129 --- /dev/null +++ b/data/stat_history/2541455.txt @@ -0,0 +1,5 @@ +{"unknown": 21323, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275914, + "explicit_proof_true": 31023, + "explicit_proof_false": 581731} diff --git a/data/stat_history/2572c83.txt b/data/stat_history/2572c83.txt new file mode 100644 index 000000000..f539bd9eb --- /dev/null +++ b/data/stat_history/2572c83.txt @@ -0,0 +1,7 @@ +{"unknown": 21116, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275949, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31023, + "explicit_proof_false": 581857, + "explicit_conjecture_false": 36} diff --git a/data/stat_history/270867f.txt b/data/stat_history/270867f.txt new file mode 100644 index 000000000..b4f4d2d4c --- /dev/null +++ b/data/stat_history/270867f.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 27810, +"implicit_proof_true": 5299864, +"unknown": 2881722, +"implicit_proof_false": 12994633, +"explicit_proof_false": 829607 +} diff --git a/data/stat_history/275bb67.txt b/data/stat_history/275bb67.txt new file mode 100644 index 000000000..4d2a62f2e --- /dev/null +++ b/data/stat_history/275bb67.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28263, +"implicit_proof_true": 5457962, +"unknown": 2729196, +"implicit_proof_false": 3522, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/27fa1e1.txt b/data/stat_history/27fa1e1.txt new file mode 100644 index 000000000..21deaae25 --- /dev/null +++ b/data/stat_history/27fa1e1.txt @@ -0,0 +1,5 @@ +{"unknown": 21726, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13274797, + "explicit_proof_true": 31023, + "explicit_proof_false": 582445} diff --git a/data/stat_history/2abd15e.txt b/data/stat_history/2abd15e.txt new file mode 100644 index 000000000..9d3612caf --- /dev/null +++ b/data/stat_history/2abd15e.txt @@ -0,0 +1,7 @@ +{"unknown": 932, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272264, + "implicit_conjecture_false": 11, + "explicit_proof_true": 31019, + "explicit_proof_false": 582102, + "explicit_conjecture_false": 48} diff --git a/data/stat_history/2ddfb96.txt b/data/stat_history/2ddfb96.txt new file mode 100644 index 000000000..a4dc0b41d --- /dev/null +++ b/data/stat_history/2ddfb96.txt @@ -0,0 +1,12 @@ +extract_implications outcomes +Output the status of all implications. + +USAGE: + extract_implications outcomes [FLAGS] ... + +FLAGS: + -h, --help Prints this message. + --hist Create a histogram instead of outputting all outcomes + +ARGS: + files : Array ModuleName The files to extract the implications from diff --git a/data/stat_history/2f97cc0.txt b/data/stat_history/2f97cc0.txt new file mode 100644 index 000000000..dd246442f --- /dev/null +++ b/data/stat_history/2f97cc0.txt @@ -0,0 +1,7 @@ +{"unknown": 954, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582096, + "explicit_conjecture_false": 35} diff --git a/data/stat_history/317d1db.txt b/data/stat_history/317d1db.txt new file mode 100644 index 000000000..21deaae25 --- /dev/null +++ b/data/stat_history/317d1db.txt @@ -0,0 +1,5 @@ +{"unknown": 21726, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13274797, + "explicit_proof_true": 31023, + "explicit_proof_false": 582445} diff --git a/data/stat_history/3294f5e.txt b/data/stat_history/3294f5e.txt new file mode 100644 index 000000000..a4dc0b41d --- /dev/null +++ b/data/stat_history/3294f5e.txt @@ -0,0 +1,12 @@ +extract_implications outcomes +Output the status of all implications. + +USAGE: + extract_implications outcomes [FLAGS] ... + +FLAGS: + -h, --help Prints this message. + --hist Create a histogram instead of outputting all outcomes + +ARGS: + files : Array ModuleName The files to extract the implications from diff --git a/data/stat_history/335a83d.txt b/data/stat_history/335a83d.txt new file mode 100644 index 000000000..3706dada9 --- /dev/null +++ b/data/stat_history/335a83d.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28264, +"implicit_proof_true": 5457961, +"unknown": 2729196, +"implicit_proof_false": 3522, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/33c35bf.txt b/data/stat_history/33c35bf.txt new file mode 100644 index 000000000..3706dada9 --- /dev/null +++ b/data/stat_history/33c35bf.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28264, +"implicit_proof_true": 5457961, +"unknown": 2729196, +"implicit_proof_false": 3522, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/345f865.txt b/data/stat_history/345f865.txt new file mode 100644 index 000000000..2c9928ffb --- /dev/null +++ b/data/stat_history/345f865.txt @@ -0,0 +1,7 @@ +{"unknown": 732, + "implicit_proof_true": 8147764, + "implicit_proof_false": 13272284, + "implicit_conjecture_false": 12, + "explicit_proof_true": 30515, + "explicit_proof_false": 582132, + "explicit_conjecture_false": 197} diff --git a/data/stat_history/35e22b0.txt b/data/stat_history/35e22b0.txt new file mode 100644 index 000000000..60107a1e3 --- /dev/null +++ b/data/stat_history/35e22b0.txt @@ -0,0 +1,5 @@ +{"unknown": 21679, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275845, + "explicit_proof_true": 31023, + "explicit_proof_false": 581444} diff --git a/data/stat_history/3810b21.txt b/data/stat_history/3810b21.txt new file mode 100644 index 000000000..3c7880d4a --- /dev/null +++ b/data/stat_history/3810b21.txt @@ -0,0 +1,5 @@ +{"unknown": 29503, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13268299, + "explicit_proof_true": 31023, + "explicit_proof_false": 581166} diff --git a/data/stat_history/3a25591.txt b/data/stat_history/3a25591.txt new file mode 100644 index 000000000..4d2a62f2e --- /dev/null +++ b/data/stat_history/3a25591.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28263, +"implicit_proof_true": 5457962, +"unknown": 2729196, +"implicit_proof_false": 3522, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/3b11388.txt b/data/stat_history/3b11388.txt new file mode 100644 index 000000000..6168c5233 --- /dev/null +++ b/data/stat_history/3b11388.txt @@ -0,0 +1,10 @@ +{"explicit_proof_true": 27803, +"implicit_proof_true": 5294943, +"explicit_conjecture_true": 38938, +"implicit_conjecture_true": 1222463, +"unknown": 2826, +"implicit_conjecture_false": 1542808, +"explicit_conjecture_false": 79615, +"implicit_proof_false": 12994633, +"explicit_proof_false": 829607 +} diff --git a/data/stat_history/3e0b766.txt b/data/stat_history/3e0b766.txt new file mode 100644 index 000000000..4a0c0ebd0 --- /dev/null +++ b/data/stat_history/3e0b766.txt @@ -0,0 +1,7 @@ +{"unknown": 955, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582094, + "explicit_conjecture_false": 36} diff --git a/data/stat_history/3e5f9cd.txt b/data/stat_history/3e5f9cd.txt new file mode 100644 index 000000000..dd246442f --- /dev/null +++ b/data/stat_history/3e5f9cd.txt @@ -0,0 +1,7 @@ +{"unknown": 954, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582096, + "explicit_conjecture_false": 35} diff --git a/data/stat_history/3f2f8a2.txt b/data/stat_history/3f2f8a2.txt new file mode 100644 index 000000000..4d2a62f2e --- /dev/null +++ b/data/stat_history/3f2f8a2.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28263, +"implicit_proof_true": 5457962, +"unknown": 2729196, +"implicit_proof_false": 3522, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/3f3bbdd.txt b/data/stat_history/3f3bbdd.txt new file mode 100644 index 000000000..4d2a62f2e --- /dev/null +++ b/data/stat_history/3f3bbdd.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28263, +"implicit_proof_true": 5457962, +"unknown": 2729196, +"implicit_proof_false": 3522, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/3f750f6.txt b/data/stat_history/3f750f6.txt new file mode 100644 index 000000000..6338357ef --- /dev/null +++ b/data/stat_history/3f750f6.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 23109, +"implicit_proof_true": 5295922, +"unknown": 2890365, +"implicit_proof_false": 12994633, +"explicit_proof_false": 829607 +} diff --git a/data/stat_history/41f40e0.txt b/data/stat_history/41f40e0.txt new file mode 100644 index 000000000..4d2a62f2e --- /dev/null +++ b/data/stat_history/41f40e0.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28263, +"implicit_proof_true": 5457962, +"unknown": 2729196, +"implicit_proof_false": 3522, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/45aa093.txt b/data/stat_history/45aa093.txt new file mode 100644 index 000000000..60107a1e3 --- /dev/null +++ b/data/stat_history/45aa093.txt @@ -0,0 +1,5 @@ +{"unknown": 21679, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275845, + "explicit_proof_true": 31023, + "explicit_proof_false": 581444} diff --git a/data/stat_history/45d299a.txt b/data/stat_history/45d299a.txt new file mode 100644 index 000000000..d374eb1aa --- /dev/null +++ b/data/stat_history/45d299a.txt @@ -0,0 +1,5 @@ +{"unknown": 21411, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275918, + "explicit_proof_true": 31023, + "explicit_proof_false": 581639} diff --git a/data/stat_history/46a3207.txt b/data/stat_history/46a3207.txt new file mode 100644 index 000000000..c5b99d129 --- /dev/null +++ b/data/stat_history/46a3207.txt @@ -0,0 +1,5 @@ +{"unknown": 21323, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275914, + "explicit_proof_true": 31023, + "explicit_proof_false": 581731} diff --git a/data/stat_history/47df00d.txt b/data/stat_history/47df00d.txt new file mode 100644 index 000000000..e2667fc7a --- /dev/null +++ b/data/stat_history/47df00d.txt @@ -0,0 +1,7 @@ +{"unknown": 732, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272284, + "implicit_conjecture_false": 12, + "explicit_proof_true": 31019, + "explicit_proof_false": 582132, + "explicit_conjecture_false": 197} diff --git a/data/stat_history/4861735.txt b/data/stat_history/4861735.txt new file mode 100644 index 000000000..4c4e37ce9 --- /dev/null +++ b/data/stat_history/4861735.txt @@ -0,0 +1,5 @@ +{"unknown": 21726, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13274799, + "explicit_proof_true": 31023, + "explicit_proof_false": 582443} diff --git a/data/stat_history/4c809c3.txt b/data/stat_history/4c809c3.txt new file mode 100644 index 000000000..dd246442f --- /dev/null +++ b/data/stat_history/4c809c3.txt @@ -0,0 +1,7 @@ +{"unknown": 954, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582096, + "explicit_conjecture_false": 35} diff --git a/data/stat_history/4d95792.txt b/data/stat_history/4d95792.txt new file mode 100644 index 000000000..dd246442f --- /dev/null +++ b/data/stat_history/4d95792.txt @@ -0,0 +1,7 @@ +{"unknown": 954, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582096, + "explicit_conjecture_false": 35} diff --git a/data/stat_history/4f64081.txt b/data/stat_history/4f64081.txt new file mode 100644 index 000000000..4a0c0ebd0 --- /dev/null +++ b/data/stat_history/4f64081.txt @@ -0,0 +1,7 @@ +{"unknown": 955, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582094, + "explicit_conjecture_false": 36} diff --git a/data/stat_history/4f7ebef.txt b/data/stat_history/4f7ebef.txt new file mode 100644 index 000000000..51293a71d --- /dev/null +++ b/data/stat_history/4f7ebef.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28239, +"implicit_proof_true": 5454927, +"unknown": 2707562, +"implicit_proof_false": 42, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/4fafd77.txt b/data/stat_history/4fafd77.txt new file mode 100644 index 000000000..4985d40e3 --- /dev/null +++ b/data/stat_history/4fafd77.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 29248, +"implicit_proof_true": 7063191, +"unknown": 1120090, +"implicit_proof_false": 13243426, +"explicit_proof_false": 605854 +} diff --git a/data/stat_history/5019a2d.txt b/data/stat_history/5019a2d.txt new file mode 100644 index 000000000..41d275801 --- /dev/null +++ b/data/stat_history/5019a2d.txt @@ -0,0 +1,7 @@ +{"unknown": 741, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272281, + "implicit_conjecture_false": 12, + "explicit_proof_true": 31019, + "explicit_proof_false": 582126, + "explicit_conjecture_false": 197} diff --git a/data/stat_history/51127a6.txt b/data/stat_history/51127a6.txt new file mode 100644 index 000000000..21deaae25 --- /dev/null +++ b/data/stat_history/51127a6.txt @@ -0,0 +1,5 @@ +{"unknown": 21726, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13274797, + "explicit_proof_true": 31023, + "explicit_proof_false": 582445} diff --git a/data/stat_history/528eb75.txt b/data/stat_history/528eb75.txt new file mode 100644 index 000000000..45cdc728b --- /dev/null +++ b/data/stat_history/528eb75.txt @@ -0,0 +1,10 @@ +{"explicit_proof_true": 23109, +"implicit_proof_true": 5295922, +"explicit_conjecture_true": 38949, +"implicit_conjecture_true": 1223057, +"unknown": 7999, +"implicit_conjecture_false": 1540725, +"explicit_conjecture_false": 79635, +"implicit_proof_false": 12994633, +"explicit_proof_false": 829607 +} diff --git a/data/stat_history/52e2d36.txt b/data/stat_history/52e2d36.txt new file mode 100644 index 000000000..76c2a2b33 --- /dev/null +++ b/data/stat_history/52e2d36.txt @@ -0,0 +1,5 @@ +{"unknown": 21409, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275912, + "explicit_proof_true": 31023, + "explicit_proof_false": 581647} diff --git a/data/stat_history/530be11.txt b/data/stat_history/530be11.txt new file mode 100644 index 000000000..2969c8938 --- /dev/null +++ b/data/stat_history/530be11.txt @@ -0,0 +1,5 @@ +{"unknown": 1120090, + "implicit_proof_true": 7063191, + "implicit_proof_false": 13243426, + "explicit_proof_true": 29248, + "explicit_proof_false": 605854} diff --git a/data/stat_history/534ac2f.txt b/data/stat_history/534ac2f.txt new file mode 100644 index 000000000..2c9928ffb --- /dev/null +++ b/data/stat_history/534ac2f.txt @@ -0,0 +1,7 @@ +{"unknown": 732, + "implicit_proof_true": 8147764, + "implicit_proof_false": 13272284, + "implicit_conjecture_false": 12, + "explicit_proof_true": 30515, + "explicit_proof_false": 582132, + "explicit_conjecture_false": 197} diff --git a/data/stat_history/5388f81.txt b/data/stat_history/5388f81.txt new file mode 100644 index 000000000..e2667fc7a --- /dev/null +++ b/data/stat_history/5388f81.txt @@ -0,0 +1,7 @@ +{"unknown": 732, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272284, + "implicit_conjecture_false": 12, + "explicit_proof_true": 31019, + "explicit_proof_false": 582132, + "explicit_conjecture_false": 197} diff --git a/data/stat_history/54bce15.txt b/data/stat_history/54bce15.txt new file mode 100644 index 000000000..dd246442f --- /dev/null +++ b/data/stat_history/54bce15.txt @@ -0,0 +1,7 @@ +{"unknown": 954, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582096, + "explicit_conjecture_false": 35} diff --git a/data/stat_history/551d1ac.txt b/data/stat_history/551d1ac.txt new file mode 100644 index 000000000..a4dc0b41d --- /dev/null +++ b/data/stat_history/551d1ac.txt @@ -0,0 +1,12 @@ +extract_implications outcomes +Output the status of all implications. + +USAGE: + extract_implications outcomes [FLAGS] ... + +FLAGS: + -h, --help Prints this message. + --hist Create a histogram instead of outputting all outcomes + +ARGS: + files : Array ModuleName The files to extract the implications from diff --git a/data/stat_history/55fd2de.txt b/data/stat_history/55fd2de.txt new file mode 100644 index 000000000..a4dc0b41d --- /dev/null +++ b/data/stat_history/55fd2de.txt @@ -0,0 +1,12 @@ +extract_implications outcomes +Output the status of all implications. + +USAGE: + extract_implications outcomes [FLAGS] ... + +FLAGS: + -h, --help Prints this message. + --hist Create a histogram instead of outputting all outcomes + +ARGS: + files : Array ModuleName The files to extract the implications from diff --git a/data/stat_history/57789ec.txt b/data/stat_history/57789ec.txt new file mode 100644 index 000000000..c6d28c75d --- /dev/null +++ b/data/stat_history/57789ec.txt @@ -0,0 +1,5 @@ +{"unknown": 29651, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13268154, + "explicit_proof_true": 31023, + "explicit_proof_false": 581163} diff --git a/data/stat_history/59ee360.txt b/data/stat_history/59ee360.txt new file mode 100644 index 000000000..e2667fc7a --- /dev/null +++ b/data/stat_history/59ee360.txt @@ -0,0 +1,7 @@ +{"unknown": 732, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272284, + "implicit_conjecture_false": 12, + "explicit_proof_true": 31019, + "explicit_proof_false": 582132, + "explicit_conjecture_false": 197} diff --git a/data/stat_history/5a1c13f.txt b/data/stat_history/5a1c13f.txt new file mode 100644 index 000000000..4a0c0ebd0 --- /dev/null +++ b/data/stat_history/5a1c13f.txt @@ -0,0 +1,7 @@ +{"unknown": 955, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582094, + "explicit_conjecture_false": 36} diff --git a/data/stat_history/5aa86c8.txt b/data/stat_history/5aa86c8.txt new file mode 100644 index 000000000..4d2a62f2e --- /dev/null +++ b/data/stat_history/5aa86c8.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28263, +"implicit_proof_true": 5457962, +"unknown": 2729196, +"implicit_proof_false": 3522, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/5bffc43.txt b/data/stat_history/5bffc43.txt new file mode 100644 index 000000000..4985d40e3 --- /dev/null +++ b/data/stat_history/5bffc43.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 29248, +"implicit_proof_true": 7063191, +"unknown": 1120090, +"implicit_proof_false": 13243426, +"explicit_proof_false": 605854 +} diff --git a/data/stat_history/5d02887.txt b/data/stat_history/5d02887.txt new file mode 100644 index 000000000..76c2a2b33 --- /dev/null +++ b/data/stat_history/5d02887.txt @@ -0,0 +1,5 @@ +{"unknown": 21409, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275912, + "explicit_proof_true": 31023, + "explicit_proof_false": 581647} diff --git a/data/stat_history/5e30571.txt b/data/stat_history/5e30571.txt new file mode 100644 index 000000000..0aa618bf2 --- /dev/null +++ b/data/stat_history/5e30571.txt @@ -0,0 +1,5 @@ +{"unknown": 21162, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275949, + "explicit_proof_true": 31023, + "explicit_proof_false": 581857} diff --git a/data/stat_history/5e59409.txt b/data/stat_history/5e59409.txt new file mode 100644 index 000000000..7a2851849 --- /dev/null +++ b/data/stat_history/5e59409.txt @@ -0,0 +1,10 @@ +{"explicit_proof_true": 23111, +"implicit_proof_true": 5295920, +"explicit_conjecture_true": 38949, +"implicit_conjecture_true": 1223057, +"unknown": 7999, +"implicit_conjecture_false": 1540725, +"explicit_conjecture_false": 79635, +"implicit_proof_false": 12994633, +"explicit_proof_false": 829607 +} diff --git a/data/stat_history/5e82e8e.txt b/data/stat_history/5e82e8e.txt new file mode 100644 index 000000000..e2667fc7a --- /dev/null +++ b/data/stat_history/5e82e8e.txt @@ -0,0 +1,7 @@ +{"unknown": 732, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272284, + "implicit_conjecture_false": 12, + "explicit_proof_true": 31019, + "explicit_proof_false": 582132, + "explicit_conjecture_false": 197} diff --git a/data/stat_history/604b709.txt b/data/stat_history/604b709.txt new file mode 100644 index 000000000..cec1b2380 --- /dev/null +++ b/data/stat_history/604b709.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 27803, +"implicit_proof_true": 5294943, +"unknown": 2886650, +"implicit_proof_false": 12994633, +"explicit_proof_false": 829607 +} diff --git a/data/stat_history/623c3e0.txt b/data/stat_history/623c3e0.txt new file mode 100644 index 000000000..4d2a62f2e --- /dev/null +++ b/data/stat_history/623c3e0.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28263, +"implicit_proof_true": 5457962, +"unknown": 2729196, +"implicit_proof_false": 3522, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/636282c.txt b/data/stat_history/636282c.txt new file mode 100644 index 000000000..2c9928ffb --- /dev/null +++ b/data/stat_history/636282c.txt @@ -0,0 +1,7 @@ +{"unknown": 732, + "implicit_proof_true": 8147764, + "implicit_proof_false": 13272284, + "implicit_conjecture_false": 12, + "explicit_proof_true": 30515, + "explicit_proof_false": 582132, + "explicit_conjecture_false": 197} diff --git a/data/stat_history/63d1594.txt b/data/stat_history/63d1594.txt new file mode 100644 index 000000000..dd246442f --- /dev/null +++ b/data/stat_history/63d1594.txt @@ -0,0 +1,7 @@ +{"unknown": 954, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582096, + "explicit_conjecture_false": 35} diff --git a/data/stat_history/64137d3.txt b/data/stat_history/64137d3.txt new file mode 100644 index 000000000..4a0c0ebd0 --- /dev/null +++ b/data/stat_history/64137d3.txt @@ -0,0 +1,7 @@ +{"unknown": 955, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582094, + "explicit_conjecture_false": 36} diff --git a/data/stat_history/6469fb4.txt b/data/stat_history/6469fb4.txt new file mode 100644 index 000000000..4d2a62f2e --- /dev/null +++ b/data/stat_history/6469fb4.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28263, +"implicit_proof_true": 5457962, +"unknown": 2729196, +"implicit_proof_false": 3522, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/679a681.txt b/data/stat_history/679a681.txt new file mode 100644 index 000000000..4a0c0ebd0 --- /dev/null +++ b/data/stat_history/679a681.txt @@ -0,0 +1,7 @@ +{"unknown": 955, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582094, + "explicit_conjecture_false": 36} diff --git a/data/stat_history/679dc5e.txt b/data/stat_history/679dc5e.txt new file mode 100644 index 000000000..4d2a62f2e --- /dev/null +++ b/data/stat_history/679dc5e.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28263, +"implicit_proof_true": 5457962, +"unknown": 2729196, +"implicit_proof_false": 3522, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/67abc4f.txt b/data/stat_history/67abc4f.txt new file mode 100644 index 000000000..6338357ef --- /dev/null +++ b/data/stat_history/67abc4f.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 23109, +"implicit_proof_true": 5295922, +"unknown": 2890365, +"implicit_proof_false": 12994633, +"explicit_proof_false": 829607 +} diff --git a/data/stat_history/680ee99.txt b/data/stat_history/680ee99.txt new file mode 100644 index 000000000..4985d40e3 --- /dev/null +++ b/data/stat_history/680ee99.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 29248, +"implicit_proof_true": 7063191, +"unknown": 1120090, +"implicit_proof_false": 13243426, +"explicit_proof_false": 605854 +} diff --git a/data/stat_history/6891c5f.txt b/data/stat_history/6891c5f.txt new file mode 100644 index 000000000..4a0c0ebd0 --- /dev/null +++ b/data/stat_history/6891c5f.txt @@ -0,0 +1,7 @@ +{"unknown": 955, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582094, + "explicit_conjecture_false": 36} diff --git a/data/stat_history/6a6d708.txt b/data/stat_history/6a6d708.txt new file mode 100644 index 000000000..76c2a2b33 --- /dev/null +++ b/data/stat_history/6a6d708.txt @@ -0,0 +1,5 @@ +{"unknown": 21409, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275912, + "explicit_proof_true": 31023, + "explicit_proof_false": 581647} diff --git a/data/stat_history/6b0a098.txt b/data/stat_history/6b0a098.txt new file mode 100644 index 000000000..3c7880d4a --- /dev/null +++ b/data/stat_history/6b0a098.txt @@ -0,0 +1,5 @@ +{"unknown": 29503, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13268299, + "explicit_proof_true": 31023, + "explicit_proof_false": 581166} diff --git a/data/stat_history/6b0de50.txt b/data/stat_history/6b0de50.txt new file mode 100644 index 000000000..76c2a2b33 --- /dev/null +++ b/data/stat_history/6b0de50.txt @@ -0,0 +1,5 @@ +{"unknown": 21409, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275912, + "explicit_proof_true": 31023, + "explicit_proof_false": 581647} diff --git a/data/stat_history/6bb8055.txt b/data/stat_history/6bb8055.txt new file mode 100644 index 000000000..4d2a62f2e --- /dev/null +++ b/data/stat_history/6bb8055.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28263, +"implicit_proof_true": 5457962, +"unknown": 2729196, +"implicit_proof_false": 3522, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/6c3419c.txt b/data/stat_history/6c3419c.txt new file mode 100644 index 000000000..4d2a62f2e --- /dev/null +++ b/data/stat_history/6c3419c.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28263, +"implicit_proof_true": 5457962, +"unknown": 2729196, +"implicit_proof_false": 3522, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/6c3d4b0.txt b/data/stat_history/6c3d4b0.txt new file mode 100644 index 000000000..6168c5233 --- /dev/null +++ b/data/stat_history/6c3d4b0.txt @@ -0,0 +1,10 @@ +{"explicit_proof_true": 27803, +"implicit_proof_true": 5294943, +"explicit_conjecture_true": 38938, +"implicit_conjecture_true": 1222463, +"unknown": 2826, +"implicit_conjecture_false": 1542808, +"explicit_conjecture_false": 79615, +"implicit_proof_false": 12994633, +"explicit_proof_false": 829607 +} diff --git a/data/stat_history/6d8816d.txt b/data/stat_history/6d8816d.txt new file mode 100644 index 000000000..51293a71d --- /dev/null +++ b/data/stat_history/6d8816d.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28239, +"implicit_proof_true": 5454927, +"unknown": 2707562, +"implicit_proof_false": 42, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/6e385e3.txt b/data/stat_history/6e385e3.txt new file mode 100644 index 000000000..21deaae25 --- /dev/null +++ b/data/stat_history/6e385e3.txt @@ -0,0 +1,5 @@ +{"unknown": 21726, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13274797, + "explicit_proof_true": 31023, + "explicit_proof_false": 582445} diff --git a/data/stat_history/6e869dc.txt b/data/stat_history/6e869dc.txt new file mode 100644 index 000000000..dd246442f --- /dev/null +++ b/data/stat_history/6e869dc.txt @@ -0,0 +1,7 @@ +{"unknown": 954, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582096, + "explicit_conjecture_false": 35} diff --git a/data/stat_history/6ef4e49.txt b/data/stat_history/6ef4e49.txt new file mode 100644 index 000000000..f539bd9eb --- /dev/null +++ b/data/stat_history/6ef4e49.txt @@ -0,0 +1,7 @@ +{"unknown": 21116, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275949, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31023, + "explicit_proof_false": 581857, + "explicit_conjecture_false": 36} diff --git a/data/stat_history/71bc89b.txt b/data/stat_history/71bc89b.txt new file mode 100644 index 000000000..2969c8938 --- /dev/null +++ b/data/stat_history/71bc89b.txt @@ -0,0 +1,5 @@ +{"unknown": 1120090, + "implicit_proof_true": 7063191, + "implicit_proof_false": 13243426, + "explicit_proof_true": 29248, + "explicit_proof_false": 605854} diff --git a/data/stat_history/7325974.txt b/data/stat_history/7325974.txt new file mode 100644 index 000000000..4d2a62f2e --- /dev/null +++ b/data/stat_history/7325974.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28263, +"implicit_proof_true": 5457962, +"unknown": 2729196, +"implicit_proof_false": 3522, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/7407ef2.txt b/data/stat_history/7407ef2.txt new file mode 100644 index 000000000..e2667fc7a --- /dev/null +++ b/data/stat_history/7407ef2.txt @@ -0,0 +1,7 @@ +{"unknown": 732, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272284, + "implicit_conjecture_false": 12, + "explicit_proof_true": 31019, + "explicit_proof_false": 582132, + "explicit_conjecture_false": 197} diff --git a/data/stat_history/75b8b81.txt b/data/stat_history/75b8b81.txt new file mode 100644 index 000000000..9d3612caf --- /dev/null +++ b/data/stat_history/75b8b81.txt @@ -0,0 +1,7 @@ +{"unknown": 932, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272264, + "implicit_conjecture_false": 11, + "explicit_proof_true": 31019, + "explicit_proof_false": 582102, + "explicit_conjecture_false": 48} diff --git a/data/stat_history/772488b.txt b/data/stat_history/772488b.txt new file mode 100644 index 000000000..6338357ef --- /dev/null +++ b/data/stat_history/772488b.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 23109, +"implicit_proof_true": 5295922, +"unknown": 2890365, +"implicit_proof_false": 12994633, +"explicit_proof_false": 829607 +} diff --git a/data/stat_history/77480d3.txt b/data/stat_history/77480d3.txt new file mode 100644 index 000000000..4d2a62f2e --- /dev/null +++ b/data/stat_history/77480d3.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28263, +"implicit_proof_true": 5457962, +"unknown": 2729196, +"implicit_proof_false": 3522, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/78b431a.txt b/data/stat_history/78b431a.txt new file mode 100644 index 000000000..dd246442f --- /dev/null +++ b/data/stat_history/78b431a.txt @@ -0,0 +1,7 @@ +{"unknown": 954, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582096, + "explicit_conjecture_false": 35} diff --git a/data/stat_history/793cc7f.txt b/data/stat_history/793cc7f.txt new file mode 100644 index 000000000..3706dada9 --- /dev/null +++ b/data/stat_history/793cc7f.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28264, +"implicit_proof_true": 5457961, +"unknown": 2729196, +"implicit_proof_false": 3522, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/799c085.txt b/data/stat_history/799c085.txt new file mode 100644 index 000000000..dd246442f --- /dev/null +++ b/data/stat_history/799c085.txt @@ -0,0 +1,7 @@ +{"unknown": 954, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582096, + "explicit_conjecture_false": 35} diff --git a/data/stat_history/7c916a1.txt b/data/stat_history/7c916a1.txt new file mode 100644 index 000000000..4a0c0ebd0 --- /dev/null +++ b/data/stat_history/7c916a1.txt @@ -0,0 +1,7 @@ +{"unknown": 955, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582094, + "explicit_conjecture_false": 36} diff --git a/data/stat_history/7d70653.txt b/data/stat_history/7d70653.txt new file mode 100644 index 000000000..6338357ef --- /dev/null +++ b/data/stat_history/7d70653.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 23109, +"implicit_proof_true": 5295922, +"unknown": 2890365, +"implicit_proof_false": 12994633, +"explicit_proof_false": 829607 +} diff --git a/data/stat_history/7d73c44.txt b/data/stat_history/7d73c44.txt new file mode 100644 index 000000000..dd246442f --- /dev/null +++ b/data/stat_history/7d73c44.txt @@ -0,0 +1,7 @@ +{"unknown": 954, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582096, + "explicit_conjecture_false": 35} diff --git a/data/stat_history/7dd58db.txt b/data/stat_history/7dd58db.txt new file mode 100644 index 000000000..aa3f3ad38 --- /dev/null +++ b/data/stat_history/7dd58db.txt @@ -0,0 +1,5 @@ +{"unknown": 21407, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275912, + "explicit_proof_true": 31023, + "explicit_proof_false": 581649} diff --git a/data/stat_history/7e3442e.txt b/data/stat_history/7e3442e.txt new file mode 100644 index 000000000..dd246442f --- /dev/null +++ b/data/stat_history/7e3442e.txt @@ -0,0 +1,7 @@ +{"unknown": 954, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582096, + "explicit_conjecture_false": 35} diff --git a/data/stat_history/7fbbe3b.txt b/data/stat_history/7fbbe3b.txt new file mode 100644 index 000000000..3fd21c977 --- /dev/null +++ b/data/stat_history/7fbbe3b.txt @@ -0,0 +1,7 @@ +{"unknown": 932, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 12, + "explicit_proof_true": 31019, + "explicit_proof_false": 582096, + "explicit_conjecture_false": 55} diff --git a/data/stat_history/8054662.txt b/data/stat_history/8054662.txt new file mode 100644 index 000000000..21deaae25 --- /dev/null +++ b/data/stat_history/8054662.txt @@ -0,0 +1,5 @@ +{"unknown": 21726, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13274797, + "explicit_proof_true": 31023, + "explicit_proof_false": 582445} diff --git a/data/stat_history/81bc942.txt b/data/stat_history/81bc942.txt new file mode 100644 index 000000000..9d3612caf --- /dev/null +++ b/data/stat_history/81bc942.txt @@ -0,0 +1,7 @@ +{"unknown": 932, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272264, + "implicit_conjecture_false": 11, + "explicit_proof_true": 31019, + "explicit_proof_false": 582102, + "explicit_conjecture_false": 48} diff --git a/data/stat_history/824c22e.txt b/data/stat_history/824c22e.txt new file mode 100644 index 000000000..4985d40e3 --- /dev/null +++ b/data/stat_history/824c22e.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 29248, +"implicit_proof_true": 7063191, +"unknown": 1120090, +"implicit_proof_false": 13243426, +"explicit_proof_false": 605854 +} diff --git a/data/stat_history/82c114b.txt b/data/stat_history/82c114b.txt new file mode 100644 index 000000000..7a2851849 --- /dev/null +++ b/data/stat_history/82c114b.txt @@ -0,0 +1,10 @@ +{"explicit_proof_true": 23111, +"implicit_proof_true": 5295920, +"explicit_conjecture_true": 38949, +"implicit_conjecture_true": 1223057, +"unknown": 7999, +"implicit_conjecture_false": 1540725, +"explicit_conjecture_false": 79635, +"implicit_proof_false": 12994633, +"explicit_proof_false": 829607 +} diff --git a/data/stat_history/83d4a21.txt b/data/stat_history/83d4a21.txt new file mode 100644 index 000000000..dd246442f --- /dev/null +++ b/data/stat_history/83d4a21.txt @@ -0,0 +1,7 @@ +{"unknown": 954, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582096, + "explicit_conjecture_false": 35} diff --git a/data/stat_history/84313d5.txt b/data/stat_history/84313d5.txt new file mode 100644 index 000000000..dd246442f --- /dev/null +++ b/data/stat_history/84313d5.txt @@ -0,0 +1,7 @@ +{"unknown": 954, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582096, + "explicit_conjecture_false": 35} diff --git a/data/stat_history/846395e.txt b/data/stat_history/846395e.txt new file mode 100644 index 000000000..4d2a62f2e --- /dev/null +++ b/data/stat_history/846395e.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28263, +"implicit_proof_true": 5457962, +"unknown": 2729196, +"implicit_proof_false": 3522, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/84d123f.txt b/data/stat_history/84d123f.txt new file mode 100644 index 000000000..4a0c0ebd0 --- /dev/null +++ b/data/stat_history/84d123f.txt @@ -0,0 +1,7 @@ +{"unknown": 955, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582094, + "explicit_conjecture_false": 36} diff --git a/data/stat_history/84e7631.txt b/data/stat_history/84e7631.txt new file mode 100644 index 000000000..3c7880d4a --- /dev/null +++ b/data/stat_history/84e7631.txt @@ -0,0 +1,5 @@ +{"unknown": 29503, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13268299, + "explicit_proof_true": 31023, + "explicit_proof_false": 581166} diff --git a/data/stat_history/851d3ec.txt b/data/stat_history/851d3ec.txt new file mode 100644 index 000000000..3fd21c977 --- /dev/null +++ b/data/stat_history/851d3ec.txt @@ -0,0 +1,7 @@ +{"unknown": 932, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 12, + "explicit_proof_true": 31019, + "explicit_proof_false": 582096, + "explicit_conjecture_false": 55} diff --git a/data/stat_history/858d43a.txt b/data/stat_history/858d43a.txt new file mode 100644 index 000000000..a4dc0b41d --- /dev/null +++ b/data/stat_history/858d43a.txt @@ -0,0 +1,12 @@ +extract_implications outcomes +Output the status of all implications. + +USAGE: + extract_implications outcomes [FLAGS] ... + +FLAGS: + -h, --help Prints this message. + --hist Create a histogram instead of outputting all outcomes + +ARGS: + files : Array ModuleName The files to extract the implications from diff --git a/data/stat_history/86bd918.txt b/data/stat_history/86bd918.txt new file mode 100644 index 000000000..c6d28c75d --- /dev/null +++ b/data/stat_history/86bd918.txt @@ -0,0 +1,5 @@ +{"unknown": 29651, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13268154, + "explicit_proof_true": 31023, + "explicit_proof_false": 581163} diff --git a/data/stat_history/878d576.txt b/data/stat_history/878d576.txt new file mode 100644 index 000000000..b4f4d2d4c --- /dev/null +++ b/data/stat_history/878d576.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 27810, +"implicit_proof_true": 5299864, +"unknown": 2881722, +"implicit_proof_false": 12994633, +"explicit_proof_false": 829607 +} diff --git a/data/stat_history/88064eb.txt b/data/stat_history/88064eb.txt new file mode 100644 index 000000000..4a0c0ebd0 --- /dev/null +++ b/data/stat_history/88064eb.txt @@ -0,0 +1,7 @@ +{"unknown": 955, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582094, + "explicit_conjecture_false": 36} diff --git a/data/stat_history/882dc92.txt b/data/stat_history/882dc92.txt new file mode 100644 index 000000000..e2667fc7a --- /dev/null +++ b/data/stat_history/882dc92.txt @@ -0,0 +1,7 @@ +{"unknown": 732, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272284, + "implicit_conjecture_false": 12, + "explicit_proof_true": 31019, + "explicit_proof_false": 582132, + "explicit_conjecture_false": 197} diff --git a/data/stat_history/8b1ae99.txt b/data/stat_history/8b1ae99.txt new file mode 100644 index 000000000..b4f4d2d4c --- /dev/null +++ b/data/stat_history/8b1ae99.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 27810, +"implicit_proof_true": 5299864, +"unknown": 2881722, +"implicit_proof_false": 12994633, +"explicit_proof_false": 829607 +} diff --git a/data/stat_history/8b4ecbd.txt b/data/stat_history/8b4ecbd.txt new file mode 100644 index 000000000..a4dc0b41d --- /dev/null +++ b/data/stat_history/8b4ecbd.txt @@ -0,0 +1,12 @@ +extract_implications outcomes +Output the status of all implications. + +USAGE: + extract_implications outcomes [FLAGS] ... + +FLAGS: + -h, --help Prints this message. + --hist Create a histogram instead of outputting all outcomes + +ARGS: + files : Array ModuleName The files to extract the implications from diff --git a/data/stat_history/8bed986.txt b/data/stat_history/8bed986.txt new file mode 100644 index 000000000..a4dc0b41d --- /dev/null +++ b/data/stat_history/8bed986.txt @@ -0,0 +1,12 @@ +extract_implications outcomes +Output the status of all implications. + +USAGE: + extract_implications outcomes [FLAGS] ... + +FLAGS: + -h, --help Prints this message. + --hist Create a histogram instead of outputting all outcomes + +ARGS: + files : Array ModuleName The files to extract the implications from diff --git a/data/stat_history/8ddc4a0.txt b/data/stat_history/8ddc4a0.txt new file mode 100644 index 000000000..60107a1e3 --- /dev/null +++ b/data/stat_history/8ddc4a0.txt @@ -0,0 +1,5 @@ +{"unknown": 21679, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275845, + "explicit_proof_true": 31023, + "explicit_proof_false": 581444} diff --git a/data/stat_history/8e13420.txt b/data/stat_history/8e13420.txt new file mode 100644 index 000000000..dd246442f --- /dev/null +++ b/data/stat_history/8e13420.txt @@ -0,0 +1,7 @@ +{"unknown": 954, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582096, + "explicit_conjecture_false": 35} diff --git a/data/stat_history/8ecfe5a.txt b/data/stat_history/8ecfe5a.txt new file mode 100644 index 000000000..60107a1e3 --- /dev/null +++ b/data/stat_history/8ecfe5a.txt @@ -0,0 +1,5 @@ +{"unknown": 21679, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275845, + "explicit_proof_true": 31023, + "explicit_proof_false": 581444} diff --git a/data/stat_history/90055c6.txt b/data/stat_history/90055c6.txt new file mode 100644 index 000000000..d80acceb8 --- /dev/null +++ b/data/stat_history/90055c6.txt @@ -0,0 +1,5 @@ +{"unknown": 29313, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13268109, + "explicit_proof_true": 31023, + "explicit_proof_false": 581546} diff --git a/data/stat_history/90eb906.txt b/data/stat_history/90eb906.txt new file mode 100644 index 000000000..2969c8938 --- /dev/null +++ b/data/stat_history/90eb906.txt @@ -0,0 +1,5 @@ +{"unknown": 1120090, + "implicit_proof_true": 7063191, + "implicit_proof_false": 13243426, + "explicit_proof_true": 29248, + "explicit_proof_false": 605854} diff --git a/data/stat_history/9110dd7.txt b/data/stat_history/9110dd7.txt new file mode 100644 index 000000000..dd246442f --- /dev/null +++ b/data/stat_history/9110dd7.txt @@ -0,0 +1,7 @@ +{"unknown": 954, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582096, + "explicit_conjecture_false": 35} diff --git a/data/stat_history/91df68f.txt b/data/stat_history/91df68f.txt new file mode 100644 index 000000000..4a0c0ebd0 --- /dev/null +++ b/data/stat_history/91df68f.txt @@ -0,0 +1,7 @@ +{"unknown": 955, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582094, + "explicit_conjecture_false": 36} diff --git a/data/stat_history/92d063b.txt b/data/stat_history/92d063b.txt new file mode 100644 index 000000000..21deaae25 --- /dev/null +++ b/data/stat_history/92d063b.txt @@ -0,0 +1,5 @@ +{"unknown": 21726, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13274797, + "explicit_proof_true": 31023, + "explicit_proof_false": 582445} diff --git a/data/stat_history/943dc9b.txt b/data/stat_history/943dc9b.txt new file mode 100644 index 000000000..4d2a62f2e --- /dev/null +++ b/data/stat_history/943dc9b.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28263, +"implicit_proof_true": 5457962, +"unknown": 2729196, +"implicit_proof_false": 3522, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/94d07ef.txt b/data/stat_history/94d07ef.txt new file mode 100644 index 000000000..76c2a2b33 --- /dev/null +++ b/data/stat_history/94d07ef.txt @@ -0,0 +1,5 @@ +{"unknown": 21409, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275912, + "explicit_proof_true": 31023, + "explicit_proof_false": 581647} diff --git a/data/stat_history/95f14e1.txt b/data/stat_history/95f14e1.txt new file mode 100644 index 000000000..a228c3438 --- /dev/null +++ b/data/stat_history/95f14e1.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 27810, +"implicit_proof_true": 5295170, +"unknown": 2886416, +"implicit_proof_false": 12994633, +"explicit_proof_false": 829607 +} diff --git a/data/stat_history/960a414.txt b/data/stat_history/960a414.txt new file mode 100644 index 000000000..2969c8938 --- /dev/null +++ b/data/stat_history/960a414.txt @@ -0,0 +1,5 @@ +{"unknown": 1120090, + "implicit_proof_true": 7063191, + "implicit_proof_false": 13243426, + "explicit_proof_true": 29248, + "explicit_proof_false": 605854} diff --git a/data/stat_history/96e9c18.txt b/data/stat_history/96e9c18.txt new file mode 100644 index 000000000..aa3f3ad38 --- /dev/null +++ b/data/stat_history/96e9c18.txt @@ -0,0 +1,5 @@ +{"unknown": 21407, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275912, + "explicit_proof_true": 31023, + "explicit_proof_false": 581649} diff --git a/data/stat_history/9767075.txt b/data/stat_history/9767075.txt new file mode 100644 index 000000000..4985d40e3 --- /dev/null +++ b/data/stat_history/9767075.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 29248, +"implicit_proof_true": 7063191, +"unknown": 1120090, +"implicit_proof_false": 13243426, +"explicit_proof_false": 605854 +} diff --git a/data/stat_history/97dfcbd.txt b/data/stat_history/97dfcbd.txt new file mode 100644 index 000000000..c6d28c75d --- /dev/null +++ b/data/stat_history/97dfcbd.txt @@ -0,0 +1,5 @@ +{"unknown": 29651, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13268154, + "explicit_proof_true": 31023, + "explicit_proof_false": 581163} diff --git a/data/stat_history/9a402bb.txt b/data/stat_history/9a402bb.txt new file mode 100644 index 000000000..c5b99d129 --- /dev/null +++ b/data/stat_history/9a402bb.txt @@ -0,0 +1,5 @@ +{"unknown": 21323, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275914, + "explicit_proof_true": 31023, + "explicit_proof_false": 581731} diff --git a/data/stat_history/9ada53e.txt b/data/stat_history/9ada53e.txt new file mode 100644 index 000000000..dd246442f --- /dev/null +++ b/data/stat_history/9ada53e.txt @@ -0,0 +1,7 @@ +{"unknown": 954, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582096, + "explicit_conjecture_false": 35} diff --git a/data/stat_history/9b898f5.txt b/data/stat_history/9b898f5.txt new file mode 100644 index 000000000..a4dc0b41d --- /dev/null +++ b/data/stat_history/9b898f5.txt @@ -0,0 +1,12 @@ +extract_implications outcomes +Output the status of all implications. + +USAGE: + extract_implications outcomes [FLAGS] ... + +FLAGS: + -h, --help Prints this message. + --hist Create a histogram instead of outputting all outcomes + +ARGS: + files : Array ModuleName The files to extract the implications from diff --git a/data/stat_history/9bdec11.txt b/data/stat_history/9bdec11.txt new file mode 100644 index 000000000..3c7880d4a --- /dev/null +++ b/data/stat_history/9bdec11.txt @@ -0,0 +1,5 @@ +{"unknown": 29503, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13268299, + "explicit_proof_true": 31023, + "explicit_proof_false": 581166} diff --git a/data/stat_history/9c2302a.txt b/data/stat_history/9c2302a.txt new file mode 100644 index 000000000..d80acceb8 --- /dev/null +++ b/data/stat_history/9c2302a.txt @@ -0,0 +1,5 @@ +{"unknown": 29313, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13268109, + "explicit_proof_true": 31023, + "explicit_proof_false": 581546} diff --git a/data/stat_history/9ca4390.txt b/data/stat_history/9ca4390.txt new file mode 100644 index 000000000..dd246442f --- /dev/null +++ b/data/stat_history/9ca4390.txt @@ -0,0 +1,7 @@ +{"unknown": 954, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582096, + "explicit_conjecture_false": 35} diff --git a/data/stat_history/9e9f6f7.txt b/data/stat_history/9e9f6f7.txt new file mode 100644 index 000000000..4d2a62f2e --- /dev/null +++ b/data/stat_history/9e9f6f7.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28263, +"implicit_proof_true": 5457962, +"unknown": 2729196, +"implicit_proof_false": 3522, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/9edd1c0.txt b/data/stat_history/9edd1c0.txt new file mode 100644 index 000000000..4d2a62f2e --- /dev/null +++ b/data/stat_history/9edd1c0.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28263, +"implicit_proof_true": 5457962, +"unknown": 2729196, +"implicit_proof_false": 3522, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/a03ffcb.txt b/data/stat_history/a03ffcb.txt new file mode 100644 index 000000000..4d2a62f2e --- /dev/null +++ b/data/stat_history/a03ffcb.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28263, +"implicit_proof_true": 5457962, +"unknown": 2729196, +"implicit_proof_false": 3522, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/a06c30b.txt b/data/stat_history/a06c30b.txt new file mode 100644 index 000000000..a4dc0b41d --- /dev/null +++ b/data/stat_history/a06c30b.txt @@ -0,0 +1,12 @@ +extract_implications outcomes +Output the status of all implications. + +USAGE: + extract_implications outcomes [FLAGS] ... + +FLAGS: + -h, --help Prints this message. + --hist Create a histogram instead of outputting all outcomes + +ARGS: + files : Array ModuleName The files to extract the implications from diff --git a/data/stat_history/a1d2079.txt b/data/stat_history/a1d2079.txt new file mode 100644 index 000000000..4985d40e3 --- /dev/null +++ b/data/stat_history/a1d2079.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 29248, +"implicit_proof_true": 7063191, +"unknown": 1120090, +"implicit_proof_false": 13243426, +"explicit_proof_false": 605854 +} diff --git a/data/stat_history/a1eb2db.txt b/data/stat_history/a1eb2db.txt new file mode 100644 index 000000000..4985d40e3 --- /dev/null +++ b/data/stat_history/a1eb2db.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 29248, +"implicit_proof_true": 7063191, +"unknown": 1120090, +"implicit_proof_false": 13243426, +"explicit_proof_false": 605854 +} diff --git a/data/stat_history/a326d6d.txt b/data/stat_history/a326d6d.txt new file mode 100644 index 000000000..e2667fc7a --- /dev/null +++ b/data/stat_history/a326d6d.txt @@ -0,0 +1,7 @@ +{"unknown": 732, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272284, + "implicit_conjecture_false": 12, + "explicit_proof_true": 31019, + "explicit_proof_false": 582132, + "explicit_conjecture_false": 197} diff --git a/data/stat_history/a3a1e16.txt b/data/stat_history/a3a1e16.txt new file mode 100644 index 000000000..3c7880d4a --- /dev/null +++ b/data/stat_history/a3a1e16.txt @@ -0,0 +1,5 @@ +{"unknown": 29503, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13268299, + "explicit_proof_true": 31023, + "explicit_proof_false": 581166} diff --git a/data/stat_history/a47e6bd.txt b/data/stat_history/a47e6bd.txt new file mode 100644 index 000000000..e2667fc7a --- /dev/null +++ b/data/stat_history/a47e6bd.txt @@ -0,0 +1,7 @@ +{"unknown": 732, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272284, + "implicit_conjecture_false": 12, + "explicit_proof_true": 31019, + "explicit_proof_false": 582132, + "explicit_conjecture_false": 197} diff --git a/data/stat_history/a51f860.txt b/data/stat_history/a51f860.txt new file mode 100644 index 000000000..51293a71d --- /dev/null +++ b/data/stat_history/a51f860.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28239, +"implicit_proof_true": 5454927, +"unknown": 2707562, +"implicit_proof_false": 42, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/a9301dc.txt b/data/stat_history/a9301dc.txt new file mode 100644 index 000000000..dd246442f --- /dev/null +++ b/data/stat_history/a9301dc.txt @@ -0,0 +1,7 @@ +{"unknown": 954, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582096, + "explicit_conjecture_false": 35} diff --git a/data/stat_history/aa110cf.txt b/data/stat_history/aa110cf.txt new file mode 100644 index 000000000..4d2a62f2e --- /dev/null +++ b/data/stat_history/aa110cf.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28263, +"implicit_proof_true": 5457962, +"unknown": 2729196, +"implicit_proof_false": 3522, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/adc92cb.txt b/data/stat_history/adc92cb.txt new file mode 100644 index 000000000..2c9928ffb --- /dev/null +++ b/data/stat_history/adc92cb.txt @@ -0,0 +1,7 @@ +{"unknown": 732, + "implicit_proof_true": 8147764, + "implicit_proof_false": 13272284, + "implicit_conjecture_false": 12, + "explicit_proof_true": 30515, + "explicit_proof_false": 582132, + "explicit_conjecture_false": 197} diff --git a/data/stat_history/b14d9b3.txt b/data/stat_history/b14d9b3.txt new file mode 100644 index 000000000..dd246442f --- /dev/null +++ b/data/stat_history/b14d9b3.txt @@ -0,0 +1,7 @@ +{"unknown": 954, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582096, + "explicit_conjecture_false": 35} diff --git a/data/stat_history/b1aab6a.txt b/data/stat_history/b1aab6a.txt new file mode 100644 index 000000000..4a0c0ebd0 --- /dev/null +++ b/data/stat_history/b1aab6a.txt @@ -0,0 +1,7 @@ +{"unknown": 955, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582094, + "explicit_conjecture_false": 36} diff --git a/data/stat_history/b287fc3.txt b/data/stat_history/b287fc3.txt new file mode 100644 index 000000000..d374eb1aa --- /dev/null +++ b/data/stat_history/b287fc3.txt @@ -0,0 +1,5 @@ +{"unknown": 21411, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275918, + "explicit_proof_true": 31023, + "explicit_proof_false": 581639} diff --git a/data/stat_history/b2eaa3e.txt b/data/stat_history/b2eaa3e.txt new file mode 100644 index 000000000..03bed1967 --- /dev/null +++ b/data/stat_history/b2eaa3e.txt @@ -0,0 +1,7 @@ +{"unknown": 733, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272284, + "implicit_conjecture_false": 12, + "explicit_proof_true": 31019, + "explicit_proof_false": 582131, + "explicit_conjecture_false": 197} diff --git a/data/stat_history/b470f79.txt b/data/stat_history/b470f79.txt new file mode 100644 index 000000000..76c2a2b33 --- /dev/null +++ b/data/stat_history/b470f79.txt @@ -0,0 +1,5 @@ +{"unknown": 21409, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275912, + "explicit_proof_true": 31023, + "explicit_proof_false": 581647} diff --git a/data/stat_history/b4f717e.txt b/data/stat_history/b4f717e.txt new file mode 100644 index 000000000..60107a1e3 --- /dev/null +++ b/data/stat_history/b4f717e.txt @@ -0,0 +1,5 @@ +{"unknown": 21679, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275845, + "explicit_proof_true": 31023, + "explicit_proof_false": 581444} diff --git a/data/stat_history/b51aa7c.txt b/data/stat_history/b51aa7c.txt new file mode 100644 index 000000000..21deaae25 --- /dev/null +++ b/data/stat_history/b51aa7c.txt @@ -0,0 +1,5 @@ +{"unknown": 21726, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13274797, + "explicit_proof_true": 31023, + "explicit_proof_false": 582445} diff --git a/data/stat_history/b546bd1.txt b/data/stat_history/b546bd1.txt new file mode 100644 index 000000000..76c2a2b33 --- /dev/null +++ b/data/stat_history/b546bd1.txt @@ -0,0 +1,5 @@ +{"unknown": 21409, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275912, + "explicit_proof_true": 31023, + "explicit_proof_false": 581647} diff --git a/data/stat_history/b5dc599.txt b/data/stat_history/b5dc599.txt new file mode 100644 index 000000000..6338357ef --- /dev/null +++ b/data/stat_history/b5dc599.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 23109, +"implicit_proof_true": 5295922, +"unknown": 2890365, +"implicit_proof_false": 12994633, +"explicit_proof_false": 829607 +} diff --git a/data/stat_history/b6373e8.txt b/data/stat_history/b6373e8.txt new file mode 100644 index 000000000..60107a1e3 --- /dev/null +++ b/data/stat_history/b6373e8.txt @@ -0,0 +1,5 @@ +{"unknown": 21679, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275845, + "explicit_proof_true": 31023, + "explicit_proof_false": 581444} diff --git a/data/stat_history/b8efafa.txt b/data/stat_history/b8efafa.txt new file mode 100644 index 000000000..a4dc0b41d --- /dev/null +++ b/data/stat_history/b8efafa.txt @@ -0,0 +1,12 @@ +extract_implications outcomes +Output the status of all implications. + +USAGE: + extract_implications outcomes [FLAGS] ... + +FLAGS: + -h, --help Prints this message. + --hist Create a histogram instead of outputting all outcomes + +ARGS: + files : Array ModuleName The files to extract the implications from diff --git a/data/stat_history/b998dd8.txt b/data/stat_history/b998dd8.txt new file mode 100644 index 000000000..e2667fc7a --- /dev/null +++ b/data/stat_history/b998dd8.txt @@ -0,0 +1,7 @@ +{"unknown": 732, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272284, + "implicit_conjecture_false": 12, + "explicit_proof_true": 31019, + "explicit_proof_false": 582132, + "explicit_conjecture_false": 197} diff --git a/data/stat_history/backfill_stats.py b/data/stat_history/backfill_stats.py new file mode 100644 index 000000000..c61e7a8fc --- /dev/null +++ b/data/stat_history/backfill_stats.py @@ -0,0 +1,55 @@ +import os +import subprocess + +# Function to read commit IDs from a file +def load_commit_ids(file_path): + commits = [] + with open(file_path, 'r') as file: + for line in file: + # Extract the first part of the line (the commit ID) + commit_id = line.split()[0] + commits.append(commit_id) + return commits + +# Function to run a command and capture its output +def run_command(command): + result = subprocess.run(command, shell=True, capture_output=True, text=True) + return result.stdout, result.stderr + +# Load commits from the file 'commits.txt' +commit_file = 'order2' +commits = load_commit_ids(commit_file) + +# Loop through each commit +for commit in commits: + # Checkout to the specific commit + print(f"Checking out commit {commit}...") + checkout_cmd = f"git checkout --force {commit}" + stdout, stderr = run_command(checkout_cmd) + + # Run the lake build command + print("Running 'lake build'...") + build_cmd = "lake build" + stdout, stderr = run_command(build_cmd) + + if stderr: + print(f"Error during 'lake build' for commit {commit}: {stderr}") + continue + + # Run the lake exe command and save the output + print("Running 'lake exe extract_implications outcomes --hist'...") + exe_cmd = "lake exe extract_implications outcomes --hist" + stdout, stderr = run_command(exe_cmd) + + if stderr: + print(f"Error during 'lake exe extract_implications outcomes --hist' for commit {commit}: {stderr}") + continue + + # Save the output to a file named after the commit + output_file = f"{commit}.txt" + with open(output_file, 'w') as f: + f.write(stdout) + + print(f"Output saved to {output_file}") + +print("All commits processed.") diff --git a/data/stat_history/bbd46df.txt b/data/stat_history/bbd46df.txt new file mode 100644 index 000000000..c6d28c75d --- /dev/null +++ b/data/stat_history/bbd46df.txt @@ -0,0 +1,5 @@ +{"unknown": 29651, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13268154, + "explicit_proof_true": 31023, + "explicit_proof_false": 581163} diff --git a/data/stat_history/bbd4f36.txt b/data/stat_history/bbd4f36.txt new file mode 100644 index 000000000..4a0c0ebd0 --- /dev/null +++ b/data/stat_history/bbd4f36.txt @@ -0,0 +1,7 @@ +{"unknown": 955, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582094, + "explicit_conjecture_false": 36} diff --git a/data/stat_history/bd38c5f.txt b/data/stat_history/bd38c5f.txt new file mode 100644 index 000000000..e2667fc7a --- /dev/null +++ b/data/stat_history/bd38c5f.txt @@ -0,0 +1,7 @@ +{"unknown": 732, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272284, + "implicit_conjecture_false": 12, + "explicit_proof_true": 31019, + "explicit_proof_false": 582132, + "explicit_conjecture_false": 197} diff --git a/data/stat_history/bda22e4.txt b/data/stat_history/bda22e4.txt new file mode 100644 index 000000000..6338357ef --- /dev/null +++ b/data/stat_history/bda22e4.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 23109, +"implicit_proof_true": 5295922, +"unknown": 2890365, +"implicit_proof_false": 12994633, +"explicit_proof_false": 829607 +} diff --git a/data/stat_history/be362a7.txt b/data/stat_history/be362a7.txt new file mode 100644 index 000000000..e2667fc7a --- /dev/null +++ b/data/stat_history/be362a7.txt @@ -0,0 +1,7 @@ +{"unknown": 732, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272284, + "implicit_conjecture_false": 12, + "explicit_proof_true": 31019, + "explicit_proof_false": 582132, + "explicit_conjecture_false": 197} diff --git a/data/stat_history/be47f3e.txt b/data/stat_history/be47f3e.txt new file mode 100644 index 000000000..e2667fc7a --- /dev/null +++ b/data/stat_history/be47f3e.txt @@ -0,0 +1,7 @@ +{"unknown": 732, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272284, + "implicit_conjecture_false": 12, + "explicit_proof_true": 31019, + "explicit_proof_false": 582132, + "explicit_conjecture_false": 197} diff --git a/data/stat_history/bec31a3.txt b/data/stat_history/bec31a3.txt new file mode 100644 index 000000000..d374eb1aa --- /dev/null +++ b/data/stat_history/bec31a3.txt @@ -0,0 +1,5 @@ +{"unknown": 21411, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275918, + "explicit_proof_true": 31023, + "explicit_proof_false": 581639} diff --git a/data/stat_history/bf376c8.txt b/data/stat_history/bf376c8.txt new file mode 100644 index 000000000..ca53e28a9 --- /dev/null +++ b/data/stat_history/bf376c8.txt @@ -0,0 +1,7 @@ +{"unknown": 741, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272271, + "implicit_conjecture_false": 15, + "explicit_proof_true": 31019, + "explicit_proof_false": 582104, + "explicit_conjecture_false": 226} diff --git a/data/stat_history/bf6c691.txt b/data/stat_history/bf6c691.txt new file mode 100644 index 000000000..a4dc0b41d --- /dev/null +++ b/data/stat_history/bf6c691.txt @@ -0,0 +1,12 @@ +extract_implications outcomes +Output the status of all implications. + +USAGE: + extract_implications outcomes [FLAGS] ... + +FLAGS: + -h, --help Prints this message. + --hist Create a histogram instead of outputting all outcomes + +ARGS: + files : Array ModuleName The files to extract the implications from diff --git a/data/stat_history/c01a91f.txt b/data/stat_history/c01a91f.txt new file mode 100644 index 000000000..563af0bcd --- /dev/null +++ b/data/stat_history/c01a91f.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 23109, +"implicit_proof_true": 5295922, +"unknown": 2890365, +"implicit_proof_false": 12994633, +"explicit_proof_false": 829607, +} diff --git a/data/stat_history/c0fc978.txt b/data/stat_history/c0fc978.txt new file mode 100644 index 000000000..4d2a62f2e --- /dev/null +++ b/data/stat_history/c0fc978.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28263, +"implicit_proof_true": 5457962, +"unknown": 2729196, +"implicit_proof_false": 3522, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/c172a9e.txt b/data/stat_history/c172a9e.txt new file mode 100644 index 000000000..76c2a2b33 --- /dev/null +++ b/data/stat_history/c172a9e.txt @@ -0,0 +1,5 @@ +{"unknown": 21409, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275912, + "explicit_proof_true": 31023, + "explicit_proof_false": 581647} diff --git a/data/stat_history/c2b92b1.txt b/data/stat_history/c2b92b1.txt new file mode 100644 index 000000000..e2667fc7a --- /dev/null +++ b/data/stat_history/c2b92b1.txt @@ -0,0 +1,7 @@ +{"unknown": 732, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272284, + "implicit_conjecture_false": 12, + "explicit_proof_true": 31019, + "explicit_proof_false": 582132, + "explicit_conjecture_false": 197} diff --git a/data/stat_history/c3707d2.txt b/data/stat_history/c3707d2.txt new file mode 100644 index 000000000..e2667fc7a --- /dev/null +++ b/data/stat_history/c3707d2.txt @@ -0,0 +1,7 @@ +{"unknown": 732, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272284, + "implicit_conjecture_false": 12, + "explicit_proof_true": 31019, + "explicit_proof_false": 582132, + "explicit_conjecture_false": 197} diff --git a/data/stat_history/c3bf4ac.txt b/data/stat_history/c3bf4ac.txt new file mode 100644 index 000000000..a4dc0b41d --- /dev/null +++ b/data/stat_history/c3bf4ac.txt @@ -0,0 +1,12 @@ +extract_implications outcomes +Output the status of all implications. + +USAGE: + extract_implications outcomes [FLAGS] ... + +FLAGS: + -h, --help Prints this message. + --hist Create a histogram instead of outputting all outcomes + +ARGS: + files : Array ModuleName The files to extract the implications from diff --git a/data/stat_history/c3d8575.txt b/data/stat_history/c3d8575.txt new file mode 100644 index 000000000..9d3612caf --- /dev/null +++ b/data/stat_history/c3d8575.txt @@ -0,0 +1,7 @@ +{"unknown": 932, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272264, + "implicit_conjecture_false": 11, + "explicit_proof_true": 31019, + "explicit_proof_false": 582102, + "explicit_conjecture_false": 48} diff --git a/data/stat_history/c5a903f.txt b/data/stat_history/c5a903f.txt new file mode 100644 index 000000000..a4dc0b41d --- /dev/null +++ b/data/stat_history/c5a903f.txt @@ -0,0 +1,12 @@ +extract_implications outcomes +Output the status of all implications. + +USAGE: + extract_implications outcomes [FLAGS] ... + +FLAGS: + -h, --help Prints this message. + --hist Create a histogram instead of outputting all outcomes + +ARGS: + files : Array ModuleName The files to extract the implications from diff --git a/data/stat_history/c68087c.txt b/data/stat_history/c68087c.txt new file mode 100644 index 000000000..c6d28c75d --- /dev/null +++ b/data/stat_history/c68087c.txt @@ -0,0 +1,5 @@ +{"unknown": 29651, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13268154, + "explicit_proof_true": 31023, + "explicit_proof_false": 581163} diff --git a/data/stat_history/c8bbb8d.txt b/data/stat_history/c8bbb8d.txt new file mode 100644 index 000000000..4d2a62f2e --- /dev/null +++ b/data/stat_history/c8bbb8d.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28263, +"implicit_proof_true": 5457962, +"unknown": 2729196, +"implicit_proof_false": 3522, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/c8eb843.txt b/data/stat_history/c8eb843.txt new file mode 100644 index 000000000..4d2a62f2e --- /dev/null +++ b/data/stat_history/c8eb843.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28263, +"implicit_proof_true": 5457962, +"unknown": 2729196, +"implicit_proof_false": 3522, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/ca6a36a.txt b/data/stat_history/ca6a36a.txt new file mode 100644 index 000000000..4a0c0ebd0 --- /dev/null +++ b/data/stat_history/ca6a36a.txt @@ -0,0 +1,7 @@ +{"unknown": 955, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582094, + "explicit_conjecture_false": 36} diff --git a/data/stat_history/cab1423.txt b/data/stat_history/cab1423.txt new file mode 100644 index 000000000..4d2a62f2e --- /dev/null +++ b/data/stat_history/cab1423.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28263, +"implicit_proof_true": 5457962, +"unknown": 2729196, +"implicit_proof_false": 3522, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/ccc41d1.txt b/data/stat_history/ccc41d1.txt new file mode 100644 index 000000000..4c4e37ce9 --- /dev/null +++ b/data/stat_history/ccc41d1.txt @@ -0,0 +1,5 @@ +{"unknown": 21726, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13274799, + "explicit_proof_true": 31023, + "explicit_proof_false": 582443} diff --git a/data/stat_history/cd63f18.txt b/data/stat_history/cd63f18.txt new file mode 100644 index 000000000..c6d28c75d --- /dev/null +++ b/data/stat_history/cd63f18.txt @@ -0,0 +1,5 @@ +{"unknown": 29651, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13268154, + "explicit_proof_true": 31023, + "explicit_proof_false": 581163} diff --git a/data/stat_history/cdab4ea.txt b/data/stat_history/cdab4ea.txt new file mode 100644 index 000000000..e2667fc7a --- /dev/null +++ b/data/stat_history/cdab4ea.txt @@ -0,0 +1,7 @@ +{"unknown": 732, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272284, + "implicit_conjecture_false": 12, + "explicit_proof_true": 31019, + "explicit_proof_false": 582132, + "explicit_conjecture_false": 197} diff --git a/data/stat_history/cf97f57.txt b/data/stat_history/cf97f57.txt new file mode 100644 index 000000000..03bed1967 --- /dev/null +++ b/data/stat_history/cf97f57.txt @@ -0,0 +1,7 @@ +{"unknown": 733, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272284, + "implicit_conjecture_false": 12, + "explicit_proof_true": 31019, + "explicit_proof_false": 582131, + "explicit_conjecture_false": 197} diff --git a/data/stat_history/d0975a7.txt b/data/stat_history/d0975a7.txt new file mode 100644 index 000000000..e2667fc7a --- /dev/null +++ b/data/stat_history/d0975a7.txt @@ -0,0 +1,7 @@ +{"unknown": 732, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272284, + "implicit_conjecture_false": 12, + "explicit_proof_true": 31019, + "explicit_proof_false": 582132, + "explicit_conjecture_false": 197} diff --git a/data/stat_history/d138c4e.txt b/data/stat_history/d138c4e.txt new file mode 100644 index 000000000..21deaae25 --- /dev/null +++ b/data/stat_history/d138c4e.txt @@ -0,0 +1,5 @@ +{"unknown": 21726, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13274797, + "explicit_proof_true": 31023, + "explicit_proof_false": 582445} diff --git a/data/stat_history/d22688a.txt b/data/stat_history/d22688a.txt new file mode 100644 index 000000000..21deaae25 --- /dev/null +++ b/data/stat_history/d22688a.txt @@ -0,0 +1,5 @@ +{"unknown": 21726, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13274797, + "explicit_proof_true": 31023, + "explicit_proof_false": 582445} diff --git a/data/stat_history/d36b5cc.txt b/data/stat_history/d36b5cc.txt new file mode 100644 index 000000000..3fd21c977 --- /dev/null +++ b/data/stat_history/d36b5cc.txt @@ -0,0 +1,7 @@ +{"unknown": 932, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 12, + "explicit_proof_true": 31019, + "explicit_proof_false": 582096, + "explicit_conjecture_false": 55} diff --git a/data/stat_history/d4b4118.txt b/data/stat_history/d4b4118.txt new file mode 100644 index 000000000..c5b99d129 --- /dev/null +++ b/data/stat_history/d4b4118.txt @@ -0,0 +1,5 @@ +{"unknown": 21323, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275914, + "explicit_proof_true": 31023, + "explicit_proof_false": 581731} diff --git a/data/stat_history/d58d808.txt b/data/stat_history/d58d808.txt new file mode 100644 index 000000000..2c9928ffb --- /dev/null +++ b/data/stat_history/d58d808.txt @@ -0,0 +1,7 @@ +{"unknown": 732, + "implicit_proof_true": 8147764, + "implicit_proof_false": 13272284, + "implicit_conjecture_false": 12, + "explicit_proof_true": 30515, + "explicit_proof_false": 582132, + "explicit_conjecture_false": 197} diff --git a/data/stat_history/d61b690.txt b/data/stat_history/d61b690.txt new file mode 100644 index 000000000..a67bfb290 --- /dev/null +++ b/data/stat_history/d61b690.txt @@ -0,0 +1,5 @@ +{"unknown": 21319, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275885, + "explicit_proof_true": 31023, + "explicit_proof_false": 581764} diff --git a/data/stat_history/d62e043.txt b/data/stat_history/d62e043.txt new file mode 100644 index 000000000..7a2851849 --- /dev/null +++ b/data/stat_history/d62e043.txt @@ -0,0 +1,10 @@ +{"explicit_proof_true": 23111, +"implicit_proof_true": 5295920, +"explicit_conjecture_true": 38949, +"implicit_conjecture_true": 1223057, +"unknown": 7999, +"implicit_conjecture_false": 1540725, +"explicit_conjecture_false": 79635, +"implicit_proof_false": 12994633, +"explicit_proof_false": 829607 +} diff --git a/data/stat_history/d6695c1.txt b/data/stat_history/d6695c1.txt new file mode 100644 index 000000000..3c7880d4a --- /dev/null +++ b/data/stat_history/d6695c1.txt @@ -0,0 +1,5 @@ +{"unknown": 29503, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13268299, + "explicit_proof_true": 31023, + "explicit_proof_false": 581166} diff --git a/data/stat_history/d8b60e3.txt b/data/stat_history/d8b60e3.txt new file mode 100644 index 000000000..3c7880d4a --- /dev/null +++ b/data/stat_history/d8b60e3.txt @@ -0,0 +1,5 @@ +{"unknown": 29503, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13268299, + "explicit_proof_true": 31023, + "explicit_proof_false": 581166} diff --git a/data/stat_history/d99988d.txt b/data/stat_history/d99988d.txt new file mode 100644 index 000000000..1ef6ebc45 --- /dev/null +++ b/data/stat_history/d99988d.txt @@ -0,0 +1,5 @@ +{"unknown": 29682, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13243431, + "explicit_proof_true": 31023, + "explicit_proof_false": 605855} diff --git a/data/stat_history/dac82d9.txt b/data/stat_history/dac82d9.txt new file mode 100644 index 000000000..c60781304 --- /dev/null +++ b/data/stat_history/dac82d9.txt @@ -0,0 +1,5 @@ +{"unknown": 29688, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13243426, + "explicit_proof_true": 31023, + "explicit_proof_false": 605854} diff --git a/data/stat_history/dd791fe.txt b/data/stat_history/dd791fe.txt new file mode 100644 index 000000000..6338357ef --- /dev/null +++ b/data/stat_history/dd791fe.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 23109, +"implicit_proof_true": 5295922, +"unknown": 2890365, +"implicit_proof_false": 12994633, +"explicit_proof_false": 829607 +} diff --git a/data/stat_history/dee88db.txt b/data/stat_history/dee88db.txt new file mode 100644 index 000000000..4a0c0ebd0 --- /dev/null +++ b/data/stat_history/dee88db.txt @@ -0,0 +1,7 @@ +{"unknown": 955, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582094, + "explicit_conjecture_false": 36} diff --git a/data/stat_history/dfe556a.txt b/data/stat_history/dfe556a.txt new file mode 100644 index 000000000..dd246442f --- /dev/null +++ b/data/stat_history/dfe556a.txt @@ -0,0 +1,7 @@ +{"unknown": 954, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582096, + "explicit_conjecture_false": 35} diff --git a/data/stat_history/e1a75b5.txt b/data/stat_history/e1a75b5.txt new file mode 100644 index 000000000..76c2a2b33 --- /dev/null +++ b/data/stat_history/e1a75b5.txt @@ -0,0 +1,5 @@ +{"unknown": 21409, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275912, + "explicit_proof_true": 31023, + "explicit_proof_false": 581647} diff --git a/data/stat_history/e3aee7b.txt b/data/stat_history/e3aee7b.txt new file mode 100644 index 000000000..21deaae25 --- /dev/null +++ b/data/stat_history/e3aee7b.txt @@ -0,0 +1,5 @@ +{"unknown": 21726, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13274797, + "explicit_proof_true": 31023, + "explicit_proof_false": 582445} diff --git a/data/stat_history/e3d1cf4.txt b/data/stat_history/e3d1cf4.txt new file mode 100644 index 000000000..4985d40e3 --- /dev/null +++ b/data/stat_history/e3d1cf4.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 29248, +"implicit_proof_true": 7063191, +"unknown": 1120090, +"implicit_proof_false": 13243426, +"explicit_proof_false": 605854 +} diff --git a/data/stat_history/e4cdaf1.txt b/data/stat_history/e4cdaf1.txt new file mode 100644 index 000000000..4a0c0ebd0 --- /dev/null +++ b/data/stat_history/e4cdaf1.txt @@ -0,0 +1,7 @@ +{"unknown": 955, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582094, + "explicit_conjecture_false": 36} diff --git a/data/stat_history/e5d4241.txt b/data/stat_history/e5d4241.txt new file mode 100644 index 000000000..51293a71d --- /dev/null +++ b/data/stat_history/e5d4241.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28239, +"implicit_proof_true": 5454927, +"unknown": 2707562, +"implicit_proof_false": 42, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/e864ee9.txt b/data/stat_history/e864ee9.txt new file mode 100644 index 000000000..ca53e28a9 --- /dev/null +++ b/data/stat_history/e864ee9.txt @@ -0,0 +1,7 @@ +{"unknown": 741, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272271, + "implicit_conjecture_false": 15, + "explicit_proof_true": 31019, + "explicit_proof_false": 582104, + "explicit_conjecture_false": 226} diff --git a/data/stat_history/e8c08c4.txt b/data/stat_history/e8c08c4.txt new file mode 100644 index 000000000..563af0bcd --- /dev/null +++ b/data/stat_history/e8c08c4.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 23109, +"implicit_proof_true": 5295922, +"unknown": 2890365, +"implicit_proof_false": 12994633, +"explicit_proof_false": 829607, +} diff --git a/data/stat_history/ea6e617.txt b/data/stat_history/ea6e617.txt new file mode 100644 index 000000000..4d2a62f2e --- /dev/null +++ b/data/stat_history/ea6e617.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28263, +"implicit_proof_true": 5457962, +"unknown": 2729196, +"implicit_proof_false": 3522, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/ec402a6.txt b/data/stat_history/ec402a6.txt new file mode 100644 index 000000000..c5b99d129 --- /dev/null +++ b/data/stat_history/ec402a6.txt @@ -0,0 +1,5 @@ +{"unknown": 21323, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275914, + "explicit_proof_true": 31023, + "explicit_proof_false": 581731} diff --git a/data/stat_history/f20bcd0.txt b/data/stat_history/f20bcd0.txt new file mode 100644 index 000000000..21deaae25 --- /dev/null +++ b/data/stat_history/f20bcd0.txt @@ -0,0 +1,5 @@ +{"unknown": 21726, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13274797, + "explicit_proof_true": 31023, + "explicit_proof_false": 582445} diff --git a/data/stat_history/f3df951.txt b/data/stat_history/f3df951.txt new file mode 100644 index 000000000..dd246442f --- /dev/null +++ b/data/stat_history/f3df951.txt @@ -0,0 +1,7 @@ +{"unknown": 954, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582096, + "explicit_conjecture_false": 35} diff --git a/data/stat_history/f49ece0.txt b/data/stat_history/f49ece0.txt new file mode 100644 index 000000000..4a0c0ebd0 --- /dev/null +++ b/data/stat_history/f49ece0.txt @@ -0,0 +1,7 @@ +{"unknown": 955, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582094, + "explicit_conjecture_false": 36} diff --git a/data/stat_history/f4ec9f2.txt b/data/stat_history/f4ec9f2.txt new file mode 100644 index 000000000..76c2a2b33 --- /dev/null +++ b/data/stat_history/f4ec9f2.txt @@ -0,0 +1,5 @@ +{"unknown": 21409, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275912, + "explicit_proof_true": 31023, + "explicit_proof_false": 581647} diff --git a/data/stat_history/f5378ff.txt b/data/stat_history/f5378ff.txt new file mode 100644 index 000000000..a4dc0b41d --- /dev/null +++ b/data/stat_history/f5378ff.txt @@ -0,0 +1,12 @@ +extract_implications outcomes +Output the status of all implications. + +USAGE: + extract_implications outcomes [FLAGS] ... + +FLAGS: + -h, --help Prints this message. + --hist Create a histogram instead of outputting all outcomes + +ARGS: + files : Array ModuleName The files to extract the implications from diff --git a/data/stat_history/f590767.txt b/data/stat_history/f590767.txt new file mode 100644 index 000000000..4985d40e3 --- /dev/null +++ b/data/stat_history/f590767.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 29248, +"implicit_proof_true": 7063191, +"unknown": 1120090, +"implicit_proof_false": 13243426, +"explicit_proof_false": 605854 +} diff --git a/data/stat_history/f63f8d0.txt b/data/stat_history/f63f8d0.txt new file mode 100644 index 000000000..c5b99d129 --- /dev/null +++ b/data/stat_history/f63f8d0.txt @@ -0,0 +1,5 @@ +{"unknown": 21323, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275914, + "explicit_proof_true": 31023, + "explicit_proof_false": 581731} diff --git a/data/stat_history/f6a209e.txt b/data/stat_history/f6a209e.txt new file mode 100644 index 000000000..9d3612caf --- /dev/null +++ b/data/stat_history/f6a209e.txt @@ -0,0 +1,7 @@ +{"unknown": 932, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272264, + "implicit_conjecture_false": 11, + "explicit_proof_true": 31019, + "explicit_proof_false": 582102, + "explicit_conjecture_false": 48} diff --git a/data/stat_history/f8adedf.txt b/data/stat_history/f8adedf.txt new file mode 100644 index 000000000..b4f4d2d4c --- /dev/null +++ b/data/stat_history/f8adedf.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 27810, +"implicit_proof_true": 5299864, +"unknown": 2881722, +"implicit_proof_false": 12994633, +"explicit_proof_false": 829607 +} diff --git a/data/stat_history/f91b4f2.txt b/data/stat_history/f91b4f2.txt new file mode 100644 index 000000000..a4dc0b41d --- /dev/null +++ b/data/stat_history/f91b4f2.txt @@ -0,0 +1,12 @@ +extract_implications outcomes +Output the status of all implications. + +USAGE: + extract_implications outcomes [FLAGS] ... + +FLAGS: + -h, --help Prints this message. + --hist Create a histogram instead of outputting all outcomes + +ARGS: + files : Array ModuleName The files to extract the implications from diff --git a/data/stat_history/f9a1686.txt b/data/stat_history/f9a1686.txt new file mode 100644 index 000000000..d374eb1aa --- /dev/null +++ b/data/stat_history/f9a1686.txt @@ -0,0 +1,5 @@ +{"unknown": 21411, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275918, + "explicit_proof_true": 31023, + "explicit_proof_false": 581639} diff --git a/data/stat_history/f9b97e9.txt b/data/stat_history/f9b97e9.txt new file mode 100644 index 000000000..76c2a2b33 --- /dev/null +++ b/data/stat_history/f9b97e9.txt @@ -0,0 +1,5 @@ +{"unknown": 21409, + "implicit_proof_true": 8151818, + "implicit_proof_false": 13275912, + "explicit_proof_true": 31023, + "explicit_proof_false": 581647} diff --git a/data/stat_history/fc480c4.txt b/data/stat_history/fc480c4.txt new file mode 100644 index 000000000..dd246442f --- /dev/null +++ b/data/stat_history/fc480c4.txt @@ -0,0 +1,7 @@ +{"unknown": 954, + "implicit_proof_true": 8147260, + "implicit_proof_false": 13272262, + "implicit_conjecture_false": 10, + "explicit_proof_true": 31019, + "explicit_proof_false": 582096, + "explicit_conjecture_false": 35} diff --git a/data/stat_history/fc96237.txt b/data/stat_history/fc96237.txt new file mode 100644 index 000000000..4d2a62f2e --- /dev/null +++ b/data/stat_history/fc96237.txt @@ -0,0 +1,6 @@ +{"explicit_proof_true": 28263, +"implicit_proof_true": 5457962, +"unknown": 2729196, +"implicit_proof_false": 3522, +"explicit_proof_false": 13842866 +} diff --git a/data/stat_history/fe88e4f.txt b/data/stat_history/fe88e4f.txt new file mode 100644 index 000000000..a4dc0b41d --- /dev/null +++ b/data/stat_history/fe88e4f.txt @@ -0,0 +1,12 @@ +extract_implications outcomes +Output the status of all implications. + +USAGE: + extract_implications outcomes [FLAGS] ... + +FLAGS: + -h, --help Prints this message. + --hist Create a histogram instead of outputting all outcomes + +ARGS: + files : Array ModuleName The files to extract the implications from diff --git a/data/stat_history/fe8966e.txt b/data/stat_history/fe8966e.txt new file mode 100644 index 000000000..a4dc0b41d --- /dev/null +++ b/data/stat_history/fe8966e.txt @@ -0,0 +1,12 @@ +extract_implications outcomes +Output the status of all implications. + +USAGE: + extract_implications outcomes [FLAGS] ... + +FLAGS: + -h, --help Prints this message. + --hist Create a histogram instead of outputting all outcomes + +ARGS: + files : Array ModuleName The files to extract the implications from