 result time real space tlim rlim slim
10pipe_q0_k 20 517.56 520.37 161.0 311040000 5000 15000
15pipe_q0_k 1 4976.82 5001.03 666.0 311040000 5000 15000
16_1 1 4980.04 5001.03 124.0 311040000 5000 15000
170223547 10 43.02 43.25 26.0 311040000 5000 15000
17_0 1 4977.65 5001.03 150.0 311040000 5000 15000
18_1 1 4977.59 5001.03 140.0 311040000 5000 15000
19_2 1 4977.57 5001.03 130.0 311040000 5000 15000
20_2 1 4978.30 5001.03 85.0 311040000 5000 15000
21_1 1 4978.93 5001.03 102.0 311040000 5000 15000
22_1 1 4973.18 5001.04 98.0 311040000 5000 15000
23_2 1 4978.08 5001.03 145.0 311040000 5000 15000
24_0 1 4981.37 5001.03 149.0 311040000 5000 15000
25_2 1 4978.22 5001.03 134.0 311040000 5000 15000
26_1 1 4978.82 5001.03 146.0 311040000 5000 15000
27_1 1 4979.67 5001.03 143.0 311040000 5000 15000
28_2 1 4979.51 5001.03 136.0 311040000 5000 15000
29_1 1 4976.48 5001.03 140.0 311040000 5000 15000
30_2 1 4979.46 5001.03 151.0 311040000 5000 15000
31_1 1 4985.11 5001.03 154.0 311040000 5000 15000
32_0 1 4978.83 5001.03 163.0 311040000 5000 15000
3col120_5_2.shuffled 10 0.20 0.22 4.0 311040000 5000 15000
46bits_11.dimacs 10 178.72 179.48 29.0 311040000 5000 15000
5col100_15_6.shuffled 20 2.78 2.87 6.0 311040000 5000 15000
6g_6color_366_050_04 1 4976.35 5001.03 306.0 311040000 5000 15000
6s165 20 0.30 0.40 5.0 311040000 5000 15000
6s166 20 1.59 1.68 7.0 311040000 5000 15000
6s20-sc2013 20 242.18 243.13 48.0 311040000 5000 15000
9vliw_bp_mc.shuffled 20 8.35 8.46 22.0 311040000 5000 15000
BZ2File_write_11 20 2176.97 2186.98 100.0 311040000 5000 15000
C208_FA_UT_3254 20 0.00 0.01 0.0 311040000 5000 15000
CNFPlus_from_fp_12 20 2689.88 2702.38 130.0 311040000 5000 15000
CNF_to_alien_11 20 2310.33 2321.84 93.0 311040000 5000 15000
CNF_to_alien_12 1 4979.39 5001.03 160.0 311040000 5000 15000
CNP-5-1100 10 0.90 1.00 15.0 311040000 5000 15000
ContextModel_output_6_3_8.bul_.dimacs 10 1542.43 1550.18 81.0 311040000 5000 15000
ContextModel_output_6_4_6.bul_.dimacs 1 4978.22 5001.03 125.0 311040000 5000 15000
ContextModel_output_6_5_6.bul_.dimacs 10 1337.46 1343.32 89.0 311040000 5000 15000
ContextModel_output_7_3_9.bul_.dimacs 10 135.81 136.48 57.0 311040000 5000 15000
ContextModel_output_8_4_10.bul.dimacs 1 4980.26 5001.03 180.0 311040000 5000 15000
ContextModel_output_8_4_8.bul_.dimacs 10 1283.05 1288.31 111.0 311040000 5000 15000
ContextModel_output_8_4_9.bul.dimacs 1 4982.35 5001.03 155.0 311040000 5000 15000
DLTM_twitter690_74_16 10 22.21 22.40 37.0 311040000 5000 15000
DecompressReader_read_12 1 4979.61 5001.03 142.0 311040000 5000 15000
DivS_568_11.cnf.sanitized 10 11.93 12.10 85.0 311040000 5000 15000
DivS_862_11.cnf.sanitized 10 17.93 18.04 129.0 311040000 5000 15000
DivS_942_11.cnf.sanitized 10 17.71 17.87 142.0 311040000 5000 15000
DivU_1520_10.cnf.sanitized 20 20.12 20.21 110.0 311040000 5000 15000
DivU_624_11.cnf.sanitized 20 13.06 13.17 93.0 311040000 5000 15000
ER_400_20_4.apx_1_DC-ST 20 166.07 166.92 40.0 311040000 5000 15000
ER_400_20_7.apx_1_DC-ST 20 295.13 296.40 39.0 311040000 5000 15000
ER_500_10_1.apx_1_DC-AD 1 4980.59 5001.03 146.0 311040000 5000 15000
ER_500_10_2.apx_1_DS-ST 1 4979.82 5001.03 126.0 311040000 5000 15000
ER_500_10_5.apx_2_DC-ST 1 4977.14 5001.03 129.0 311040000 5000 15000
ER_500_30_3.apx_2_DC-ST 20 339.22 340.67 75.0 311040000 5000 15000
FileObject_open_12 1 4982.14 5001.03 165.0 311040000 5000 15000
FileObject_open_13 1 4977.73 5001.03 151.0 311040000 5000 15000
Grain_no_init_ver1_out200_known_last105_0_u 20 234.43 235.50 35.0 311040000 5000 15000
GzipFile_close_11 20 1324.19 1330.12 89.0 311040000 5000 15000
IBM_FV_2004_rule_batch_1_31_1_SAT_dat.k40.debugged 20 198.69 199.53 29.0 311040000 5000 15000
LZMAFile___init___14 1 4980.59 5001.03 152.0 311040000 5000 15000
LZMAFile_write_12 1 4981.42 5001.03 142.0 311040000 5000 15000
PRP_100_150 10 569.94 572.75 1424.0 311040000 5000 15000
PRP_100_250 10 665.43 668.85 2435.0 311040000 5000 15000
PRP_100_300 10 407.63 409.03 2735.0 311040000 5000 15000
PRP_100_350 10 171.44 172.25 3333.0 311040000 5000 15000
PRP_100_400 1 4980.78 5001.03 3555.0 311040000 5000 15000
PRP_100_450 1 4980.60 5001.03 4307.0 311040000 5000 15000
PRP_100_500 10 3183.24 3197.46 4597.0 311040000 5000 15000
PRP_100_550 1 4979.37 5001.03 5057.0 311040000 5000 15000
PRP_100_600 1 4980.88 5001.03 5239.0 311040000 5000 15000
PRP_200_100 1 4979.72 5001.03 1850.0 311040000 5000 15000
PRP_20_40 10 1.99 2.06 77.0 311040000 5000 15000
PRP_20_50 10 14.63 14.80 102.0 311040000 5000 15000
PRP_30_35 10 14.54 14.62 109.0 311040000 5000 15000
PRP_30_36 10 6.37 6.48 113.0 311040000 5000 15000
PRP_30_37 10 2.89 2.92 118.0 311040000 5000 15000
PRP_30_38 10 14.13 14.30 116.0 311040000 5000 15000
PRP_30_39 10 5.07 5.21 126.0 311040000 5000 15000
PRP_30_40 10 2.98 3.05 124.0 311040000 5000 15000
PRP_30_41 10 18.72 18.81 126.0 311040000 5000 15000
PRP_40_40 10 13.05 13.15 160.0 311040000 5000 15000
REGRandom-K3-L3-Seed10 1 4980.12 5001.03 416.0 311040000 5000 15000
REGRandom-K4-L1-Seed5 20 305.03 306.27 164.0 311040000 5000 15000
REGRandom-K4-L2-Seed20 1 4982.69 5001.03 668.0 311040000 5000 15000
REGRandom-K4-L3-Seed15 1 4984.94 5001.04 1622.0 311040000 5000 15000
REGRandom-K4-L4-Seed10 1 4978.23 5001.03 5126.0 311040000 5000 15000
SAT_dat.k10 20 60.85 61.21 43.0 311040000 5000 15000
SC23_Timetable_C_473_E_45_Cl_32_D_6_T_50 1 4980.77 5001.03 289.0 311040000 5000 15000
SC23_Timetable_C_473_E_46_Cl_32_D_6_T_50 1 4980.69 5001.03 287.0 311040000 5000 15000
SC23_Timetable_C_473_E_49_Cl_32_D_6_T_50 10 16.93 17.10 148.0 311040000 5000 15000
SC23_Timetable_C_473_E_50_Cl_32_D_6_T_50 10 14.54 14.61 166.0 311040000 5000 15000
SC23_Timetable_C_473_E_52_Cl_32_D_6_T_50 10 47.40 47.67 179.0 311040000 5000 15000
SC23_Timetable_C_474_E_50_Cl_32_D_6_T_50 10 46.20 46.44 155.0 311040000 5000 15000
SC23_Timetable_C_476_E_50_Cl_32_D_6_T_50 10 35.06 35.28 156.0 311040000 5000 15000
SC23_Timetable_C_477_E_50_Cl_32_D_6_T_50 10 31.06 31.24 135.0 311040000 5000 15000
SC23_Timetable_C_478_E_50_Cl_32_D_6_T_50 10 118.26 118.82 169.0 311040000 5000 15000
SC23_Timetable_C_480_E_50_Cl_32_D_6_T_50 10 51.75 52.02 156.0 311040000 5000 15000
SC23_Timetable_C_481_E_49_Cl_32_D_6_T_50 10 174.22 175.08 172.0 311040000 5000 15000
SC23_Timetable_C_481_E_50_Cl_32_D_6_T_50 10 22.51 22.65 176.0 311040000 5000 15000
SC23_Timetable_C_481_E_51_Cl_32_D_6_T_50 10 76.00 76.35 163.0 311040000 5000 15000
SC23_Timetable_C_482_E_50_Cl_33_D_6_T_50 10 17.41 17.59 160.0 311040000 5000 15000
SC23_Timetable_C_483_E_50_Cl_33_D_6_T_50 10 184.39 185.21 163.0 311040000 5000 15000
SC23_Timetable_C_484_E_50_Cl_33_D_6_T_50 10 30.57 30.78 161.0 311040000 5000 15000
SC23_Timetable_C_486_E_50_Cl_33_D_6_T_50 10 76.97 77.42 156.0 311040000 5000 15000
SC23_Timetable_C_488_E_50_Cl_33_D_6_T_50 10 1557.49 1564.57 233.0 311040000 5000 15000
SC23_Timetable_C_490_E_50_Cl_33_D_6_T_50 10 188.31 189.12 170.0 311040000 5000 15000
SCPC-1000-18 10 119.79 120.34 53.0 311040000 5000 15000
SCPC-1000-20 10 227.29 228.30 80.0 311040000 5000 15000
SCPC-700-80 10 48.66 48.93 35.0 311040000 5000 15000
SCPC-700-81 10 135.98 136.53 47.0 311040000 5000 15000
SCPC-700-82 10 64.12 64.54 39.0 311040000 5000 15000
SCPC-700-84 10 145.45 146.18 49.0 311040000 5000 15000
SCPC-700-86 10 28.48 28.66 29.0 311040000 5000 15000
SCPC-700-87 10 24.01 24.17 33.0 311040000 5000 15000
SCPC-700-88 10 150.94 151.84 52.0 311040000 5000 15000
SCPC-800-40 10 9.96 10.07 30.0 311040000 5000 15000
SCPC-800-41 10 42.83 43.04 32.0 311040000 5000 15000
SCPC-800-42 10 9.16 9.29 25.0 311040000 5000 15000
SCPC-800-43 10 60.15 60.45 37.0 311040000 5000 15000
SCPC-800-44 10 48.90 49.12 34.0 311040000 5000 15000
SCPC-800-46 10 91.85 92.21 42.0 311040000 5000 15000
SCPC-800-49 10 24.21 24.35 28.0 311040000 5000 15000
SCPC-800-50 10 46.63 46.84 35.0 311040000 5000 15000
SCPC-900-27 10 435.74 437.80 75.0 311040000 5000 15000
SCPC-900-29 10 56.86 57.18 42.0 311040000 5000 15000
SCPC-900-31 10 1777.10 1784.63 121.0 311040000 5000 15000
SGI_30_70_27_50_3-dir.shuffled-as.sat03-169 20 1766.50 1773.08 104.0 311040000 5000 15000
Schur_160_5_d34 10 1843.15 1851.66 102.0 311040000 5000 15000
Schur_161_5_d40 20 430.33 432.39 53.0 311040000 5000 15000
StreamReader_readline_13 1 4979.80 5001.03 161.0 311040000 5000 15000
T87.2.0 20 245.31 246.54 1470.0 311040000 5000 15000
TableModel_output_6_3_8.bul_.dimacs 1 4979.55 5001.03 227.0 311040000 5000 15000
TableModel_output_6_4_6.bul_.dimacs 1 4980.69 5001.03 198.0 311040000 5000 15000
TableModel_output_7_3_9.bul_.dimacs 1 4979.57 5001.03 296.0 311040000 5000 15000
TableModel_output_8_3_10.bul_.dimacs 1 4977.75 5001.04 603.0 311040000 5000 15000
TableModel_output_8_4_7.bul_.dimacs 10 32.82 33.10 43.0 311040000 5000 15000
TableModel_output_8_4_8.bul_.dimacs 1 4980.13 5001.03 326.0 311040000 5000 15000
TableSymModel_output_6_3_8.bul_.dimacs 1 4981.17 5001.03 207.0 311040000 5000 15000
TableSymModel_output_6_4_6.bul_.dimacs 10 4475.10 4495.89 151.0 311040000 5000 15000
TableSymModel_output_6_5_6.bul_.dimacs 10 3048.17 3060.32 115.0 311040000 5000 15000
TableSymModel_output_7_3_9.bul_.dimacs 1 4976.66 5001.03 171.0 311040000 5000 15000
TableSymModel_output_8_3_10.bul_.dimacs 1 4975.78 5001.03 224.0 311040000 5000 15000
TableSymModel_output_8_4_7.bul_.dimacs 10 110.14 110.64 55.0 311040000 5000 15000
TableSymModel_output_8_4_8.bul_.dimacs 1 4977.79 5001.03 208.0 311040000 5000 15000
TimetableCNFEncoding_20_UNKNOWN 10 25.37 25.55 338.0 311040000 5000 15000
Urquhart-s3-b3.shuffled-as.sat03-1556 20 0.99 1.08 6.0 311040000 5000 15000
Urquhart-s5-b4.shuffled 1 4978.38 5001.03 114.0 311040000 5000 15000
WCNFPlus_from_fp_13 1 4979.77 5001.03 185.0 311040000 5000 15000
WCNFPlus_to_alien_14 1 4979.34 5001.03 183.0 311040000 5000 15000
WCNF_from_fp_13 1 4984.30 5001.03 156.0 311040000 5000 15000
WCNF_from_fp_14 1 4979.11 5001.03 173.0 311040000 5000 15000
WCNF_to_alien_14 1 4978.60 5001.03 194.0 311040000 5000 15000
WS_400_24_70_10.apx_1_DC-ST 20 610.54 613.02 45.0 311040000 5000 15000
WS_400_24_70_10.apx_2_DC-AD 20 538.81 541.12 73.0 311040000 5000 15000
WS_400_24_70_10.apx_2_DC-ST 20 387.51 389.30 32.0 311040000 5000 15000
WS_400_24_90_10.apx_1_DS-ST 1 4981.65 5001.03 104.0 311040000 5000 15000
WS_400_24_90_10.apx_2_DC-AD 20 1378.41 1384.65 87.0 311040000 5000 15000
WS_400_32_90_10.apx_1_DC-AD 1 4977.05 5001.03 110.0 311040000 5000 15000
WS_500_16_70_10.apx_2_DC-ST 20 180.58 181.39 26.0 311040000 5000 15000
WS_500_16_90_70.apx_2_DC-ST 20 122.36 123.00 28.0 311040000 5000 15000
WS_500_32_50_10.apx_2_DC-AD 1 4979.38 5001.03 121.0 311040000 5000 15000
aes_decry_2_rounds.debugged 20 108.55 109.04 103.0 311040000 5000 15000
asconhashv12_opt64_H10_M2-BPHqhzNzqi_m5_6_U14.c 20 210.26 210.93 76.0 311040000 5000 15000
asconhashv12_opt64_H10_M2-pH7B6T6Vub_m6_7.c 10 67.34 67.62 78.0 311040000 5000 15000
asconhashv12_opt64_H12_M2-CxLJidFX21oI_m3_6_U2.c 20 240.93 242.01 79.0 311040000 5000 15000
asconhashv12_opt64_H13_M2-NBRdIKEb8MS2W_m3_5.c 10 18.63 18.80 46.0 311040000 5000 15000
asconhashv12_opt64_H13_M2-axxJh7DAq767y_m4_5.c 10 227.38 228.25 78.0 311040000 5000 15000
asconhashv12_opt64_H15_M2-kwhXs2juqFoKAYA_m12_13_U16.c 20 114.25 114.73 53.0 311040000 5000 15000
asconhashv12_opt64_H4_M2-LOD9_m0_2_U19.c 20 98.13 98.55 50.0 311040000 5000 15000
asconhashv12_opt64_H4_M2-ldRf_m1_2_U21.c 20 98.22 98.63 53.0 311040000 5000 15000
asconhashv12_opt64_H5_M2-A8qZX_m0_3_U23.c 20 116.32 116.90 70.0 311040000 5000 15000
asconhashv12_opt64_H6_M2-4XKSMr_m1_3_U25.c 20 101.66 102.20 51.0 311040000 5000 15000
asconhashv12_opt64_H7_M2-K1zfAs8_m0_3_U5.c 20 100.15 100.56 51.0 311040000 5000 15000
asconhashv12_opt64_H7_M2-OrF8zEw_m2_4.c 10 30.06 30.30 51.0 311040000 5000 15000
asconhashv12_opt64_H7_M2-gHvzZOd_m3_4_U11.c 20 100.82 101.22 53.0 311040000 5000 15000
asconhashv12_opt64_H8_M2-1yQCyA0j_m2_6.c 10 175.32 176.04 77.0 311040000 5000 15000
asconhashv12_opt64_H8_M2-I61h2mH5_m2_6.c 10 27.24 27.48 60.0 311040000 5000 15000
asconhashv12_opt64_H8_M2-bL4cM6NJ_m4_5_U14.c 20 240.55 241.63 79.0 311040000 5000 15000
asconhashv12_opt64_H8_M2-nm2vUdkK_m3_5_U3.c 20 238.28 239.31 77.0 311040000 5000 15000
asconhashv12_opt64_H9_M2-Jdds95CIv_m1_5.c 10 13.95 14.06 50.0 311040000 5000 15000
asconhashv12_opt64_H9_M2-LSGb5PgEM_m2_7.c 10 54.28 54.52 74.0 311040000 5000 15000
asconhashv12_opt64_H9_M2-wNfQskE8G_m1_6_U0.c 20 251.09 252.03 76.0 311040000 5000 15000
baseballcover13with25_and3positions 20 995.42 999.92 1109.0 311040000 5000 15000
brent_13_0.1 20 269.03 270.42 41.0 311040000 5000 15000
brent_15_0.25 20 1032.06 1036.41 62.0 311040000 5000 15000
brent_51_0.07 10 0.50 0.52 28.0 311040000 5000 15000
brent_51_0.17 10 4.28 4.38 40.0 311040000 5000 15000
brent_51_0.28 10 7.66 7.76 27.0 311040000 5000 15000
brent_51_0.29 10 0.80 0.83 24.0 311040000 5000 15000
brent_63_0 10 1.29 1.34 40.0 311040000 5000 15000
brent_63_0.1 10 0.69 0.78 41.0 311040000 5000 15000
brent_63_0.15 10 5.87 5.93 37.0 311040000 5000 15000
brent_63_0.2 10 11.04 11.14 44.0 311040000 5000 15000
brent_63_0.22 10 4.28 4.36 39.0 311040000 5000 15000
brent_63_0.26 10 3.68 3.79 27.0 311040000 5000 15000
brent_65_0.1 10 0.40 0.50 41.0 311040000 5000 15000
brent_67_0.05 10 3.58 3.69 64.0 311040000 5000 15000
brent_69_0 10 0.50 0.58 41.0 311040000 5000 15000
brent_69_0.05 10 0.65 0.79 44.0 311040000 5000 15000
brent_69_0.3 10 3.69 3.80 29.0 311040000 5000 15000
brent_71_0.25 10 9.26 9.33 42.0 311040000 5000 15000
brent_9_0 20 460.48 462.68 64.0 311040000 5000 15000
c499_gr_2pin_w6.shuffled 10 0.10 0.15 6.0 311040000 5000 15000
c880_gr_rcs_w7.shuffled 10 0.00 0.05 0.0 311040000 5000 15000
cliquecoloring_n12_k9_c8 1 4980.45 5001.03 133.0 311040000 5000 15000
cliquecoloring_n14_k9_c8 1 4979.04 5001.03 190.0 311040000 5000 15000
cliquecoloring_n16_k7_c6 1 4980.59 5001.03 150.0 311040000 5000 15000
cliquecoloring_n18_k7_c6 1 4979.12 5001.03 187.0 311040000 5000 15000
clqcolor-08-06-07.shuffled-as.sat05-1257 20 1.19 1.24 7.0 311040000 5000 15000
collections_namedtuple_15 1 4980.91 5001.03 194.0 311040000 5000 15000
combined-crypto1-wff-seed-101-wffvars-500-cryptocplx-31-overlap-2 10 5.77 5.86 11.0 311040000 5000 15000
connm-ue-csp-sat-n600-d-0.02-s1022905465.used-as.sat04-951 10 0.00 0.07 0.0 311040000 5000 15000
crafted_n12_d6_c4_num4 20 107.60 108.18 556.0 311040000 5000 15000
em_11_3_4_cmp 10 688.88 691.89 149.0 311040000 5000 15000
eqspctbk14spwtcl14 1 4977.09 5001.03 99.0 311040000 5000 15000
ferry8_ks99i.renamed-as.sat05-4005 10 0.20 0.23 5.0 311040000 5000 15000
g2-T49.2.0 20 854.92 858.45 1918.0 311040000 5000 15000
g2-T99.2.0 20 2.99 3.04 870.0 311040000 5000 15000
g2-ak128astepbg2asisc 10 17.61 17.77 125.0 311040000 5000 15000
g2-slp-synthesis-aes-top29 10 7.86 7.96 45.0 311040000 5000 15000
gensys-icl002.shuffled-as.sat05-2714 20 1.99 2.06 9.0 311040000 5000 15000
goldberg03:hard_eq_check:i10mul.miter.used-as.sat04-333 20 8.97 9.08 14.0 311040000 5000 15000
goldcrest-and-16 20 1312.60 1318.31 362.0 311040000 5000 15000
grid-pbl-0150.shuffled-as.sat05-1347.shuffled-as.sat05-1347 20 1.89 1.97 13.0 311040000 5000 15000
grid_10_20.shuffled 20 0.00 0.01 0.0 311040000 5000 15000
grs-128-32 20 96.89 97.36 53.0 311040000 5000 15000
grs-128-64 20 276.93 278.06 107.0 311040000 5000 15000
grs-160-64 20 472.58 474.31 107.0 311040000 5000 15000
grs-192-160 1 4977.12 5001.03 348.0 311040000 5000 15000
grs-192-256 1 4977.26 5001.03 691.0 311040000 5000 15000
grs-192-32 20 112.68 113.22 86.0 311040000 5000 15000
grs-192-48 20 330.74 332.16 106.0 311040000 5000 15000
grs-32-160 20 922.20 926.57 179.0 311040000 5000 15000
grs-32-256 20 2651.15 2663.45 379.0 311040000 5000 15000
grs-48-128 20 724.66 728.32 126.0 311040000 5000 15000
grs-48-160 20 829.18 832.30 182.0 311040000 5000 15000
grs-48-256 20 2646.65 2656.95 431.0 311040000 5000 15000
grs-64-160 20 2018.05 2025.99 212.0 311040000 5000 15000
grs-64-32 20 34.95 35.20 31.0 311040000 5000 15000
grs-96-192 20 3149.81 3165.06 336.0 311040000 5000 15000
grs-96-32 20 59.72 60.10 47.0 311040000 5000 15000
grs-96-96 20 574.02 576.61 122.0 311040000 5000 15000
hash_table_find_safety_size_10 20 180.48 181.39 1770.0 311040000 5000 15000
hash_table_find_safety_size_11 20 110.79 111.31 2076.0 311040000 5000 15000
hash_table_find_safety_size_12 20 161.75 162.52 2279.0 311040000 5000 15000
hash_table_find_safety_size_13 20 233.62 234.67 2470.0 311040000 5000 15000
hash_table_find_safety_size_14 20 192.02 192.94 2759.0 311040000 5000 15000
hash_table_find_safety_size_15 20 160.43 161.24 2947.0 311040000 5000 15000
hash_table_find_safety_size_16 20 233.10 234.17 3219.0 311040000 5000 15000
hash_table_find_safety_size_17 20 327.16 328.78 3264.0 311040000 5000 15000
hash_table_find_safety_size_18 20 401.65 403.06 3888.0 311040000 5000 15000
hash_table_find_safety_size_19 20 532.11 534.34 4227.0 311040000 5000 15000
hash_table_find_safety_size_20 20 417.27 419.28 4485.0 311040000 5000 15000
hash_table_find_safety_size_21 20 722.19 725.50 4901.0 311040000 5000 15000
hash_table_find_safety_size_22 20 605.29 607.78 5082.0 311040000 5000 15000
hash_table_find_safety_size_23 20 506.84 508.89 5602.0 311040000 5000 15000
hash_table_find_safety_size_24 20 458.67 460.98 5541.0 311040000 5000 15000
hash_table_find_safety_size_25 20 612.14 614.88 5892.0 311040000 5000 15000
hash_table_find_safety_size_26 20 531.43 533.87 6671.0 311040000 5000 15000
hash_table_find_safety_size_27 20 1043.55 1048.40 7040.0 311040000 5000 15000
hash_table_find_safety_size_29 20 1057.42 1062.50 7449.0 311040000 5000 15000
hash_table_find_safety_size_30 20 652.18 655.00 7727.0 311040000 5000 15000
hwmcc10-timeframe-expansion-k45-nusmvguidancep9-tseitin 20 2.69 2.77 35.0 311040000 5000 15000
ibm-2004-03-k70 10 2.69 2.80 31.0 311040000 5000 15000
instance_n6_i6_pp_ci_ce 10 0.99 1.07 11.0 311040000 5000 15000
intervals122 1 4977.48 5001.03 286.0 311040000 5000 15000
intervals222 1 4978.69 5001.03 185.0 311040000 5000 15000
intervals244 1 4982.80 5001.03 156.0 311040000 5000 15000
intervals313 1 4980.56 5001.03 163.0 311040000 5000 15000
intervals327 1 4979.41 5001.03 222.0 311040000 5000 15000
intervals467 1 4978.88 5001.03 230.0 311040000 5000 15000
intervals477 1 4976.99 5001.03 157.0 311040000 5000 15000
intervals553 1 4979.34 5001.03 126.0 311040000 5000 15000
intervals607 1 4978.00 5001.03 137.0 311040000 5000 15000
intervals633 1 4981.41 5001.03 158.0 311040000 5000 15000
intervals7 1 4982.15 5001.03 158.0 311040000 5000 15000
intervals718 1 4980.09 5001.03 190.0 311040000 5000 15000
intervals727 1 4979.50 5001.03 144.0 311040000 5000 15000
intervals753 1 4978.16 5001.03 184.0 311040000 5000 15000
intervals788 1 4982.76 5001.03 189.0 311040000 5000 15000
intervals80 1 4979.73 5001.03 232.0 311040000 5000 15000
intervals802 1 4981.69 5001.03 283.0 311040000 5000 15000
intervals803 1 4977.98 5001.03 238.0 311040000 5000 15000
intervals855 1 4978.18 5001.03 150.0 311040000 5000 15000
intervals961 1 4981.18 5001.03 213.0 311040000 5000 15000
iso-brn100.shuffled-as.sat05-3025 10 0.00 0.04 0.0 311040000 5000 15000
iso-icl004.shuffled-as.sat05-3238 20 0.00 0.01 0.0 311040000 5000 15000
iso-ukn004.shuffled-as.sat05-3385 10 0.00 0.04 0.0 311040000 5000 15000
jkkk-one-one-11-32-unsat 20 45.29 45.61 27.0 311040000 5000 15000
lisa19_99_a.shuffled 10 1.49 1.55 6.0 311040000 5000 15000
mchess16-mixed-25percent-blocked 20 34.83 35.07 19.0 311040000 5000 15000
mchess16-mixed-35percent-blocked 20 21.40 21.59 17.0 311040000 5000 15000
mchess16-mixed-45percent-blocked 20 14.35 14.47 13.0 311040000 5000 15000
mchess18-mixed-25percent-blocked 20 169.78 170.59 36.0 311040000 5000 15000
mchess18-mixed-35percent-blocked 20 733.12 735.98 58.0 311040000 5000 15000
mchess18-mixed-45percent-blocked 20 87.33 87.75 28.0 311040000 5000 15000
mchess20-mixed-25percent-blocked 20 1061.35 1065.67 72.0 311040000 5000 15000
mchess20-mixed-35percent-blocked 20 2055.32 2064.35 81.0 311040000 5000 15000
mchess20-mixed-45percent-blocked 20 646.27 648.87 62.0 311040000 5000 15000
mchess22-mixed-25percent-blocked 1 4978.48 5001.03 109.0 311040000 5000 15000
mchess22-mixed-35percent-blocked 1 4976.22 5001.03 108.0 311040000 5000 15000
mchess22-mixed-45percent-blocked 1 4978.20 5001.03 130.0 311040000 5000 15000
minxor128 20 205.55 206.51 104.0 311040000 5000 15000
mm-1x10-10-10-sb.1.shuffled-as.sat03-1489 10 3.19 3.26 23.0 311040000 5000 15000
mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534 10 12.64 12.78 6.0 311040000 5000 15000
mod4block_2vars_10gates_u2_autoenc-sc2009 10 8.64 8.74 21.0 311040000 5000 15000
mp1-klieber2017s-1600-022-eq 20 345.66 346.81 40.0 311040000 5000 15000
mrpp_4x4#12_12 20 5.57 5.71 11.0 311040000 5000 15000
mrpp_6x6#18_20 10 7.57 7.63 20.0 311040000 5000 15000
mrpp_8x8#22_10 20 0.20 0.22 8.0 311040000 5000 15000
multiplier_13bits__miter_15 20 1075.80 1080.56 32.0 311040000 5000 15000
multiplier_14bits__miter_14 20 2345.92 2355.47 38.0 311040000 5000 15000
multiplier_15bits__miter_20 1 4977.57 5001.03 81.0 311040000 5000 15000
multiplier_16bits__miter_19 1 4979.80 5001.03 96.0 311040000 5000 15000
ncc_none_7047_6_3_3_0_0_420 20 74.08 74.47 717.0 311040000 5000 15000
new-difficult-26-243-24-70 10 0.00 0.03 0.0 311040000 5000 15000
oisc-subrv-and-nested-14 1 4976.80 5001.03 3471.0 311040000 5000 15000
oisc-subrv-sll-nested-15 20 2036.45 2045.50 4046.0 311040000 5000 15000
or_randxor_k3_n520_m520 20 2769.57 2781.53 44.0 311040000 5000 15000
or_randxor_k3_n540_m540 1 4978.94 5001.03 61.0 311040000 5000 15000
or_randxor_k3_n560_m560 1 4980.11 5001.03 67.0 311040000 5000 15000
or_randxor_k3_n600_m600 1 4972.09 5001.03 60.0 311040000 5000 15000
or_randxor_k3_n640_m640 1 4980.56 5001.03 45.0 311040000 5000 15000
os_fwalk_12 20 2450.09 2460.32 130.0 311040000 5000 15000
par32-4.shuffled 1 4976.86 5001.03 80.0 311040000 5000 15000
patat-08-comp-3 10 1.88 1.95 52.0 311040000 5000 15000
pbl-00070.shuffled-as.sat05-1324.shuffled-as.sat05-1324 20 0.10 0.12 4.0 311040000 5000 15000
php-010-009.shuffled-as.sat05-1185 20 4.47 4.59 11.0 311040000 5000 15000
php15-mixed-15percent-blocked 1 4979.64 5001.03 120.0 311040000 5000 15000
php16-mixed-15percent-blocked 1 4977.33 5001.03 134.0 311040000 5000 15000
php17-mixed-15percent-blocked 1 4973.07 5001.03 145.0 311040000 5000 15000
php17-mixed-35percent-blocked 20 155.12 155.76 42.0 311040000 5000 15000
php18-mixed-15percent-blocked 1 4981.46 5001.03 111.0 311040000 5000 15000
php18-mixed-35percent-blocked 20 522.05 524.31 86.0 311040000 5000 15000
pmg-12-UNSAT.sat05-3940.reshuffled-07 20 3978.38 3996.27 80.0 311040000 5000 15000
posixpath__joinrealpath_13 1 4979.34 5001.03 171.0 311040000 5000 15000
posixpath_expanduser_14 1 4979.92 5001.03 209.0 311040000 5000 15000
preimage_80r_490m_160h_seed_150 1 4978.23 5001.03 86.0 311040000 5000 15000
pyhala-braun-sat-35-4-04.shuffled 10 2.19 2.31 7.0 311040000 5000 15000
qwh.40.560.shuffled-as.sat03-1654 10 4.09 4.18 11.0 311040000 5000 15000
rand_net50-60-10.shuffled 20 1.69 1.78 7.0 311040000 5000 15000
rand_net70-40-10.shuffled 20 1.59 1.63 6.0 311040000 5000 15000
rbsat-v1150c84314gyes10 10 391.78 393.70 50.0 311040000 5000 15000
rbsat-v760c43649gyes10 10 9.17 9.27 14.0 311040000 5000 15000
rbsat-v760c43649gyes5 10 17.21 17.36 19.0 311040000 5000 15000
rook-47-0-1 20 713.43 716.86 92.0 311040000 5000 15000
rovers1_ks99i.renamed-as.sat05-3971 10 0.00 0.03 0.0 311040000 5000 15000
rphp_p20_r20 1 4977.82 5001.03 480.0 311040000 5000 15000
rphp_p30_r30 1 4978.07 5001.03 827.0 311040000 5000 15000
rphp_p60_r60 1 4980.26 5001.03 1215.0 311040000 5000 15000
rphp_p8_r250 1 4976.63 5001.03 1842.0 311040000 5000 15000
sat-bench-trig-bhaskara 20 298.73 300.34 343.0 311040000 5000 15000
sat-bench-trig-taylor2 20 313.44 314.89 360.0 311040000 5000 15000
sat-bench-trig-taylor4 20 1979.40 1990.07 627.0 311040000 5000 15000
sat-bench-trig-taylor6 20 4117.27 4133.61 948.0 311040000 5000 15000
satch2ways15u 1 4980.70 5001.03 205.0 311040000 5000 15000
satch2ways16w 1 4975.10 5001.03 267.0 311040000 5000 15000
satcoin-genesis-UNSAT-10600 20 565.51 568.03 82.0 311040000 5000 15000
satcoin-genesis-UNSAT-11400 20 639.81 642.71 87.0 311040000 5000 15000
satcoin-genesis-UNSAT-11900 20 640.84 643.78 87.0 311040000 5000 15000
satcoin-genesis-UNSAT-12300 20 732.70 736.09 89.0 311040000 5000 15000
satcoin-genesis-UNSAT-17400 20 914.65 918.71 84.0 311040000 5000 15000
satcoin-genesis-UNSAT-17800 20 845.96 849.59 85.0 311040000 5000 15000
satcoin-genesis-UNSAT-18400 20 960.81 965.50 86.0 311040000 5000 15000
satcoin-genesis-UNSAT-18600 20 1187.65 1192.93 92.0 311040000 5000 15000
satcoin-genesis-UNSAT-18800 20 1517.09 1523.89 91.0 311040000 5000 15000
satcoin-genesis-UNSAT-19500 20 963.07 967.15 93.0 311040000 5000 15000
satcoin-genesis-UNSAT-19800 20 1171.12 1176.54 85.0 311040000 5000 15000
satcoin-genesis-UNSAT-5920 20 555.50 558.43 85.0 311040000 5000 15000
satcoin-genesis-UNSAT-7200 20 433.06 435.17 85.0 311040000 5000 15000
satcoin-genesis-UNSAT-9080 20 557.66 560.29 84.0 311040000 5000 15000
satcoin-genesis-UNSAT-9880 20 567.39 570.21 86.0 311040000 5000 15000
satsgi-n23himBHm26-p0-q248 10 0.00 0.03 0.0 311040000 5000 15000
sgen1-unsat-97-100.cnf.mis-72.debugged 20 3.68 3.79 8.0 311040000 5000 15000
sgen3-n260-s62321009-sat 1 4977.63 5001.03 100.0 311040000 5000 15000
shift1add.28943 20 3.97 4.09 93.0 311040000 5000 15000
shuffling-1-s1870372346-of-bench-sat04-423.used-as.sat04-562 10 12.75 12.87 14.0 311040000 5000 15000
shuffling-2-s1480152728-of-bench-sat04-434.used-as.sat04-711 20 53.86 54.19 158.0 311040000 5000 15000
spg_200_307 20 163.77 164.58 217.0 311040000 5000 15000
spg_420_280 20 144.17 144.77 428.0 311040000 5000 15000
square.2.0.i.smt2-cvc4 20 2.78 2.84 32.0 311040000 5000 15000
srhd-sgi-m37-q446.25-n35-p30-s33692332 10 0.00 0.04 0.0 311040000 5000 15000
stb_418_125.apx_2_DC-ST 20 371.56 373.57 36.0 311040000 5000 15000
stb_531_83.apx_2_DC-AD 20 360.71 362.48 45.0 311040000 5000 15000
stb_588_138.apx_2_DC-ST 20 110.11 110.69 24.0 311040000 5000 15000
stb_588_138.apx_2_DS-ST 10 235.90 236.92 23.0 311040000 5000 15000
stb_792_333.apx_1_DS-ST 10 1091.80 1096.47 58.0 311040000 5000 15000
tph8 1 4979.97 5001.03 429.0 311040000 5000 15000
tseitin_d3_n10000 1 4981.54 5001.03 666.0 311040000 5000 15000
tseitin_d3_n110000 1 4975.34 5001.03 373.0 311040000 5000 15000
tseitin_d3_n160 1 4977.96 5001.03 123.0 311040000 5000 15000
tseitin_d3_n180000 1 4978.59 5001.03 471.0 311040000 5000 15000
tseitin_d3_n200 1 4979.37 5001.03 133.0 311040000 5000 15000
tseitin_grid_n100_m100 1 4981.07 5001.03 268.0 311040000 5000 15000
tseitin_grid_n260_m260 1 4979.69 5001.03 304.0 311040000 5000 15000
tseitingrid7x160_shuffled-sc2016 1 4978.77 5001.03 160.0 311040000 5000 15000
unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07 20 227.51 228.52 42.0 311040000 5000 15000
velev-pipe-o-uns-1.0-7 20 216.65 217.70 70.0 311040000 5000 15000
vmpc_24 10 6.37 6.43 20.0 311040000 5000 15000
vmpc_28.shuffled-as.sat05-1957 10 28.88 29.09 35.0 311040000 5000 15000
