Home • Intro • Rules • Tools • Bench • Participants • Results • Org • SMT-LIB

Detailed results for Yices 1.0 at QF_UFLIA

BenchmarkAnswerTimeCorrect?
check/bignum_lia1.smt unsat 0.0 yes
check/bignum_lia2.smt sat 0.0 yes
wisas/xs_10_10.smt sat 0.0 yes
wisas/xs_10_20.smt unsat 0.0 yes
wisas/xs_11_11.smt sat 0.0 yes
wisas/xs_11_16.smt sat 0.0 yes
wisas/xs_11_21.smt unsat 0.0 yes
wisas/xs_12_12.smt sat 0.0 yes
wisas/xs_12_17.smt sat 0.0 yes
wisas/xs_12_22.smt unsat 0.1 yes
wisas/xs_13_13.smt sat 0.0 yes
wisas/xs_13_18.smt sat 0.0 yes
wisas/xs_13_23.smt unsat 0.1 yes
wisas/xs_14_14.smt sat 0.0 yes
wisas/xs_14_19.smt sat 0.0 yes
wisas/xs_14_24.smt sat 0.0 yes
wisas/xs_15_15.smt sat 0.0 yes
wisas/xs_15_25.smt unsat 0.5 yes
wisas/xs_16_16.smt sat 0.0 yes
wisas/xs_16_26.smt sat 0.0 yes
wisas/xs_16_36.smt unsat 0.6 yes
wisas/xs_17_17.smt sat 0.0 yes
wisas/xs_17_27.smt sat 0.1 yes
wisas/xs_17_37.smt unsat 0.7 yes
wisas/xs_18_18.smt sat 0.0 yes
wisas/xs_18_28.smt sat 0.0 yes
wisas/xs_18_38.smt unsat 2.3 yes
wisas/xs_19_19.smt sat 0.0 yes
wisas/xs_19_29.smt sat 0.1 yes
wisas/xs_19_39.smt unsat 3.2 yes
wisas/xs_20_20.smt sat 0.0 yes
wisas/xs_20_30.smt sat 0.0 yes
wisas/xs_20_40.smt unsat 4.9 yes
wisas/xs_21_21.smt sat 0.0 yes
wisas/xs_21_31.smt sat 0.0 yes
wisas/xs_21_41.smt unsat 7.3 yes
wisas/xs_22_22.smt sat 0.0 yes
wisas/xs_22_32.smt sat 0.0 yes
wisas/xs_22_42.smt unsat 16.5 yes
wisas/xs_23_33.smt sat 0.0 yes
wisas/xs_23_43.smt unsat 25.7 yes
wisas/xs_24_24.smt sat 0.1 yes
wisas/xs_24_34.smt sat 0.1 yes
wisas/xs_24_44.smt sat 0.2 yes
wisas/xs_25_25.smt sat 0.0 yes
wisas/xs_25_35.smt sat 0.1 yes
wisas/xs_25_45.smt unsat 91.9 yes
wisas/xs_26_36.smt sat 0.1 yes
wisas/xs_26_46.smt sat 0.3 yes
wisas/xs_27_27.smt sat 0.0 yes
wisas/xs_27_37.smt sat 0.1 yes
wisas/xs_27_47.smt sat 0.6 yes
wisas/xs_28_28.smt sat 0.1 yes
wisas/xs_28_38.smt sat 0.1 yes
wisas/xs_28_48.smt sat 0.4 yes
wisas/xs_29_29.smt sat 0.0 yes
wisas/xs_29_39.smt sat 0.0 yes
wisas/xs_29_49.smt sat 0.5 yes
wisas/xs_30_30.smt sat 0.1 yes
wisas/xs_30_40.smt sat 0.1 yes
wisas/xs_30_50.smt sat 0.1 yes
wisas/xs_31_41.smt sat 0.1 yes
wisas/xs_31_51.smt sat 0.1 yes
wisas/xs_32_32.smt sat 0.1 yes
wisas/xs_32_42.smt sat 0.1 yes
wisas/xs_33_43.smt sat 0.0 yes
wisas/xs_33_53.smt sat 0.1 yes
wisas/xs_34_34.smt sat 0.2 yes
wisas/xs_34_44.smt sat 0.2 yes
wisas/xs_34_54.smt sat 0.1 yes
wisas/xs_35_35.smt sat 0.2 yes
wisas/xs_35_45.smt sat 0.1 yes
wisas/xs_36_36.smt sat 0.1 yes
wisas/xs_36_46.smt sat 0.1 yes
wisas/xs_36_56.smt sat 0.1 yes
wisas/xs_37_37.smt sat 0.1 yes
wisas/xs_37_47.smt sat 0.1 yes
wisas/xs_37_57.smt sat 0.1 yes
wisas/xs_38_38.smt sat 0.1 yes
wisas/xs_38_48.smt sat 0.1 yes
wisas/xs_38_58.smt sat 0.1 yes
wisas/xs_39_39.smt sat 0.1 yes
wisas/xs_39_49.smt sat 0.1 yes
wisas/xs_39_59.smt sat 0.1 yes
wisas/xs_40_40.smt sat 0.1 yes
wisas/xs_40_50.smt sat 0.1 yes
wisas/xs_40_60.smt sat 0.1 yes
wisas/xs_5_10.smt unsat 0.0 yes
wisas/xs_5_15.smt unsat 0.0 yes
wisas/xs_5_5.smt unsat 0.0 yes
wisas/xs_6_11.smt unsat 0.0 yes
wisas/xs_6_16.smt unsat 0.0 yes
wisas/xs_6_6.smt unsat 0.0 yes
wisas/xs_7_12.smt unsat 0.0 yes
wisas/xs_7_17.smt unsat 0.0 yes
wisas/xs_7_7.smt sat 0.0 yes
wisas/xs_8_13.smt unsat 0.0 yes
wisas/xs_8_18.smt unsat 0.0 yes
wisas/xs_8_8.smt sat 0.0 yes
wisas/xs_9_14.smt unsat 0.0 yes
wisas/xs_9_19.smt unsat 0.0 yes
wisas/xs_9_9.smt sat 0.0 yes
Home • Intro • Rules • Tools • Bench • Participants • Results • Org • SMT-LIB

Last modified: Tue 17 Feb 2015 15:01 UTC