Detailed results for CVC3 at QF_UF
| Benchmark | Answer | Time | Correct? |
|---|
| NEQ/NEQ004_size6.smt |
unknown |
383.0 |
yes |
| NEQ/NEQ004_size7.smt |
unknown |
539.8 |
yes |
| NEQ/NEQ006_size5.smt |
unknown |
660.2 |
yes |
| NEQ/NEQ006_size6.smt |
unknown |
731.0 |
yes |
| NEQ/NEQ015_size3.smt |
unsat |
4.1 |
yes |
| NEQ/NEQ015_size4.smt |
unsat |
44.5 |
yes |
| NEQ/NEQ015_size5.smt |
unsat |
695.4 |
yes |
| NEQ/NEQ015_size6.smt |
timeout |
1208.3 |
yes |
| NEQ/NEQ016_size7.smt |
unknown |
500.2 |
yes |
| NEQ/NEQ016_size8.smt |
unknown |
491.6 |
yes |
| NEQ/NEQ023_size4.smt |
unsat |
19.2 |
yes |
| NEQ/NEQ023_size5.smt |
unsat |
84.3 |
yes |
| NEQ/NEQ023_size6.smt |
unknown |
879.1 |
yes |
| NEQ/NEQ023_size7.smt |
unknown |
944.3 |
yes |
| NEQ/NEQ027_size11.smt |
unknown |
876.7 |
yes |
| NEQ/NEQ027_size9.smt |
unknown |
664.5 |
yes |
| NEQ/NEQ031_size10.smt |
unknown |
849.4 |
yes |
| NEQ/NEQ031_size8.smt |
unknown |
646.6 |
yes |
| NEQ/NEQ031_size9.smt |
unknown |
655.6 |
yes |
| NEQ/NEQ032_size4.smt |
unknown |
437.7 |
yes |
| NEQ/NEQ032_size5.smt |
unknown |
532.3 |
yes |
| NEQ/NEQ032_size6.smt |
unknown |
744.6 |
yes |
| NEQ/NEQ033_size6.smt |
unknown |
748.5 |
yes |
| NEQ/NEQ041_size6.smt |
unknown |
744.6 |
yes |
| NEQ/NEQ041_size8.smt |
unknown |
872.3 |
yes |
| NEQ/NEQ046_size3.smt |
unsat |
2.6 |
yes |
| NEQ/NEQ046_size6.smt |
timeout |
1208.7 |
yes |
| NEQ/NEQ048_size7.smt |
unknown |
520.8 |
yes |
| NEQ/NEQ048_size9.smt |
unknown |
537.7 |
yes |
| PEQ/PEQ002_size6.smt |
unsat |
230.8 |
yes |
| PEQ/PEQ002_size7.smt |
unknown |
518.5 |
yes |
| PEQ/PEQ002_size8.smt |
unknown |
432.4 |
yes |
| PEQ/PEQ003_size10.smt |
unknown |
518.3 |
yes |
| PEQ/PEQ003_size7.smt |
unknown |
535.5 |
yes |
| PEQ/PEQ003_size8.smt |
unknown |
540.9 |
yes |
| PEQ/PEQ003_size9.smt |
unknown |
521.7 |
yes |
| PEQ/PEQ004_size6.smt |
unsat |
29.1 |
yes |
| PEQ/PEQ004_size8.smt |
unknown |
526.0 |
yes |
| PEQ/PEQ004_size9.smt |
unknown |
530.4 |
yes |
| PEQ/PEQ010_size6.smt |
unsat |
40.3 |
yes |
| PEQ/PEQ010_size7.smt |
unsat |
5.9 |
yes |
| PEQ/PEQ011_size6.smt |
unsat |
30.5 |
yes |
| PEQ/PEQ011_size7.smt |
unsat |
223.2 |
yes |
| PEQ/PEQ011_size8.smt |
unknown |
315.7 |
yes |
| PEQ/PEQ012_size5.smt |
unsat |
110.1 |
yes |
| PEQ/PEQ013_size6.smt |
unsat |
132.0 |
yes |
| PEQ/PEQ013_size7.smt |
unknown |
275.8 |
yes |
| PEQ/PEQ014_size10.smt |
unsat |
506.8 |
yes |
| PEQ/PEQ014_size11.smt |
unknown |
543.1 |
yes |
| PEQ/PEQ014_size9.smt |
unknown |
670.2 |
yes |
| PEQ/PEQ016_size5.smt |
unsat |
176.9 |
yes |
| PEQ/PEQ016_size6.smt |
unknown |
464.1 |
yes |
| PEQ/PEQ016_size7.smt |
unknown |
524.2 |
yes |
| PEQ/PEQ018_size4.smt |
unsat |
5.0 |
yes |
| PEQ/PEQ018_size5.smt |
unsat |
140.8 |
yes |
| PEQ/PEQ018_size6.smt |
unknown |
552.7 |
yes |
| PEQ/PEQ018_size7.smt |
unknown |
524.6 |
yes |
| PEQ/PEQ019_size4.smt |
unsat |
0.2 |
yes |
| PEQ/PEQ019_size7.smt |
unsat |
232.9 |
yes |
| PEQ/PEQ020_size5.smt |
unsat |
8.4 |
yes |
| PEQ/PEQ020_size6.smt |
unknown |
376.3 |
yes |
| PEQ/PEQ020_size7.smt |
unknown |
391.0 |
yes |
| SEQ/SEQ004_size7.smt |
sat |
1.7 |
yes |
| SEQ/SEQ005_size7.smt |
unsat |
189.1 |
yes |
| SEQ/SEQ005_size8.smt |
unknown |
507.5 |
yes |
| SEQ/SEQ005_size9.smt |
unknown |
417.6 |
yes |
| SEQ/SEQ009_size10.smt |
unknown |
440.0 |
yes |
| SEQ/SEQ009_size7.smt |
unknown |
453.8 |
yes |
| SEQ/SEQ009_size9.smt |
unknown |
430.9 |
yes |
| SEQ/SEQ010_size9.smt |
unknown |
347.8 |
yes |
| SEQ/SEQ011_size2.smt |
unsat |
0.1 |
yes |
| SEQ/SEQ011_size4.smt |
sat |
119.2 |
yes |
| SEQ/SEQ013_size4.smt |
unsat |
2.8 |
yes |
| SEQ/SEQ013_size6.smt |
sat |
7.6 |
yes |
| SEQ/SEQ015_size2.smt |
unsat |
0.0 |
yes |
| SEQ/SEQ015_size4.smt |
sat |
17.5 |
yes |
| SEQ/SEQ017_size4.smt |
unsat |
0.5 |
yes |
| SEQ/SEQ017_size5.smt |
unsat |
3.8 |
yes |
| SEQ/SEQ017_size6.smt |
sat |
2.1 |
yes |
| SEQ/SEQ018_size7.smt |
unsat |
136.4 |
yes |
| SEQ/SEQ018_size8.smt |
sat |
2.3 |
yes |
| SEQ/SEQ019_size4.smt |
unsat |
0.5 |
yes |
| SEQ/SEQ019_size6.smt |
sat |
0.7 |
yes |
| SEQ/SEQ020_size3.smt |
unsat |
0.5 |
yes |
| SEQ/SEQ020_size4.smt |
sat |
252.8 |
yes |
| SEQ/SEQ026_size4.smt |
unsat |
81.8 |
yes |
| SEQ/SEQ026_size5.smt |
unknown |
577.9 |
yes |
| SEQ/SEQ026_size6.smt |
unknown |
562.4 |
yes |
| SEQ/SEQ026_size7.smt |
unknown |
492.9 |
yes |
| SEQ/SEQ032_size3.smt |
unsat |
1.1 |
yes |
| SEQ/SEQ032_size4.smt |
sat |
2.0 |
yes |
| SEQ/SEQ035_size4.smt |
unsat |
4.2 |
yes |
| SEQ/SEQ035_size6.smt |
unknown |
455.2 |
yes |
| SEQ/SEQ038_size6.smt |
unsat |
35.7 |
yes |
| SEQ/SEQ038_size8.smt |
unknown |
376.1 |
yes |
| SEQ/SEQ038_size9.smt |
unknown |
428.6 |
yes |
| SEQ/SEQ042_size2.smt |
unsat |
0.0 |
yes |
| SEQ/SEQ042_size4.smt |
sat |
1.0 |
yes |
| SEQ/SEQ050_size2.smt |
unsat |
0.0 |
yes |
| SEQ/SEQ050_size4.smt |
sat |
0.4 |
yes |
Last modified: Tue 17 Feb 2015 15:02 UTC