Detailed results for HTP at QF_UFLIA
| Benchmark | Answer | Time | Correct? |
|---|
| check/bignum_lia1.smt |
unsat |
0.0 |
yes |
| check/bignum_lia2.smt |
sat |
0.0 |
yes |
| wisas/xs_10_10.smt |
sat |
1.1 |
yes |
| wisas/xs_10_20.smt |
unsat |
0.7 |
yes |
| wisas/xs_11_11.smt |
sat |
1.6 |
yes |
| wisas/xs_11_16.smt |
sat |
1.8 |
yes |
| wisas/xs_11_21.smt |
unsat |
1.1 |
yes |
| wisas/xs_12_12.smt |
sat |
1.6 |
yes |
| wisas/xs_12_17.smt |
sat |
2.7 |
yes |
| wisas/xs_12_22.smt |
unsat |
1.6 |
yes |
| wisas/xs_13_13.smt |
sat |
3.2 |
yes |
| wisas/xs_13_18.smt |
sat |
4.6 |
yes |
| wisas/xs_13_23.smt |
unsat |
2.4 |
yes |
| wisas/xs_14_14.smt |
sat |
3.2 |
yes |
| wisas/xs_14_19.smt |
sat |
6.8 |
yes |
| wisas/xs_14_24.smt |
sat |
6.3 |
yes |
| wisas/xs_15_15.smt |
sat |
4.0 |
yes |
| wisas/xs_15_25.smt |
unsat |
10.0 |
yes |
| wisas/xs_16_16.smt |
sat |
5.5 |
yes |
| wisas/xs_16_26.smt |
sat |
17.7 |
yes |
| wisas/xs_16_36.smt |
unsat |
28.0 |
yes |
| wisas/xs_17_17.smt |
sat |
11.1 |
yes |
| wisas/xs_17_27.smt |
sat |
17.7 |
yes |
| wisas/xs_17_37.smt |
unsat |
81.7 |
yes |
| wisas/xs_18_18.smt |
sat |
18.0 |
yes |
| wisas/xs_18_28.smt |
sat |
301.6 |
yes |
| wisas/xs_18_38.smt |
unsat |
241.8 |
yes |
| wisas/xs_19_19.smt |
sat |
9.5 |
yes |
| wisas/xs_19_29.smt |
sat |
489.8 |
yes |
| wisas/xs_19_39.smt |
timeout |
1206.7 |
yes |
| wisas/xs_20_20.smt |
sat |
11.4 |
yes |
| wisas/xs_20_30.smt |
sat |
231.9 |
yes |
| wisas/xs_20_40.smt |
timeout |
1209.1 |
yes |
| wisas/xs_21_21.smt |
sat |
18.2 |
yes |
| wisas/xs_21_31.smt |
sat |
94.9 |
yes |
| wisas/xs_21_41.smt |
timeout |
1207.1 |
yes |
| wisas/xs_22_22.smt |
sat |
20.2 |
yes |
| wisas/xs_22_32.smt |
sat |
98.2 |
yes |
| wisas/xs_22_42.smt |
timeout |
1206.3 |
yes |
| wisas/xs_23_33.smt |
sat |
234.5 |
yes |
| wisas/xs_23_43.smt |
timeout |
1208.9 |
yes |
| wisas/xs_24_24.smt |
sat |
35.1 |
yes |
| wisas/xs_24_34.smt |
sat |
159.4 |
yes |
| wisas/xs_24_44.smt |
timeout |
1205.8 |
yes |
| wisas/xs_25_25.smt |
sat |
50.7 |
yes |
| wisas/xs_25_35.smt |
sat |
305.1 |
yes |
| wisas/xs_25_45.smt |
timeout |
1207.1 |
yes |
| wisas/xs_26_36.smt |
sat |
435.5 |
yes |
| wisas/xs_26_46.smt |
timeout |
1208.2 |
yes |
| wisas/xs_27_27.smt |
sat |
50.9 |
yes |
| wisas/xs_27_37.smt |
sat |
883.9 |
yes |
| wisas/xs_27_47.smt |
timeout |
1207.9 |
yes |
| wisas/xs_28_28.smt |
sat |
136.7 |
yes |
| wisas/xs_28_38.smt |
timeout |
1208.1 |
yes |
| wisas/xs_28_48.smt |
timeout |
1208.1 |
yes |
| wisas/xs_29_29.smt |
sat |
116.4 |
yes |
| wisas/xs_29_39.smt |
timeout |
1207.8 |
yes |
| wisas/xs_29_49.smt |
timeout |
1208.3 |
yes |
| wisas/xs_30_30.smt |
sat |
82.1 |
yes |
| wisas/xs_30_40.smt |
sat |
326.7 |
yes |
| wisas/xs_30_50.smt |
timeout |
1207.9 |
yes |
| wisas/xs_31_41.smt |
timeout |
1207.9 |
yes |
| wisas/xs_31_51.smt |
timeout |
1208.0 |
yes |
| wisas/xs_32_32.smt |
sat |
104.9 |
yes |
| wisas/xs_32_42.smt |
sat |
378.9 |
yes |
| wisas/xs_33_43.smt |
timeout |
1208.1 |
yes |
| wisas/xs_33_53.smt |
timeout |
1207.5 |
yes |
| wisas/xs_34_34.smt |
sat |
1161.7 |
yes |
| wisas/xs_34_44.smt |
timeout |
1207.9 |
yes |
| wisas/xs_34_54.smt |
timeout |
1208.0 |
yes |
| wisas/xs_35_35.smt |
sat |
258.7 |
yes |
| wisas/xs_35_45.smt |
timeout |
1207.9 |
yes |
| wisas/xs_36_36.smt |
sat |
187.5 |
yes |
| wisas/xs_36_46.smt |
sat |
907.5 |
yes |
| wisas/xs_36_56.smt |
timeout |
1208.3 |
yes |
| wisas/xs_37_37.smt |
timeout |
1208.0 |
yes |
| wisas/xs_37_47.smt |
timeout |
1208.2 |
yes |
| wisas/xs_37_57.smt |
timeout |
1207.5 |
yes |
| wisas/xs_38_38.smt |
sat |
920.4 |
yes |
| wisas/xs_38_48.smt |
timeout |
1208.1 |
yes |
| wisas/xs_38_58.smt |
timeout |
1208.0 |
yes |
| wisas/xs_39_39.smt |
sat |
1163.3 |
yes |
| wisas/xs_39_49.smt |
timeout |
1208.0 |
yes |
| wisas/xs_39_59.smt |
timeout |
1207.6 |
yes |
| wisas/xs_40_40.smt |
sat |
745.4 |
yes |
| wisas/xs_40_50.smt |
timeout |
1208.2 |
yes |
| wisas/xs_40_60.smt |
timeout |
1208.2 |
yes |
| wisas/xs_5_10.smt |
unsat |
0.2 |
yes |
| wisas/xs_5_15.smt |
unsat |
0.2 |
yes |
| wisas/xs_5_5.smt |
unsat |
0.2 |
yes |
| wisas/xs_6_11.smt |
unsat |
0.2 |
yes |
| wisas/xs_6_16.smt |
unsat |
0.2 |
yes |
| wisas/xs_6_6.smt |
unsat |
0.2 |
yes |
| wisas/xs_7_12.smt |
unsat |
0.3 |
yes |
| wisas/xs_7_17.smt |
unsat |
0.3 |
yes |
| wisas/xs_7_7.smt |
sat |
0.4 |
yes |
| wisas/xs_8_13.smt |
unsat |
0.4 |
yes |
| wisas/xs_8_18.smt |
unsat |
0.4 |
yes |
| wisas/xs_8_8.smt |
sat |
0.6 |
yes |
| wisas/xs_9_14.smt |
unsat |
0.5 |
yes |
| wisas/xs_9_19.smt |
unsat |
0.5 |
yes |
| wisas/xs_9_9.smt |
sat |
0.8 |
yes |
Last modified: Tue 17 Feb 2015 15:02 UTC