Detailed results for CVC at QF_UF
| Benchmark | Answer | Time | Correct? |
|---|
| NEQ/NEQ004_size6.smt |
unknown |
585.7 |
yes |
| NEQ/NEQ004_size7.smt |
unknown |
611.5 |
yes |
| NEQ/NEQ006_size5.smt |
unknown |
745.4 |
yes |
| NEQ/NEQ006_size6.smt |
unknown |
861.0 |
yes |
| NEQ/NEQ015_size3.smt |
unsat |
26.7 |
yes |
| NEQ/NEQ015_size4.smt |
unsat |
17.8 |
yes |
| NEQ/NEQ015_size5.smt |
unsat |
266.9 |
yes |
| NEQ/NEQ015_size6.smt |
unsat |
367.5 |
yes |
| NEQ/NEQ016_size7.smt |
timeout |
1207.9 |
yes |
| NEQ/NEQ016_size8.smt |
timeout |
1208.2 |
yes |
| NEQ/NEQ023_size4.smt |
unsat |
117.4 |
yes |
| NEQ/NEQ023_size5.smt |
unsat |
221.7 |
yes |
| NEQ/NEQ023_size6.smt |
unknown |
599.0 |
yes |
| NEQ/NEQ023_size7.smt |
unknown |
659.2 |
yes |
| NEQ/NEQ027_size11.smt |
unknown |
897.5 |
yes |
| NEQ/NEQ027_size9.smt |
unknown |
832.0 |
yes |
| NEQ/NEQ031_size10.smt |
unknown |
837.0 |
yes |
| NEQ/NEQ031_size8.smt |
unknown |
827.7 |
yes |
| NEQ/NEQ031_size9.smt |
unknown |
811.7 |
yes |
| NEQ/NEQ032_size4.smt |
unknown |
668.5 |
yes |
| NEQ/NEQ032_size5.smt |
timeout |
1207.9 |
yes |
| NEQ/NEQ032_size6.smt |
unknown |
868.2 |
yes |
| NEQ/NEQ033_size6.smt |
timeout |
1207.9 |
yes |
| NEQ/NEQ041_size6.smt |
unsat |
86.1 |
yes |
| NEQ/NEQ041_size8.smt |
unknown |
750.2 |
yes |
| NEQ/NEQ046_size3.smt |
unsat |
2.4 |
yes |
| NEQ/NEQ046_size6.smt |
unsat |
643.5 |
yes |
| NEQ/NEQ048_size7.smt |
timeout |
1207.8 |
yes |
| NEQ/NEQ048_size9.smt |
timeout |
1208.0 |
yes |
| PEQ/PEQ002_size6.smt |
timeout |
1208.2 |
yes |
| PEQ/PEQ002_size7.smt |
timeout |
1207.7 |
yes |
| PEQ/PEQ002_size8.smt |
timeout |
1208.0 |
yes |
| PEQ/PEQ003_size10.smt |
timeout |
1208.1 |
yes |
| PEQ/PEQ003_size7.smt |
timeout |
1208.3 |
yes |
| PEQ/PEQ003_size8.smt |
timeout |
1207.9 |
yes |
| PEQ/PEQ003_size9.smt |
timeout |
1208.0 |
yes |
| PEQ/PEQ004_size6.smt |
unsat |
236.2 |
yes |
| PEQ/PEQ004_size8.smt |
timeout |
1207.9 |
yes |
| PEQ/PEQ004_size9.smt |
timeout |
1208.1 |
yes |
| PEQ/PEQ010_size6.smt |
timeout |
1208.0 |
yes |
| PEQ/PEQ010_size7.smt |
unsat |
123.2 |
yes |
| PEQ/PEQ011_size6.smt |
unsat |
709.2 |
yes |
| PEQ/PEQ011_size7.smt |
timeout |
1208.2 |
yes |
| PEQ/PEQ011_size8.smt |
timeout |
1207.9 |
yes |
| PEQ/PEQ012_size5.smt |
unsat |
413.7 |
yes |
| PEQ/PEQ013_size6.smt |
timeout |
1208.1 |
yes |
| PEQ/PEQ013_size7.smt |
timeout |
1208.0 |
yes |
| PEQ/PEQ014_size10.smt |
timeout |
1207.9 |
yes |
| PEQ/PEQ014_size11.smt |
timeout |
1208.3 |
yes |
| PEQ/PEQ014_size9.smt |
timeout |
1208.0 |
yes |
| PEQ/PEQ016_size5.smt |
timeout |
1208.0 |
yes |
| PEQ/PEQ016_size6.smt |
timeout |
1208.0 |
yes |
| PEQ/PEQ016_size7.smt |
timeout |
1208.0 |
yes |
| PEQ/PEQ018_size4.smt |
unsat |
20.2 |
yes |
| PEQ/PEQ018_size5.smt |
unsat |
527.2 |
yes |
| PEQ/PEQ018_size6.smt |
timeout |
1207.9 |
yes |
| PEQ/PEQ018_size7.smt |
timeout |
1207.8 |
yes |
| PEQ/PEQ019_size4.smt |
unsat |
2.1 |
yes |
| PEQ/PEQ019_size7.smt |
timeout |
1208.2 |
yes |
| PEQ/PEQ020_size5.smt |
unsat |
31.0 |
yes |
| PEQ/PEQ020_size6.smt |
timeout |
1208.1 |
yes |
| PEQ/PEQ020_size7.smt |
timeout |
1208.1 |
yes |
| SEQ/SEQ004_size7.smt |
sat |
0.9 |
yes |
| SEQ/SEQ005_size7.smt |
unsat |
918.3 |
yes |
| SEQ/SEQ005_size8.smt |
timeout |
1208.0 |
yes |
| SEQ/SEQ005_size9.smt |
timeout |
1208.2 |
yes |
| SEQ/SEQ009_size10.smt |
timeout |
1208.0 |
yes |
| SEQ/SEQ009_size7.smt |
timeout |
1207.9 |
yes |
| SEQ/SEQ009_size9.smt |
timeout |
1208.1 |
yes |
| SEQ/SEQ010_size9.smt |
timeout |
1208.0 |
yes |
| SEQ/SEQ011_size2.smt |
unsat |
0.2 |
yes |
| SEQ/SEQ011_size4.smt |
sat |
66.2 |
yes |
| SEQ/SEQ013_size4.smt |
unsat |
11.9 |
yes |
| SEQ/SEQ013_size6.smt |
sat |
8.9 |
yes |
| SEQ/SEQ015_size2.smt |
unsat |
0.1 |
yes |
| SEQ/SEQ015_size4.smt |
sat |
75.9 |
yes |
| SEQ/SEQ017_size4.smt |
unsat |
3.2 |
yes |
| SEQ/SEQ017_size5.smt |
unsat |
45.5 |
yes |
| SEQ/SEQ017_size6.smt |
sat |
10.7 |
yes |
| SEQ/SEQ018_size7.smt |
unsat |
777.8 |
yes |
| SEQ/SEQ018_size8.smt |
sat |
9.8 |
yes |
| SEQ/SEQ019_size4.smt |
unsat |
2.5 |
yes |
| SEQ/SEQ019_size6.smt |
sat |
8.3 |
yes |
| SEQ/SEQ020_size3.smt |
unsat |
1.1 |
yes |
| SEQ/SEQ020_size4.smt |
sat |
14.7 |
yes |
| SEQ/SEQ026_size4.smt |
unsat |
662.6 |
yes |
| SEQ/SEQ026_size5.smt |
timeout |
1207.9 |
yes |
| SEQ/SEQ026_size6.smt |
timeout |
1208.0 |
yes |
| SEQ/SEQ026_size7.smt |
timeout |
1207.9 |
yes |
| SEQ/SEQ032_size3.smt |
unsat |
3.9 |
yes |
| SEQ/SEQ032_size4.smt |
sat |
4.5 |
yes |
| SEQ/SEQ035_size4.smt |
unsat |
13.4 |
yes |
| SEQ/SEQ035_size6.smt |
timeout |
1207.8 |
yes |
| SEQ/SEQ038_size6.smt |
unsat |
347.6 |
yes |
| SEQ/SEQ038_size8.smt |
timeout |
1208.0 |
yes |
| SEQ/SEQ038_size9.smt |
timeout |
1208.1 |
yes |
| SEQ/SEQ042_size2.smt |
unsat |
0.2 |
yes |
| SEQ/SEQ042_size4.smt |
sat |
2.8 |
yes |
| SEQ/SEQ050_size2.smt |
unsat |
0.1 |
yes |
| SEQ/SEQ050_size4.smt |
sat |
1.3 |
yes |
Last modified: Tue 17 Feb 2015 15:01 UTC