20231117-c_inference Benchmarks

Family
Namec_inference
Generation Date2023-11-17
First Occurrence2024-07-22
Benchmarks80

Benchmarks

QF_LIA • Charts • Solver Isomap
40_40_78_12_sat.smt2
50_50_45_4_sat.smt2
30_30_18_2_sat.smt2
30_30_18_8_sat.smt2
40_40_15_9_unsat.smt2
50_50_45_6_sat.smt2
50_50_74_13_sat.smt2
50_50_12_10_sat.smt2
30_30_18_15_sat.smt2
30_30_18_3_sat.smt2
40_40_78_14_unsat.smt2
100_100_36_15_sat.smt2
70_70_6_4_sat.smt2
100_100_78_15_sat.smt2
60_60_90_20_sat.smt2
90_90_11_14_sat.smt2
80_80_75_4_sat.smt2
50_50_53_1_sat.smt2
30_30_18_12_sat.smt2
70_70_68_2_sat.smt2
100_100_20_16_sat.smt2
50_50_74_6_sat.smt2
80_80_52_5_sat.smt2
90_90_47_14_sat.smt2
90_90_47_8_sat.smt2
50_50_80_12_sat.smt2
60_60_8_2_sat.smt2
40_40_11_3_sat.smt2
50_50_81_19_sat.smt2
100_100_20_6_sat.smt2
90_90_58_15_sat.smt2
60_60_46_15_sat.smt2
40_40_58_4_unsat.smt2
100_100_20_11_sat.smt2
40_40_78_5_sat.smt2
70_70_96_13_unsat.smt2
60_60_90_13_sat.smt2
80_80_27_16_sat.smt2
30_30_18_1_unsat.smt2
40_40_11_7_unsat.smt2
40_40_78_15_sat.smt2
80_80_27_17_sat.smt2
80_80_71_17_unsat.smt2
60_60_90_15_sat.smt2
70_70_96_3_sat.smt2
30_30_82_6_sat.smt2
70_70_96_12_sat.smt2
30_30_86_7_sat.smt2
40_40_11_5_unsat.smt2
30_30_18_20_sat.smt2
50_50_45_12_sat.smt2
60_60_90_17_sat.smt2
90_90_47_12_sat.smt2
60_60_46_4_sat.smt2
70_70_68_7_sat.smt2
80_80_27_7_sat.smt2
70_70_68_13_sat.smt2
60_60_46_1_sat.smt2
90_90_47_16_sat.smt2
80_80_75_3_unsat.smt2
40_40_11_12_sat.smt2
50_50_12_14_sat.smt2
100_100_20_1_sat.smt2
80_80_38_19_unsat.smt2
30_30_18_5_sat.smt2
70_70_80_2_unsat.smt2
60_60_46_17_unsat.smt2
60_60_46_20_sat.smt2
70_70_96_20_sat.smt2
100_100_89_19_unsat.smt2
70_70_80_13_sat.smt2
90_90_47_1_sat.smt2
100_100_20_12_sat.smt2
80_80_52_9_unsat.smt2
100_100_47_17_sat.smt2
80_80_38_10_sat.smt2
100_100_47_5_sat.smt2
90_90_87_10_unsat.smt2
90_90_87_12_unsat.smt2
90_90_87_5_unsat.smt2