 result time real space tlim rlim slim
10pipe_q0_k 20 525.17 527.91 174.0 311040000 5000 15000
15pipe_q0_k 1 4979.10 5001.03 649.0 311040000 5000 15000
16_1 1 4978.89 5001.03 44.0 311040000 5000 15000
170223547 10 42.15 42.37 19.0 311040000 5000 15000
17_0 1 4980.29 5001.03 42.0 311040000 5000 15000
18_1 1 4975.74 5001.03 43.0 311040000 5000 15000
19_2 1 4982.14 5001.03 40.0 311040000 5000 15000
20_2 1 4979.11 5001.03 41.0 311040000 5000 15000
21_1 1 4979.30 5001.03 40.0 311040000 5000 15000
22_1 1 4981.91 5001.03 36.0 311040000 5000 15000
23_2 1 4977.26 5001.03 37.0 311040000 5000 15000
24_0 1 4979.15 5001.03 34.0 311040000 5000 15000
25_2 1 4980.29 5001.03 34.0 311040000 5000 15000
26_1 1 4976.20 5001.03 38.0 311040000 5000 15000
27_1 1 4978.21 5001.03 33.0 311040000 5000 15000
28_2 1 4978.27 5001.03 38.0 311040000 5000 15000
29_1 1 4978.26 5001.03 29.0 311040000 5000 15000
30_2 1 4982.37 5001.03 40.0 311040000 5000 15000
31_1 1 4978.77 5001.03 32.0 311040000 5000 15000
32_0 1 4977.79 5001.03 28.0 311040000 5000 15000
3col120_5_2.shuffled 10 0.20 0.31 4.0 311040000 5000 15000
46bits_11.dimacs 10 295.76 297.45 22.0 311040000 5000 15000
5col100_15_6.shuffled 20 3.19 3.30 6.0 311040000 5000 15000
6g_6color_366_050_04 10 3157.91 3171.03 281.0 311040000 5000 15000
6s165 20 2.99 3.07 8.0 311040000 5000 15000
6s166 20 12.75 12.86 11.0 311040000 5000 15000
6s20-sc2013 20 317.78 319.35 40.0 311040000 5000 15000
9vliw_bp_mc.shuffled 20 9.35 9.44 24.0 311040000 5000 15000
BZ2File_write_11 20 2242.24 2252.56 88.0 311040000 5000 15000
C208_FA_UT_3254 20 0.00 0.01 0.0 311040000 5000 15000
CNFPlus_from_fp_12 20 2737.52 2749.62 123.0 311040000 5000 15000
CNF_to_alien_11 20 2201.08 2209.95 89.0 311040000 5000 15000
CNF_to_alien_12 1 4980.57 5001.03 159.0 311040000 5000 15000
CNP-5-1100 10 0.89 0.94 16.0 311040000 5000 15000
ContextModel_output_6_3_8.bul_.dimacs 10 195.36 196.33 40.0 311040000 5000 15000
ContextModel_output_6_4_6.bul_.dimacs 1 4979.07 5001.03 116.0 311040000 5000 15000
ContextModel_output_6_5_6.bul_.dimacs 10 114.55 115.09 47.0 311040000 5000 15000
ContextModel_output_7_3_9.bul_.dimacs 10 123.68 124.33 46.0 311040000 5000 15000
ContextModel_output_8_4_10.bul.dimacs 1 4977.67 5001.03 240.0 311040000 5000 15000
ContextModel_output_8_4_8.bul_.dimacs 10 3010.46 3029.73 108.0 311040000 5000 15000
ContextModel_output_8_4_9.bul.dimacs 1 4980.46 5001.03 140.0 311040000 5000 15000
DLTM_twitter690_74_16 10 227.65 229.02 59.0 311040000 5000 15000
DecompressReader_read_12 1 4977.41 5001.03 138.0 311040000 5000 15000
DivS_568_11.cnf.sanitized 10 30.17 30.40 91.0 311040000 5000 15000
DivS_862_11.cnf.sanitized 10 53.78 54.03 127.0 311040000 5000 15000
DivS_942_11.cnf.sanitized 10 52.20 52.48 141.0 311040000 5000 15000
DivU_1520_10.cnf.sanitized 20 26.47 26.70 114.0 311040000 5000 15000
DivU_624_11.cnf.sanitized 20 25.09 25.22 101.0 311040000 5000 15000
ER_400_20_4.apx_1_DC-ST 20 169.84 170.81 43.0 311040000 5000 15000
ER_400_20_7.apx_1_DC-ST 20 278.17 279.44 43.0 311040000 5000 15000
ER_500_10_1.apx_1_DC-AD 1 4976.34 5001.03 101.0 311040000 5000 15000
ER_500_10_2.apx_1_DS-ST 1 4979.38 5001.03 76.0 311040000 5000 15000
ER_500_10_5.apx_2_DC-ST 1 4980.73 5001.03 78.0 311040000 5000 15000
ER_500_30_3.apx_2_DC-ST 20 328.61 329.94 74.0 311040000 5000 15000
FileObject_open_12 1 4977.74 5001.03 150.0 311040000 5000 15000
FileObject_open_13 1 4977.94 5001.03 151.0 311040000 5000 15000
Grain_no_init_ver1_out200_known_last105_0_u 20 236.68 237.80 22.0 311040000 5000 15000
GzipFile_close_11 20 1284.63 1290.52 84.0 311040000 5000 15000
IBM_FV_2004_rule_batch_1_31_1_SAT_dat.k40.debugged 20 201.18 202.02 26.0 311040000 5000 15000
LZMAFile___init___14 1 4978.88 5001.03 151.0 311040000 5000 15000
LZMAFile_write_12 1 4980.22 5001.03 135.0 311040000 5000 15000
PRP_100_150 1 4970.40 5001.03 1352.0 311040000 5000 15000
PRP_100_250 1 4975.99 5001.03 2405.0 311040000 5000 15000
PRP_100_300 1 4976.85 5001.03 2692.0 311040000 5000 15000
PRP_100_350 10 104.28 104.79 3293.0 311040000 5000 15000
PRP_100_400 1 4976.26 5001.03 3447.0 311040000 5000 15000
PRP_100_450 1 4980.09 5001.03 4043.0 311040000 5000 15000
PRP_100_500 1 4975.58 5001.03 4555.0 311040000 5000 15000
PRP_100_550 10 380.33 381.94 5022.0 311040000 5000 15000
PRP_100_600 1 4979.13 5001.03 5228.0 311040000 5000 15000
PRP_200_100 10 805.99 809.48 1826.0 311040000 5000 15000
PRP_20_40 10 9.05 9.45 81.0 311040000 5000 15000
PRP_20_50 10 11.13 11.30 103.0 311040000 5000 15000
PRP_30_35 10 10.76 10.92 111.0 311040000 5000 15000
PRP_30_36 10 9.39 9.70 107.0 311040000 5000 15000
PRP_30_37 10 18.99 19.26 109.0 311040000 5000 15000
PRP_30_38 10 9.05 9.30 112.0 311040000 5000 15000
PRP_30_39 10 6.68 7.01 115.0 311040000 5000 15000
PRP_30_40 10 14.94 15.09 118.0 311040000 5000 15000
PRP_30_41 10 15.09 15.22 124.0 311040000 5000 15000
PRP_40_40 10 23.84 24.06 156.0 311040000 5000 15000
REGRandom-K3-L3-Seed10 1 4975.59 5001.03 397.0 311040000 5000 15000
REGRandom-K4-L1-Seed5 20 308.25 309.70 165.0 311040000 5000 15000
REGRandom-K4-L2-Seed20 1 4977.28 5001.03 623.0 311040000 5000 15000
REGRandom-K4-L3-Seed15 1 4982.49 5001.03 1602.0 311040000 5000 15000
REGRandom-K4-L4-Seed10 1 4979.70 5001.03 5086.0 311040000 5000 15000
SAT_dat.k10 20 217.22 218.30 68.0 311040000 5000 15000
SC23_Timetable_C_473_E_45_Cl_32_D_6_T_50 1 4974.96 5001.03 329.0 311040000 5000 15000
SC23_Timetable_C_473_E_46_Cl_32_D_6_T_50 1 4975.41 5001.03 297.0 311040000 5000 15000
SC23_Timetable_C_473_E_49_Cl_32_D_6_T_50 10 15.03 15.20 144.0 311040000 5000 15000
SC23_Timetable_C_473_E_50_Cl_32_D_6_T_50 10 21.19 21.39 156.0 311040000 5000 15000
SC23_Timetable_C_473_E_52_Cl_32_D_6_T_50 10 15.38 15.56 141.0 311040000 5000 15000
SC23_Timetable_C_474_E_50_Cl_32_D_6_T_50 10 71.89 72.23 154.0 311040000 5000 15000
SC23_Timetable_C_476_E_50_Cl_32_D_6_T_50 10 198.05 199.14 161.0 311040000 5000 15000
SC23_Timetable_C_477_E_50_Cl_32_D_6_T_50 10 28.51 28.79 147.0 311040000 5000 15000
SC23_Timetable_C_478_E_50_Cl_32_D_6_T_50 10 25.01 25.36 148.0 311040000 5000 15000
SC23_Timetable_C_480_E_50_Cl_32_D_6_T_50 10 89.06 89.55 160.0 311040000 5000 15000
SC23_Timetable_C_481_E_49_Cl_32_D_6_T_50 10 312.31 313.65 173.0 311040000 5000 15000
SC23_Timetable_C_481_E_50_Cl_32_D_6_T_50 10 89.41 90.17 156.0 311040000 5000 15000
SC23_Timetable_C_481_E_51_Cl_32_D_6_T_50 10 15.80 15.98 182.0 311040000 5000 15000
SC23_Timetable_C_482_E_50_Cl_33_D_6_T_50 10 161.18 161.96 165.0 311040000 5000 15000
SC23_Timetable_C_483_E_50_Cl_33_D_6_T_50 10 67.25 67.79 159.0 311040000 5000 15000
SC23_Timetable_C_484_E_50_Cl_33_D_6_T_50 10 23.58 23.79 155.0 311040000 5000 15000
SC23_Timetable_C_486_E_50_Cl_33_D_6_T_50 10 139.45 140.16 152.0 311040000 5000 15000
SC23_Timetable_C_488_E_50_Cl_33_D_6_T_50 10 90.32 90.77 154.0 311040000 5000 15000
SC23_Timetable_C_490_E_50_Cl_33_D_6_T_50 10 1240.52 1246.91 248.0 311040000 5000 15000
SCPC-1000-18 10 117.72 118.24 45.0 311040000 5000 15000
SCPC-1000-20 10 228.57 229.50 70.0 311040000 5000 15000
SCPC-700-80 10 48.30 48.53 35.0 311040000 5000 15000
SCPC-700-81 10 132.58 133.12 45.0 311040000 5000 15000
SCPC-700-82 10 61.76 62.09 36.0 311040000 5000 15000
SCPC-700-84 10 143.24 143.84 48.0 311040000 5000 15000
SCPC-700-86 10 28.49 28.66 35.0 311040000 5000 15000
SCPC-700-87 10 22.71 22.91 31.0 311040000 5000 15000
SCPC-700-88 10 142.88 143.48 52.0 311040000 5000 15000
SCPC-800-40 10 9.75 9.84 30.0 311040000 5000 15000
SCPC-800-41 10 42.42 42.66 32.0 311040000 5000 15000
SCPC-800-42 10 9.35 9.47 17.0 311040000 5000 15000
SCPC-800-43 10 59.58 60.00 35.0 311040000 5000 15000
SCPC-800-44 10 46.88 47.20 34.0 311040000 5000 15000
SCPC-800-46 10 90.68 91.18 39.0 311040000 5000 15000
SCPC-800-49 10 24.73 25.00 28.0 311040000 5000 15000
SCPC-800-50 10 47.71 47.93 34.0 311040000 5000 15000
SCPC-900-27 10 421.94 423.96 74.0 311040000 5000 15000
SCPC-900-29 10 53.29 53.77 42.0 311040000 5000 15000
SCPC-900-31 10 1777.94 1785.15 120.0 311040000 5000 15000
SGI_30_70_27_50_3-dir.shuffled-as.sat03-169 20 1723.84 1731.02 104.0 311040000 5000 15000
Schur_160_5_d34 10 1851.23 1860.61 83.0 311040000 5000 15000
Schur_161_5_d40 20 438.53 440.67 51.0 311040000 5000 15000
StreamReader_readline_13 1 4978.67 5001.03 144.0 311040000 5000 15000
T87.2.0 20 238.95 239.98 1453.0 311040000 5000 15000
TableModel_output_6_3_8.bul_.dimacs 1 4976.28 5001.03 227.0 311040000 5000 15000
TableModel_output_6_4_6.bul_.dimacs 1 4977.11 5001.03 196.0 311040000 5000 15000
TableModel_output_7_3_9.bul_.dimacs 1 4978.29 5001.03 295.0 311040000 5000 15000
TableModel_output_8_3_10.bul_.dimacs 1 4978.76 5001.03 604.0 311040000 5000 15000
TableModel_output_8_4_7.bul_.dimacs 10 30.99 31.14 47.0 311040000 5000 15000
TableModel_output_8_4_8.bul_.dimacs 1 4981.36 5001.03 330.0 311040000 5000 15000
TableSymModel_output_6_3_8.bul_.dimacs 1 4977.43 5001.03 204.0 311040000 5000 15000
TableSymModel_output_6_4_6.bul_.dimacs 10 4260.44 4280.09 105.0 311040000 5000 15000
TableSymModel_output_6_5_6.bul_.dimacs 10 3025.72 3039.25 113.0 311040000 5000 15000
TableSymModel_output_7_3_9.bul_.dimacs 1 4979.35 5001.03 152.0 311040000 5000 15000
TableSymModel_output_8_3_10.bul_.dimacs 1 4978.58 5001.03 225.0 311040000 5000 15000
TableSymModel_output_8_4_7.bul_.dimacs 10 112.53 113.16 50.0 311040000 5000 15000
TableSymModel_output_8_4_8.bul_.dimacs 1 4978.84 5001.03 207.0 311040000 5000 15000
TimetableCNFEncoding_20_UNKNOWN 10 15.35 15.54 332.0 311040000 5000 15000
Urquhart-s3-b3.shuffled-as.sat03-1556 20 1.00 1.03 7.0 311040000 5000 15000
Urquhart-s5-b4.shuffled 1 4978.62 5001.03 112.0 311040000 5000 15000
WCNFPlus_from_fp_13 1 4978.97 5001.03 179.0 311040000 5000 15000
WCNFPlus_to_alien_14 1 4976.58 5001.03 170.0 311040000 5000 15000
WCNF_from_fp_13 1 4978.95 5001.03 153.0 311040000 5000 15000
WCNF_from_fp_14 1 4978.27 5001.03 164.0 311040000 5000 15000
WCNF_to_alien_14 1 4979.01 5001.03 167.0 311040000 5000 15000
WS_400_24_70_10.apx_1_DC-ST 20 594.04 596.44 31.0 311040000 5000 15000
WS_400_24_70_10.apx_2_DC-AD 20 538.17 540.41 39.0 311040000 5000 15000
WS_400_24_70_10.apx_2_DC-ST 20 391.31 393.00 26.0 311040000 5000 15000
WS_400_24_90_10.apx_1_DS-ST 1 4979.48 5001.03 53.0 311040000 5000 15000
WS_400_24_90_10.apx_2_DC-AD 20 1406.83 1413.27 49.0 311040000 5000 15000
WS_400_32_90_10.apx_1_DC-AD 1 4979.98 5001.03 83.0 311040000 5000 15000
WS_500_16_70_10.apx_2_DC-ST 20 176.00 176.80 19.0 311040000 5000 15000
WS_500_16_90_70.apx_2_DC-ST 20 126.65 127.27 21.0 311040000 5000 15000
WS_500_32_50_10.apx_2_DC-AD 1 4978.46 5001.03 86.0 311040000 5000 15000
aes_decry_2_rounds.debugged 20 106.84 107.41 100.0 311040000 5000 15000
asconhashv12_opt64_H10_M2-BPHqhzNzqi_m5_6_U14.c 20 238.14 239.38 85.0 311040000 5000 15000
asconhashv12_opt64_H10_M2-pH7B6T6Vub_m6_7.c 10 23.18 23.40 57.0 311040000 5000 15000
asconhashv12_opt64_H12_M2-CxLJidFX21oI_m3_6_U2.c 20 254.93 256.22 85.0 311040000 5000 15000
asconhashv12_opt64_H13_M2-NBRdIKEb8MS2W_m3_5.c 10 185.92 186.92 76.0 311040000 5000 15000
asconhashv12_opt64_H13_M2-axxJh7DAq767y_m4_5.c 10 211.35 212.51 88.0 311040000 5000 15000
asconhashv12_opt64_H15_M2-kwhXs2juqFoKAYA_m12_13_U16.c 20 91.99 92.43 62.0 311040000 5000 15000
asconhashv12_opt64_H4_M2-LOD9_m0_2_U19.c 20 92.88 93.32 63.0 311040000 5000 15000
asconhashv12_opt64_H4_M2-ldRf_m1_2_U21.c 20 92.59 93.05 49.0 311040000 5000 15000
asconhashv12_opt64_H5_M2-A8qZX_m0_3_U23.c 20 97.62 98.17 50.0 311040000 5000 15000
asconhashv12_opt64_H6_M2-4XKSMr_m1_3_U25.c 20 102.66 103.15 50.0 311040000 5000 15000
asconhashv12_opt64_H7_M2-K1zfAs8_m0_3_U5.c 20 99.56 100.04 70.0 311040000 5000 15000
asconhashv12_opt64_H7_M2-OrF8zEw_m2_4.c 10 25.58 25.79 50.0 311040000 5000 15000
asconhashv12_opt64_H7_M2-gHvzZOd_m3_4_U11.c 20 97.74 98.27 51.0 311040000 5000 15000
asconhashv12_opt64_H8_M2-1yQCyA0j_m2_6.c 10 73.56 73.96 71.0 311040000 5000 15000
asconhashv12_opt64_H8_M2-I61h2mH5_m2_6.c 10 68.86 69.26 69.0 311040000 5000 15000
asconhashv12_opt64_H8_M2-bL4cM6NJ_m4_5_U14.c 20 228.67 229.89 73.0 311040000 5000 15000
asconhashv12_opt64_H8_M2-nm2vUdkK_m3_5_U3.c 20 259.93 261.28 75.0 311040000 5000 15000
asconhashv12_opt64_H9_M2-Jdds95CIv_m1_5.c 10 194.45 195.41 75.0 311040000 5000 15000
asconhashv12_opt64_H9_M2-LSGb5PgEM_m2_7.c 10 144.37 145.14 75.0 311040000 5000 15000
asconhashv12_opt64_H9_M2-wNfQskE8G_m1_6_U0.c 20 230.72 232.19 78.0 311040000 5000 15000
baseballcover13with25_and3positions 20 820.85 824.05 861.0 311040000 5000 15000
brent_13_0.1 20 300.53 302.20 42.0 311040000 5000 15000
brent_15_0.25 20 890.76 895.33 52.0 311040000 5000 15000
brent_51_0.07 10 0.40 0.48 27.0 311040000 5000 15000
brent_51_0.17 10 2.88 2.93 38.0 311040000 5000 15000
brent_51_0.28 10 1.49 1.58 25.0 311040000 5000 15000
brent_51_0.29 10 16.42 16.53 39.0 311040000 5000 15000
brent_63_0 10 1.19 1.27 34.0 311040000 5000 15000
brent_63_0.1 10 0.69 0.74 43.0 311040000 5000 15000
brent_63_0.15 10 4.28 4.37 41.0 311040000 5000 15000
brent_63_0.2 10 4.68 4.75 39.0 311040000 5000 15000
brent_63_0.22 10 2.98 3.11 39.0 311040000 5000 15000
brent_63_0.26 10 34.86 35.08 64.0 311040000 5000 15000
brent_65_0.1 10 0.39 0.43 29.0 311040000 5000 15000
brent_67_0.05 10 3.18 3.28 66.0 311040000 5000 15000
brent_69_0 10 0.49 0.57 36.0 311040000 5000 15000
brent_69_0.05 10 0.59 0.70 33.0 311040000 5000 15000
brent_69_0.3 10 7.66 7.72 38.0 311040000 5000 15000
brent_71_0.25 10 3.08 3.16 40.0 311040000 5000 15000
brent_9_0 20 450.56 453.19 64.0 311040000 5000 15000
c499_gr_2pin_w6.shuffled 10 0.00 0.09 0.0 311040000 5000 15000
c880_gr_rcs_w7.shuffled 10 0.00 0.01 0.0 311040000 5000 15000
cliquecoloring_n12_k9_c8 1 4975.05 5001.03 124.0 311040000 5000 15000
cliquecoloring_n14_k9_c8 1 4979.87 5001.03 187.0 311040000 5000 15000
cliquecoloring_n16_k7_c6 1 4975.17 5001.03 147.0 311040000 5000 15000
cliquecoloring_n18_k7_c6 1 4977.41 5001.03 177.0 311040000 5000 15000
clqcolor-08-06-07.shuffled-as.sat05-1257 20 1.09 1.18 6.0 311040000 5000 15000
collections_namedtuple_15 1 4977.45 5001.03 190.0 311040000 5000 15000
combined-crypto1-wff-seed-101-wffvars-500-cryptocplx-31-overlap-2 10 37.42 37.65 21.0 311040000 5000 15000
connm-ue-csp-sat-n600-d-0.02-s1022905465.used-as.sat04-951 10 0.00 0.05 0.0 311040000 5000 15000
crafted_n12_d6_c4_num4 20 119.73 120.17 558.0 311040000 5000 15000
em_11_3_4_cmp 10 166.01 166.83 110.0 311040000 5000 15000
eqspctbk14spwtcl14 1 4978.68 5001.03 58.0 311040000 5000 15000
ferry8_ks99i.renamed-as.sat05-4005 10 0.00 0.09 0.0 311040000 5000 15000
g2-T49.2.0 20 603.70 606.32 1866.0 311040000 5000 15000
g2-T99.2.0 20 2.47 2.58 817.0 311040000 5000 15000
g2-ak128astepbg2asisc 10 17.09 17.42 122.0 311040000 5000 15000
g2-slp-synthesis-aes-top29 10 48.97 49.30 53.0 311040000 5000 15000
gensys-icl002.shuffled-as.sat05-2714 20 1.82 2.09 9.0 311040000 5000 15000
goldberg03:hard_eq_check:i10mul.miter.used-as.sat04-333 20 15.54 15.63 21.0 311040000 5000 15000
goldcrest-and-16 20 1251.21 1255.30 356.0 311040000 5000 15000
grid-pbl-0150.shuffled-as.sat05-1347.shuffled-as.sat05-1347 20 1.84 1.97 14.0 311040000 5000 15000
grid_10_20.shuffled 20 0.00 0.01 0.0 311040000 5000 15000
grs-128-32 20 83.04 83.47 52.0 311040000 5000 15000
grs-128-64 20 563.91 566.64 106.0 311040000 5000 15000
grs-160-64 20 590.77 593.62 107.0 311040000 5000 15000
grs-192-160 1 4983.53 5001.03 383.0 311040000 5000 15000
grs-192-256 1 4982.27 5001.03 716.0 311040000 5000 15000
grs-192-32 20 188.71 189.57 85.0 311040000 5000 15000
grs-192-48 20 357.72 359.61 109.0 311040000 5000 15000
grs-32-160 20 1554.68 1562.03 172.0 311040000 5000 15000
grs-32-256 20 4444.43 4458.40 371.0 311040000 5000 15000
grs-48-128 20 808.44 812.27 136.0 311040000 5000 15000
grs-48-160 20 1340.41 1348.62 188.0 311040000 5000 15000
grs-48-256 1 4984.80 5001.03 402.0 311040000 5000 15000
grs-64-160 20 3769.86 3790.06 220.0 311040000 5000 15000
grs-64-32 20 46.16 46.42 35.0 311040000 5000 15000
grs-96-192 1 4983.68 5001.03 332.0 311040000 5000 15000
grs-96-32 20 65.05 65.73 49.0 311040000 5000 15000
grs-96-96 20 1269.20 1275.45 140.0 311040000 5000 15000
hash_table_find_safety_size_10 20 125.67 126.29 1710.0 311040000 5000 15000
hash_table_find_safety_size_11 20 151.35 152.07 2043.0 311040000 5000 15000
hash_table_find_safety_size_12 20 153.21 154.01 2260.0 311040000 5000 15000
hash_table_find_safety_size_13 20 121.68 122.11 2307.0 311040000 5000 15000
hash_table_find_safety_size_14 20 199.95 200.85 2773.0 311040000 5000 15000
hash_table_find_safety_size_15 20 198.47 199.50 2795.0 311040000 5000 15000
hash_table_find_safety_size_16 20 234.44 235.45 3142.0 311040000 5000 15000
hash_table_find_safety_size_17 20 307.43 308.87 3347.0 311040000 5000 15000
hash_table_find_safety_size_18 20 476.86 478.93 3804.0 311040000 5000 15000
hash_table_find_safety_size_19 20 510.14 512.46 4185.0 311040000 5000 15000
hash_table_find_safety_size_20 20 410.69 412.52 4358.0 311040000 5000 15000
hash_table_find_safety_size_21 20 424.72 426.54 4953.0 311040000 5000 15000
hash_table_find_safety_size_22 20 491.73 493.93 4960.0 311040000 5000 15000
hash_table_find_safety_size_23 20 770.77 774.22 5709.0 311040000 5000 15000
hash_table_find_safety_size_24 20 444.27 446.26 5861.0 311040000 5000 15000
hash_table_find_safety_size_25 20 565.80 568.70 6203.0 311040000 5000 15000
hash_table_find_safety_size_26 20 638.11 640.73 6214.0 311040000 5000 15000
hash_table_find_safety_size_27 20 627.56 630.17 6814.0 311040000 5000 15000
hash_table_find_safety_size_29 20 806.79 810.58 7782.0 311040000 5000 15000
hash_table_find_safety_size_30 20 954.23 958.36 7934.0 311040000 5000 15000
hwmcc10-timeframe-expansion-k45-nusmvguidancep9-tseitin 20 2.52 2.63 35.0 311040000 5000 15000
ibm-2004-03-k70 10 3.39 3.76 39.0 311040000 5000 15000
instance_n6_i6_pp_ci_ce 10 1.79 1.84 12.0 311040000 5000 15000
intervals122 1 4978.58 5001.03 285.0 311040000 5000 15000
intervals222 1 4980.85 5001.03 187.0 311040000 5000 15000
intervals244 1 4973.11 5001.03 156.0 311040000 5000 15000
intervals313 1 4978.22 5001.03 124.0 311040000 5000 15000
intervals327 1 4978.14 5001.03 214.0 311040000 5000 15000
intervals467 1 4979.85 5001.03 225.0 311040000 5000 15000
intervals477 1 4974.09 5001.03 161.0 311040000 5000 15000
intervals553 1 4976.35 5001.03 123.0 311040000 5000 15000
intervals607 1 4976.97 5001.03 137.0 311040000 5000 15000
intervals633 1 4979.65 5001.03 147.0 311040000 5000 15000
intervals7 1 4981.07 5001.03 151.0 311040000 5000 15000
intervals718 1 4978.06 5001.03 188.0 311040000 5000 15000
intervals727 1 4977.99 5001.03 146.0 311040000 5000 15000
intervals753 1 4980.67 5001.03 175.0 311040000 5000 15000
intervals788 1 4979.46 5001.03 140.0 311040000 5000 15000
intervals80 1 4977.23 5001.03 172.0 311040000 5000 15000
intervals802 1 4976.03 5001.03 281.0 311040000 5000 15000
intervals803 1 4974.93 5001.03 239.0 311040000 5000 15000
intervals855 1 4977.13 5001.03 152.0 311040000 5000 15000
intervals961 1 4978.25 5001.03 135.0 311040000 5000 15000
iso-brn100.shuffled-as.sat05-3025 10 0.00 0.03 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 85.62 86.05 28.0 311040000 5000 15000
lisa19_99_a.shuffled 10 2.18 2.31 6.0 311040000 5000 15000
mchess16-mixed-25percent-blocked 20 36.16 36.37 18.0 311040000 5000 15000
mchess16-mixed-35percent-blocked 20 22.31 22.48 16.0 311040000 5000 15000
mchess16-mixed-45percent-blocked 20 14.14 14.21 14.0 311040000 5000 15000
mchess18-mixed-25percent-blocked 20 142.92 143.53 37.0 311040000 5000 15000
mchess18-mixed-35percent-blocked 20 733.89 736.82 60.0 311040000 5000 15000
mchess18-mixed-45percent-blocked 20 87.11 87.58 25.0 311040000 5000 15000
mchess20-mixed-25percent-blocked 20 1094.77 1099.70 73.0 311040000 5000 15000
mchess20-mixed-35percent-blocked 20 2154.96 2164.71 80.0 311040000 5000 15000
mchess20-mixed-45percent-blocked 20 626.07 628.95 61.0 311040000 5000 15000
mchess22-mixed-25percent-blocked 1 4978.91 5001.03 114.0 311040000 5000 15000
mchess22-mixed-35percent-blocked 1 4976.47 5001.03 109.0 311040000 5000 15000
mchess22-mixed-45percent-blocked 1 4977.90 5001.03 122.0 311040000 5000 15000
minxor128 20 219.40 220.71 100.0 311040000 5000 15000
mm-1x10-10-10-sb.1.shuffled-as.sat03-1489 10 1.19 1.21 19.0 311040000 5000 15000
mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534 10 141.60 142.30 12.0 311040000 5000 15000
mod4block_2vars_10gates_u2_autoenc-sc2009 10 78.85 79.34 37.0 311040000 5000 15000
mp1-klieber2017s-1600-022-eq 20 364.96 366.69 34.0 311040000 5000 15000
mrpp_4x4#12_12 20 3.68 3.75 7.0 311040000 5000 15000
mrpp_6x6#18_20 10 14.33 14.46 21.0 311040000 5000 15000
mrpp_8x8#22_10 20 0.39 0.45 13.0 311040000 5000 15000
multiplier_13bits__miter_15 20 1076.44 1081.75 24.0 311040000 5000 15000
multiplier_14bits__miter_14 20 1883.24 1892.14 40.0 311040000 5000 15000
multiplier_15bits__miter_20 1 4977.25 5001.03 44.0 311040000 5000 15000
multiplier_16bits__miter_19 1 4977.21 5001.03 44.0 311040000 5000 15000
ncc_none_7047_6_3_3_0_0_420 20 107.05 107.65 861.0 311040000 5000 15000
new-difficult-26-243-24-70 10 0.00 0.01 0.0 311040000 5000 15000
oisc-subrv-and-nested-14 1 4978.46 5001.03 4751.0 311040000 5000 15000
oisc-subrv-sll-nested-15 1 4976.29 5001.03 6423.0 311040000 5000 15000
or_randxor_k3_n520_m520 20 2640.37 2651.86 41.0 311040000 5000 15000
or_randxor_k3_n540_m540 1 4978.37 5001.03 53.0 311040000 5000 15000
or_randxor_k3_n560_m560 1 4979.04 5001.03 70.0 311040000 5000 15000
or_randxor_k3_n600_m600 1 4978.05 5001.03 67.0 311040000 5000 15000
or_randxor_k3_n640_m640 1 4976.90 5001.03 48.0 311040000 5000 15000
os_fwalk_12 20 2324.88 2335.76 127.0 311040000 5000 15000
par32-4.shuffled 1 4978.25 5001.03 53.0 311040000 5000 15000
patat-08-comp-3 10 2.08 2.14 50.0 311040000 5000 15000
pbl-00070.shuffled-as.sat05-1324.shuffled-as.sat05-1324 20 0.05 0.22 4.0 311040000 5000 15000
php-010-009.shuffled-as.sat05-1185 20 4.46 4.53 11.0 311040000 5000 15000
php15-mixed-15percent-blocked 1 4978.21 5001.03 100.0 311040000 5000 15000
php16-mixed-15percent-blocked 1 4974.38 5001.03 124.0 311040000 5000 15000
php17-mixed-15percent-blocked 1 4978.74 5001.03 98.0 311040000 5000 15000
php17-mixed-35percent-blocked 20 160.05 160.85 40.0 311040000 5000 15000
php18-mixed-15percent-blocked 1 4976.73 5001.03 107.0 311040000 5000 15000
php18-mixed-35percent-blocked 20 554.67 557.59 49.0 311040000 5000 15000
pmg-12-UNSAT.sat05-3940.reshuffled-07 20 3823.75 3839.76 51.0 311040000 5000 15000
posixpath__joinrealpath_13 1 4979.60 5001.03 151.0 311040000 5000 15000
posixpath_expanduser_14 1 4976.96 5001.03 150.0 311040000 5000 15000
preimage_80r_490m_160h_seed_150 1 4975.88 5001.03 83.0 311040000 5000 15000
pyhala-braun-sat-35-4-04.shuffled 10 2.48 2.60 7.0 311040000 5000 15000
qwh.40.560.shuffled-as.sat03-1654 10 3.98 4.03 14.0 311040000 5000 15000
rand_net50-60-10.shuffled 20 8.83 8.91 12.0 311040000 5000 15000
rand_net70-40-10.shuffled 20 6.14 6.27 10.0 311040000 5000 15000
rbsat-v1150c84314gyes10 10 4284.47 4302.06 74.0 311040000 5000 15000
rbsat-v760c43649gyes10 10 4.05 4.20 13.0 311040000 5000 15000
rbsat-v760c43649gyes5 10 30.74 31.00 24.0 311040000 5000 15000
rook-47-0-1 20 773.30 777.19 174.0 311040000 5000 15000
rovers1_ks99i.renamed-as.sat05-3971 10 0.00 0.01 0.0 311040000 5000 15000
rphp_p20_r20 1 4973.61 5001.03 480.0 311040000 5000 15000
rphp_p30_r30 1 4979.32 5001.03 819.0 311040000 5000 15000
rphp_p60_r60 1 4980.96 5001.03 1214.0 311040000 5000 15000
rphp_p8_r250 1 4977.46 5001.03 1845.0 311040000 5000 15000
sat-bench-trig-bhaskara 20 268.79 269.68 359.0 311040000 5000 15000
sat-bench-trig-taylor2 20 611.26 613.24 381.0 311040000 5000 15000
sat-bench-trig-taylor4 20 1510.73 1516.59 641.0 311040000 5000 15000
sat-bench-trig-taylor6 20 3099.98 3110.78 867.0 311040000 5000 15000
satch2ways15u 1 4976.90 5001.03 152.0 311040000 5000 15000
satch2ways16w 1 4978.41 5001.03 289.0 311040000 5000 15000
satcoin-genesis-UNSAT-10600 20 630.97 633.34 85.0 311040000 5000 15000
satcoin-genesis-UNSAT-11400 20 708.22 710.84 84.0 311040000 5000 15000
satcoin-genesis-UNSAT-11900 20 637.82 640.43 89.0 311040000 5000 15000
satcoin-genesis-UNSAT-12300 20 995.72 999.45 86.0 311040000 5000 15000
satcoin-genesis-UNSAT-17400 20 1471.46 1478.85 99.0 311040000 5000 15000
satcoin-genesis-UNSAT-17800 20 895.09 899.36 86.0 311040000 5000 15000
satcoin-genesis-UNSAT-18400 20 1258.86 1264.75 83.0 311040000 5000 15000
satcoin-genesis-UNSAT-18600 20 738.63 741.34 90.0 311040000 5000 15000
satcoin-genesis-UNSAT-18800 20 1104.81 1109.14 87.0 311040000 5000 15000
satcoin-genesis-UNSAT-19500 20 1210.31 1215.87 85.0 311040000 5000 15000
satcoin-genesis-UNSAT-19800 20 1123.28 1128.61 86.0 311040000 5000 15000
satcoin-genesis-UNSAT-5920 20 404.40 406.38 82.0 311040000 5000 15000
satcoin-genesis-UNSAT-7200 20 564.90 567.57 82.0 311040000 5000 15000
satcoin-genesis-UNSAT-9080 20 521.85 524.34 80.0 311040000 5000 15000
satcoin-genesis-UNSAT-9880 20 672.03 675.30 84.0 311040000 5000 15000
satsgi-n23himBHm26-p0-q248 10 0.00 0.02 0.0 311040000 5000 15000
sgen1-unsat-97-100.cnf.mis-72.debugged 20 2.99 3.02 7.0 311040000 5000 15000
sgen3-n260-s62321009-sat 1 4977.20 5001.03 68.0 311040000 5000 15000
shift1add.28943 20 9.93 10.42 130.0 311040000 5000 15000
shuffling-1-s1870372346-of-bench-sat04-423.used-as.sat04-562 10 9.66 9.76 12.0 311040000 5000 15000
shuffling-2-s1480152728-of-bench-sat04-434.used-as.sat04-711 20 51.50 51.76 177.0 311040000 5000 15000
spg_200_307 20 336.26 337.46 261.0 311040000 5000 15000
spg_420_280 20 154.47 155.33 419.0 311040000 5000 15000
square.2.0.i.smt2-cvc4 20 2.79 2.87 31.0 311040000 5000 15000
srhd-sgi-m37-q446.25-n35-p30-s33692332 10 0.00 0.02 0.0 311040000 5000 15000
stb_418_125.apx_2_DC-ST 20 357.75 359.25 27.0 311040000 5000 15000
stb_531_83.apx_2_DC-AD 20 317.14 318.57 25.0 311040000 5000 15000
stb_588_138.apx_2_DC-ST 20 104.44 105.01 22.0 311040000 5000 15000
stb_588_138.apx_2_DS-ST 10 8.76 8.81 10.0 311040000 5000 15000
stb_792_333.apx_1_DS-ST 10 1083.85 1088.85 37.0 311040000 5000 15000
tph8 1 4977.60 5001.03 423.0 311040000 5000 15000
tseitin_d3_n10000 1 4977.23 5001.03 664.0 311040000 5000 15000
tseitin_d3_n110000 1 4972.40 5001.03 460.0 311040000 5000 15000
tseitin_d3_n160 1 4977.97 5001.03 199.0 311040000 5000 15000
tseitin_d3_n180000 1 4977.10 5001.03 469.0 311040000 5000 15000
tseitin_d3_n200 1 4977.40 5001.03 132.0 311040000 5000 15000
tseitin_grid_n100_m100 1 4965.46 5001.03 266.0 311040000 5000 15000
tseitin_grid_n260_m260 1 4976.41 5001.03 295.0 311040000 5000 15000
tseitingrid7x160_shuffled-sc2016 1 4975.31 5001.03 160.0 311040000 5000 15000
unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07 20 224.41 225.50 39.0 311040000 5000 15000
velev-pipe-o-uns-1.0-7 20 188.17 189.13 73.0 311040000 5000 15000
vmpc_24 10 1.49 1.58 11.0 311040000 5000 15000
vmpc_28.shuffled-as.sat05-1957 10 54.63 55.10 34.0 311040000 5000 15000
