Detailed results for Bat (hors-concours) at QF_UFBV32
| Benchmark | Answer | Time | Correct? |
|---|
| bench_a/a187test0009.smt |
sat |
0.1 |
yes |
| bench_a/a208test0005.smt |
sat |
0.1 |
yes |
| bench_a/a209test0010.smt |
sat |
0.1 |
yes |
| bench_a/a222test0008.smt |
sat |
0.1 |
yes |
| bench_a/a28test0002.smt |
sat |
0.1 |
yes |
| bench_a/a394test0036.smt |
sat |
0.1 |
yes |
| bench_a/a424test0004.smt |
sat |
0.1 |
yes |
| bench_a/a493test0006.smt |
sat |
0.3 |
yes |
| bench_a/a499test0009.smt |
sat |
0.1 |
yes |
| bench_a/a53test0002.smt |
unsat |
0.1 |
no (unsound)
|
| bench_a/a641test0030.smt |
sat |
0.1 |
yes |
| bench_a/a682test0085.smt |
sat |
0.1 |
yes |
| bench_a/a71test0002.smt |
sat |
0.1 |
yes |
| bench_a/a83test0001.smt |
sat |
0.1 |
yes |
| crafted/bbb.smt |
unsat |
0.0 |
yes |
| crafted/bitops1.smt |
unsat |
0.1 |
yes |
| crafted/bitops5.smt |
sat |
0.1 |
no (incomplete)
|
| crafted/bitops7.smt |
sat |
0.1 |
yes |
| crafted/bitvec2.smt |
unsat |
0.1 |
yes |
| crafted/bitvec4.smt |
unsat |
0.1 |
yes |
| crafted/bitvec5.smt |
unsat |
0.1 |
yes |
| crafted/bitvec7.smt |
unsat |
0.0 |
yes |
| crafted/boolextract.smt |
sat |
0.1 |
yes |
| crafted/bvlt.smt |
sat |
0.1 |
yes |
| egt/easy/egt-0293.smt |
unsat |
1.0 |
yes |
| egt/easy/egt-0497.smt |
unsat |
0.1 |
yes |
| egt/easy/egt-0892.smt |
unsat |
0.3 |
yes |
| egt/easy/egt-0997.smt |
unsat |
0.4 |
yes |
| egt/easy/egt-1836.smt |
unsat |
0.6 |
yes |
| egt/easy/egt-2322.smt |
unsat |
0.1 |
yes |
| egt/easy/egt-2393.smt |
unsat |
1.3 |
yes |
| egt/easy/egt-2564.smt |
sat |
0.4 |
yes |
| egt/easy/egt-2770.smt |
sat |
0.2 |
yes |
| egt/easy/egt-2782.smt |
unsat |
0.1 |
yes |
| egt/easy/egt-3306.smt |
unsat |
0.1 |
yes |
| egt/easy/egt-3440.smt |
unsat |
0.1 |
yes |
| egt/easy/egt-3493.smt |
unsat |
0.1 |
yes |
| egt/easy/egt-3561.smt |
unsat |
0.2 |
yes |
| egt/easy/egt-3688.smt |
unsat |
0.1 |
yes |
| egt/easy/egt-4041.smt |
unsat |
0.1 |
yes |
| egt/easy/egt-4218.smt |
sat |
1.4 |
yes |
| egt/easy/egt-4561.smt |
sat |
0.3 |
yes |
| egt/easy/egt-4773.smt |
sat |
1.1 |
yes |
| egt/easy/egt-4819.smt |
unsat |
0.5 |
yes |
| egt/easy/egt-5021.smt |
unsat |
0.2 |
yes |
| egt/easy/egt-5945.smt |
sat |
0.2 |
yes |
| egt/easy/egt-6183.smt |
sat |
0.3 |
yes |
| egt/easy/egt-6203.smt |
sat |
0.5 |
yes |
| egt/easy/egt-6663.smt |
unsat |
0.2 |
yes |
| egt/easy/egt-6700.smt |
unsat |
0.4 |
yes |
| egt/easy/egt-6958.smt |
unsat |
0.3 |
yes |
| egt/easy/egt-7279.smt |
sat |
0.6 |
yes |
| egt/easy/egt-7584.smt |
unsat |
0.3 |
yes |
| egt/easy/egt-7630.smt |
unsat |
0.4 |
yes |
| egt/easy/egt-7842.smt |
unsat |
0.4 |
yes |
| egt/hard/egt-0056.smt |
unsat |
0.3 |
yes |
| egt/hard/egt-0074.smt |
sat |
0.4 |
yes |
| egt/hard/egt-0130.smt |
unsat |
2.0 |
yes |
| egt/hard/egt-0231.smt |
sat |
0.7 |
yes |
| egt/hard/egt-0233.smt |
sat |
0.7 |
yes |
| egt/hard/egt-0563.smt |
sat |
0.5 |
yes |
| egt/hard/egt-1100.smt |
sat |
0.6 |
yes |
| egt/hard/egt-1346.smt |
sat |
0.7 |
yes |
| egt/hard/egt-1532.smt |
sat |
0.6 |
yes |
| egt/hard/egt-1604.smt |
unsat |
0.3 |
yes |
| egt/hard/egt-1639.smt |
sat |
0.9 |
yes |
| egt/hard/egt-1825.smt |
unsat |
1.0 |
yes |
| egt/hard/egt-1827.smt |
sat |
0.7 |
yes |
| egt/hard/egt-1875.smt |
sat |
0.9 |
yes |
| egt/hard/egt-1888.smt |
sat |
0.9 |
yes |
| egt/hard/egt-2406.smt |
unsat |
1.2 |
yes |
| egt/hard/egt-2657.smt |
unsat |
0.9 |
yes |
| egt/hard/egt-2694.smt |
sat |
0.7 |
yes |
| egt/hard/egt-2698.smt |
sat |
0.7 |
yes |
| egt/hard/egt-2714.smt |
sat |
0.7 |
yes |
| egt/hard/egt-2891.smt |
sat |
0.7 |
yes |
| egt/hard/egt-3042.smt |
unsat |
1.4 |
yes |
| egt/hard/egt-3397.smt |
unsat |
0.6 |
yes |
| egt/hard/egt-3412.smt |
unsat |
0.9 |
yes |
| egt/hard/egt-4176.smt |
sat |
1.2 |
yes |
| egt/hard/egt-4196.smt |
unsat |
1.3 |
yes |
| egt/hard/egt-4631.smt |
unsat |
12.4 |
yes |
| egt/hard/egt-4702.smt |
sat |
0.6 |
yes |
| egt/hard/egt-5221.smt |
unsat |
114.7 |
yes |
| egt/hard/egt-5319.smt |
sat |
1.1 |
yes |
| egt/hard/egt-5335.smt |
unsat |
2.4 |
yes |
| egt/hard/egt-5663.smt |
unsat |
1.6 |
yes |
| egt/hard/egt-5811.smt |
unsat |
14.4 |
yes |
| egt/hard/egt-6363.smt |
unsat |
0.6 |
yes |
| egt/hard/egt-6484.smt |
unsat |
8.1 |
yes |
| egt/hard/egt-6493.smt |
unsat |
13.1 |
yes |
| egt/hard/egt-6502.smt |
unsat |
12.4 |
yes |
| egt/hard/egt-6535.smt |
unsat |
2.5 |
yes |
| egt/hard/egt-6556.smt |
sat |
2.1 |
yes |
| egt/hard/egt-6583.smt |
sat |
1.9 |
yes |
| egt/hard/egt-6595.smt |
sat |
2.3 |
yes |
| egt/hard/egt-7308.smt |
sat |
0.8 |
yes |
| egt/hard/egt-7500.smt |
unsat |
1.0 |
yes |
| egt/hard/egt-7619.smt |
unsat |
0.4 |
yes |
| egt/hard/egt-7651.smt |
sat |
0.5 |
yes |
Last modified: Tue 17 Feb 2015 15:01 UTC