10

dir
1434
https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp/tests/generated_tests
https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover



2011-09-11T12:44:55.490212Z
1394
trevor_hansen
has-props













e59a4935-1847-0410-ae03-e826735625c1

run-experiments.pl
file




2011-12-13T02:40:46.000000Z
95874d7da250a0c68c0cc079f60d041e
2008-10-22T19:18:17.269200Z
32
katelman
has-props




















356

form_32.var_32.bits_32.cvc
file




2011-12-13T02:40:46.000000Z
0fc633921dcf23e668d610deb92a95d6
2008-10-22T19:18:17.269200Z
32
katelman





















32613

random-tests
dir

form_32.var_16.bits_32.cvc
file




2011-12-13T02:40:46.000000Z
3e86026e37ef0ab037952ca899de5558
2008-10-22T19:18:17.269200Z
32
katelman





















16917

form_16.var_32.bits_32.cvc
file




2011-12-13T02:40:46.000000Z
afe093f146fa4e1eeeac540db9bf0478
2008-10-22T19:18:17.269200Z
32
katelman





















16645

testgen.pl
file




2011-12-13T02:40:46.000000Z
b781cfea9ea3c3bf005f462a35b30279
2008-10-22T19:18:17.269200Z
32
katelman
has-props




















4953

extract.pl
file




2011-12-13T02:40:46.000000Z
9d6ce64eca7d24b7e361fa0a8d1aa634
2008-10-22T19:18:17.269200Z
32
katelman
has-props




















272

form_64.var_32.bits_32.cvc
file




2011-12-13T02:40:46.000000Z
af3acdfef7761eaeb7ee24e0fcae5e25
2008-10-22T19:18:17.269200Z
32
katelman





















64549

form_32.var_64.bits_32.cvc
file




2011-12-13T02:40:46.000000Z
7fd092ede3d57623c5e4906040a0f3d5
2008-10-22T19:18:17.269200Z
32
katelman





















64005

mulDivRem.cpp
file




2011-12-13T02:40:46.000000Z
ee2e5dff3a70d829287368ab20b47bf5
2009-09-15T12:49:45.389535Z
230
trevor_hansen





















3536

form_4.var_32.bits_32.cvc
file




2011-12-13T02:40:46.000000Z
3161333bbb5d57b9a49aa4fd7bcb3bc7
2008-10-22T19:18:17.269200Z
32
katelman





















4669

form_32.var_4.bits_32.cvc
file




2011-12-13T02:40:46.000000Z
483c9e84dee446aafa25de34c7ccad4c
2008-10-22T19:18:17.269200Z
32
katelman





















5343

g.cvc
file




2011-12-13T02:40:46.000000Z
3ff2e405adc6a232e0eb9229bb68f752
2008-10-22T19:18:17.269200Z
32
katelman





















2061

runMulDivRem.sh
file




2011-12-13T02:40:46.000000Z
163d4db860ffef2115bfeb1ebf1ba7e7
2009-09-15T12:49:45.389535Z
230
trevor_hansen
has-props




















173

form_32.var_8.bits_32.cvc
file




2011-12-13T02:40:46.000000Z
c928a4dee8fb464364eb9cdd2a2a3948
2008-10-22T19:18:17.269200Z
32
katelman





















9135

form_8.var_32.bits_32.cvc
file




2011-12-13T02:40:46.000000Z
d2ff24620ffa158a739590b47b665ba9
2008-10-22T19:18:17.269200Z
32
katelman





















8661

ArrayGenerator.java
file




2011-12-13T02:40:46.000000Z
7b15590e72051b37be012bf7bb7e7b67
2011-09-11T12:44:55.490212Z
1394
trevor_hansen





















3800

gen2.cvc
file




2011-12-13T02:40:46.000000Z
696fa61a2c4e00f74c44bd32e8c9189b
2008-10-22T19:18:17.269200Z
32
katelman





















2434

form_32.var_128.bits_32.cvc
file




2011-12-13T02:40:46.000000Z
1da85fdc54bfa3b0a580887bef40a1c6
2008-10-22T19:18:17.269200Z
32
katelman





















127713

form_128.var_32.bits_32.cvc
file




2011-12-13T02:40:46.000000Z
2fa1d7f079762ac2bbd9fa26da3b2ea3
2008-10-22T19:18:17.269200Z
32
katelman





















128421

form_32.var_256.bits_32.cvc
file




2011-12-13T02:40:46.000000Z
167cfa2ef37e0688ddc20db7903ed718
2008-10-22T19:18:17.269200Z
32
katelman





















257505

form_256.var_32.bits_32.cvc
file




2011-12-13T02:40:46.000000Z
c7d1fe145b8b8ffd35e1bde316fbaa8f
2008-10-22T19:18:17.269200Z
32
katelman





















256165

Makefile
file




2011-12-13T02:40:46.000000Z
3eaedd9e9344427320658b6e53c6fcac
2009-09-15T12:49:45.389535Z
230
trevor_hansen





















98

