wisas Benchmarks

Benchmarks

QF_UFLIA • Charts • Solver Isomap
xs_6_11.smt2
xs_6_16.smt2
xs_8_18.smt2
xs_20_40.smt2
xs_7_17.smt2
xs_26_36.smt2
xs_39_49.smt2
xs_13_18.smt2
xs_9_14.smt2
xs_36_56.smt2
xs_37_57.smt2
xs_31_31.smt2
xs_5_10.smt2
xs_19_19.smt2
xs_7_7.smt2
xs_35_45.smt2
xs_36_36.smt2
xs_8_13.smt2
xs_20_30.smt2
xs_25_35.smt2
xs_29_49.smt2
xs_19_29.smt2
xs_10_20.smt2
xs_11_11.smt2
xs_16_36.smt2
xs_18_28.smt2
xs_12_17.smt2
xs_15_20.smt2
xs_6_6.smt2
xs_29_29.smt2
xs_16_16.smt2
xs_17_37.smt2
xs_21_21.smt2
xs_23_43.smt2
xs_15_15.smt2
xs_38_48.smt2
xs_30_30.smt2
xs_27_37.smt2
xs_38_38.smt2
xs_27_47.smt2
xs_20_20.smt2
xs_10_10.smt2
xs_33_43.smt2
xs_13_23.smt2
xs_34_54.smt2
xs_30_40.smt2
xs_32_52.smt2
xs_28_28.smt2
xs_11_16.smt2
xs_35_55.smt2
xs_25_45.smt2
xs_30_50.smt2
xs_17_27.smt2
xs_22_42.smt2
xs_38_58.smt2
xs_39_39.smt2
xs_5_15.smt2
xs_36_46.smt2
xs_12_12.smt2
xs_14_14.smt2
xs_9_9.smt2
xs_8_8.smt2
xs_18_38.smt2
xs_23_33.smt2
xs_37_47.smt2
xs_22_22.smt2
xs_26_46.smt2
xs_9_19.smt2
xs_22_32.smt2
xs_40_50.smt2
xs_35_35.smt2
xs_31_41.smt2
xs_24_44.smt2
xs_29_39.smt2
xs_37_37.smt2
xs_5_5.smt2
xs_18_18.smt2
xs_14_19.smt2
xs_12_22.smt2
xs_27_27.smt2
xs_28_38.smt2
xs_28_48.smt2
xs_31_51.smt2
xs_32_42.smt2
xs_25_25.smt2
xs_39_59.smt2
xs_24_24.smt2
xs_40_60.smt2
xs_23_23.smt2
xs_14_24.smt2
xs_34_34.smt2
xs_21_41.smt2
xs_33_53.smt2
xs_15_25.smt2
xs_17_17.smt2
xs_16_26.smt2
xs_24_34.smt2
xs_34_44.smt2
xs_7_12.smt2
xs_19_39.smt2
xs_26_26.smt2
xs_21_31.smt2
xs_33_33.smt2
xs_11_21.smt2
xs_10_15.smt2
xs_13_13.smt2
xs_32_32.smt2
xs_40_40.smt2