 result time real space tlim rlim slim
10pipe_q0_k 20 291.20 292.72 602.0 311040000 5000 15000
15pipe_q0_k 20 3523.72 3540.43 2742.0 311040000 5000 15000
16_1 1 4977.02 5001.05 205.0 311040000 5000 15000
170223547 10 223.63 224.60 63.0 311040000 5000 15000
17_0 1 4978.56 5001.05 218.0 311040000 5000 15000
18_1 1 4978.95 5001.05 201.0 311040000 5000 15000
19_2 1 4978.49 5001.04 226.0 311040000 5000 15000
20_2 1 4976.21 5001.05 151.0 311040000 5000 15000
21_1 1 4979.76 5001.04 137.0 311040000 5000 15000
22_1 1 4979.65 5001.04 147.0 311040000 5000 15000
23_2 1 4979.02 5001.05 127.0 311040000 5000 15000
24_0 1 4980.45 5001.05 115.0 311040000 5000 15000
25_2 1 4976.98 5001.04 121.0 311040000 5000 15000
26_1 1 4978.80 5001.05 132.0 311040000 5000 15000
27_1 1 4979.51 5001.04 139.0 311040000 5000 15000
28_2 1 4979.13 5001.05 106.0 311040000 5000 15000
29_1 1 4979.97 5001.04 139.0 311040000 5000 15000
30_2 1 4978.42 5001.04 43.0 311040000 5000 15000
31_1 1 4979.98 5001.04 50.0 311040000 5000 15000
32_0 1 4976.70 5001.05 42.0 311040000 5000 15000
3col120_5_2.shuffled 10 0.17 0.31 22.0 311040000 5000 15000
46bits_11.dimacs 10 125.24 125.87 57.0 311040000 5000 15000
5col100_15_6.shuffled 20 6.70 6.91 27.0 311040000 5000 15000
6g_6color_366_050_04 1 4982.52 5001.04 1345.0 311040000 5000 15000
6s165 20 37.47 37.75 40.0 311040000 5000 15000
6s166 20 24.37 24.55 45.0 311040000 5000 15000
6s20-sc2013 20 455.04 457.04 117.0 311040000 5000 15000
9vliw_bp_mc.shuffled 20 17.52 17.79 78.0 311040000 5000 15000
BZ2File_write_11 20 0.28 0.42 21.0 311040000 5000 15000
C208_FA_UT_3254 20 0.17 0.23 24.0 311040000 5000 15000
CNFPlus_from_fp_12 20 12.06 12.30 30.0 311040000 5000 15000
CNF_to_alien_11 20 4.65 4.77 26.0 311040000 5000 15000
CNF_to_alien_12 20 80.60 80.94 51.0 311040000 5000 15000
CNP-5-1100 10 85.17 85.66 76.0 311040000 5000 15000
ContextModel_output_6_3_8.bul_.dimacs 10 51.02 52.06 63.0 311040000 5000 15000
ContextModel_output_6_4_6.bul_.dimacs 10 2488.69 2497.73 242.0 311040000 5000 15000
ContextModel_output_6_5_6.bul_.dimacs 10 17.70 17.96 72.0 311040000 5000 15000
ContextModel_output_7_3_9.bul_.dimacs 10 81.59 82.15 92.0 311040000 5000 15000
ContextModel_output_8_4_10.bul.dimacs 1 4975.76 5001.05 577.0 311040000 5000 15000
ContextModel_output_8_4_8.bul_.dimacs 1 4978.59 5001.04 421.0 311040000 5000 15000
ContextModel_output_8_4_9.bul.dimacs 1 4974.89 5001.04 362.0 311040000 5000 15000
DLTM_twitter690_74_16 10 32.49 32.83 96.0 311040000 5000 15000
DecompressReader_read_12 20 165.61 166.51 54.0 311040000 5000 15000
DivS_568_11.cnf.sanitized 10 204.47 205.54 202.0 311040000 5000 15000
DivS_862_11.cnf.sanitized 10 207.55 208.54 313.0 311040000 5000 15000
DivS_942_11.cnf.sanitized 10 206.78 207.83 340.0 311040000 5000 15000
DivU_1520_10.cnf.sanitized 20 239.03 240.43 268.0 311040000 5000 15000
DivU_624_11.cnf.sanitized 20 226.05 227.08 236.0 311040000 5000 15000
ER_400_20_4.apx_1_DC-ST 20 188.38 189.31 78.0 311040000 5000 15000
ER_400_20_7.apx_1_DC-ST 20 339.68 341.47 95.0 311040000 5000 15000
ER_500_10_1.apx_1_DC-AD 1 4979.51 5001.04 326.0 311040000 5000 15000
ER_500_10_2.apx_1_DS-ST 1 4981.48 5001.04 300.0 311040000 5000 15000
ER_500_10_5.apx_2_DC-ST 1 4980.99 5001.04 248.0 311040000 5000 15000
ER_500_30_3.apx_2_DC-ST 20 452.60 454.80 133.0 311040000 5000 15000
FileObject_open_12 20 16.44 16.76 34.0 311040000 5000 15000
FileObject_open_13 20 201.33 202.53 65.0 311040000 5000 15000
Grain_no_init_ver1_out200_known_last105_0_u 20 405.73 407.67 58.0 311040000 5000 15000
GzipFile_close_11 20 0.26 0.42 22.0 311040000 5000 15000
IBM_FV_2004_rule_batch_1_31_1_SAT_dat.k40.debugged 20 384.99 387.35 112.0 311040000 5000 15000
LZMAFile___init___14 20 36.21 36.43 35.0 311040000 5000 15000
LZMAFile_write_12 20 24.97 25.21 33.0 311040000 5000 15000
PRP_100_150 10 1030.99 1035.26 4010.0 311040000 5000 15000
PRP_100_250 10 1619.11 1625.10 6689.0 311040000 5000 15000
PRP_100_300 10 1899.02 1905.85 8129.0 311040000 5000 15000
PRP_100_350 10 4158.52 4173.34 9450.0 311040000 5000 15000
PRP_100_400 10 4408.00 4424.82 10753.0 311040000 5000 15000
PRP_100_450 10 2294.01 2302.30 12028.0 311040000 5000 15000
PRP_100_500 1 4978.49 5001.04 13437.0 311040000 5000 15000
PRP_100_550 10 2675.79 2687.09 14866.0 311040000 5000 15000
PRP_100_600 2 86.30 87.75 15008.0 311040000 5000 15000
PRP_200_100 10 1334.44 1338.92 5297.0 311040000 5000 15000
PRP_20_40 10 18.25 18.73 251.0 311040000 5000 15000
PRP_20_50 10 25.81 26.07 287.0 311040000 5000 15000
PRP_30_35 10 28.01 28.66 298.0 311040000 5000 15000
PRP_30_36 10 29.35 29.73 308.0 311040000 5000 15000
PRP_30_37 10 44.44 45.35 314.0 311040000 5000 15000
PRP_30_38 10 32.11 32.68 322.0 311040000 5000 15000
PRP_30_39 10 14.15 14.36 331.0 311040000 5000 15000
PRP_30_40 10 44.93 45.63 337.0 311040000 5000 15000
PRP_30_41 10 45.05 45.89 345.0 311040000 5000 15000
PRP_40_40 10 39.15 39.69 441.0 311040000 5000 15000
REGRandom-K3-L3-Seed10 20 63.83 64.25 136.0 311040000 5000 15000
REGRandom-K4-L1-Seed5 20 65.16 65.49 206.0 311040000 5000 15000
REGRandom-K4-L2-Seed20 1 4976.14 5001.04 1945.0 311040000 5000 15000
REGRandom-K4-L3-Seed15 1 4973.34 5001.04 3329.0 311040000 5000 15000
REGRandom-K4-L4-Seed10 1 4980.22 5001.04 10384.0 311040000 5000 15000
SAT_dat.k10 20 474.88 476.73 146.0 311040000 5000 15000
SC23_Timetable_C_473_E_45_Cl_32_D_6_T_50 1 4980.16 5001.05 806.0 311040000 5000 15000
SC23_Timetable_C_473_E_46_Cl_32_D_6_T_50 1 4976.78 5001.05 731.0 311040000 5000 15000
SC23_Timetable_C_473_E_49_Cl_32_D_6_T_50 10 39.29 39.65 276.0 311040000 5000 15000
SC23_Timetable_C_473_E_50_Cl_32_D_6_T_50 10 85.50 86.11 284.0 311040000 5000 15000
SC23_Timetable_C_473_E_52_Cl_32_D_6_T_50 10 249.55 250.82 343.0 311040000 5000 15000
SC23_Timetable_C_474_E_50_Cl_32_D_6_T_50 10 101.12 101.87 287.0 311040000 5000 15000
SC23_Timetable_C_476_E_50_Cl_32_D_6_T_50 10 328.84 330.14 455.0 311040000 5000 15000
SC23_Timetable_C_477_E_50_Cl_32_D_6_T_50 10 352.87 354.64 372.0 311040000 5000 15000
SC23_Timetable_C_478_E_50_Cl_32_D_6_T_50 10 73.85 74.44 307.0 311040000 5000 15000
SC23_Timetable_C_480_E_50_Cl_32_D_6_T_50 10 129.60 130.43 278.0 311040000 5000 15000
SC23_Timetable_C_481_E_49_Cl_32_D_6_T_50 10 236.93 238.38 384.0 311040000 5000 15000
SC23_Timetable_C_481_E_50_Cl_32_D_6_T_50 10 67.79 68.18 301.0 311040000 5000 15000
SC23_Timetable_C_481_E_51_Cl_32_D_6_T_50 10 29.39 29.64 272.0 311040000 5000 15000
SC23_Timetable_C_482_E_50_Cl_33_D_6_T_50 10 83.33 83.75 271.0 311040000 5000 15000
SC23_Timetable_C_483_E_50_Cl_33_D_6_T_50 10 355.37 356.93 365.0 311040000 5000 15000
SC23_Timetable_C_484_E_50_Cl_33_D_6_T_50 10 35.18 35.61 273.0 311040000 5000 15000
SC23_Timetable_C_486_E_50_Cl_33_D_6_T_50 10 104.75 105.39 295.0 311040000 5000 15000
SC23_Timetable_C_488_E_50_Cl_33_D_6_T_50 10 444.29 445.96 413.0 311040000 5000 15000
SC23_Timetable_C_490_E_50_Cl_33_D_6_T_50 10 120.48 121.22 314.0 311040000 5000 15000
SCPC-1000-18 10 235.36 236.24 146.0 311040000 5000 15000
SCPC-1000-20 10 238.75 240.23 147.0 311040000 5000 15000
SCPC-700-80 10 71.37 72.08 66.0 311040000 5000 15000
SCPC-700-81 10 62.23 62.63 77.0 311040000 5000 15000
SCPC-700-82 10 223.34 224.36 121.0 311040000 5000 15000
SCPC-700-84 10 29.08 29.39 41.0 311040000 5000 15000
SCPC-700-86 10 61.67 62.14 75.0 311040000 5000 15000
SCPC-700-87 10 42.67 42.99 52.0 311040000 5000 15000
SCPC-700-88 10 60.76 61.52 67.0 311040000 5000 15000
SCPC-800-40 10 39.81 40.30 41.0 311040000 5000 15000
SCPC-800-41 10 33.57 34.11 43.0 311040000 5000 15000
SCPC-800-42 10 33.44 33.80 42.0 311040000 5000 15000
SCPC-800-43 10 89.66 90.13 65.0 311040000 5000 15000
SCPC-800-44 10 38.77 39.35 42.0 311040000 5000 15000
SCPC-800-46 10 108.97 109.88 82.0 311040000 5000 15000
SCPC-800-49 10 57.78 58.28 82.0 311040000 5000 15000
SCPC-800-50 10 46.00 46.36 55.0 311040000 5000 15000
SCPC-900-27 10 343.17 344.62 155.0 311040000 5000 15000
SCPC-900-29 10 316.46 318.20 138.0 311040000 5000 15000
SCPC-900-31 10 2774.74 2784.59 399.0 311040000 5000 15000
SGI_30_70_27_50_3-dir.shuffled-as.sat03-169 20 2632.39 2641.67 261.0 311040000 5000 15000
Schur_160_5_d34 1 4979.06 5001.05 216.0 311040000 5000 15000
Schur_161_5_d40 20 1192.45 1196.81 150.0 311040000 5000 15000
StreamReader_readline_13 20 25.36 25.57 35.0 311040000 5000 15000
T87.2.0 20 354.99 356.69 2787.0 311040000 5000 15000
TableModel_output_6_3_8.bul_.dimacs 1 4979.42 5001.05 480.0 311040000 5000 15000
TableModel_output_6_4_6.bul_.dimacs 1 4978.32 5001.04 460.0 311040000 5000 15000
TableModel_output_7_3_9.bul_.dimacs 1 4979.54 5001.04 276.0 311040000 5000 15000
TableModel_output_8_3_10.bul_.dimacs 1 4980.67 5001.05 470.0 311040000 5000 15000
TableModel_output_8_4_7.bul_.dimacs 10 202.64 204.17 136.0 311040000 5000 15000
TableModel_output_8_4_8.bul_.dimacs 1 4981.10 5001.04 530.0 311040000 5000 15000
TableSymModel_output_6_3_8.bul_.dimacs 1 4981.37 5001.04 409.0 311040000 5000 15000
TableSymModel_output_6_4_6.bul_.dimacs 1 4978.79 5001.04 334.0 311040000 5000 15000
TableSymModel_output_6_5_6.bul_.dimacs 1 4977.77 5001.05 268.0 311040000 5000 15000
TableSymModel_output_7_3_9.bul_.dimacs 1 4979.31 5001.04 394.0 311040000 5000 15000
TableSymModel_output_8_3_10.bul_.dimacs 1 4979.76 5001.04 450.0 311040000 5000 15000
TableSymModel_output_8_4_7.bul_.dimacs 10 178.63 179.90 105.0 311040000 5000 15000
TableSymModel_output_8_4_8.bul_.dimacs 1 4977.24 5001.05 301.0 311040000 5000 15000
TimetableCNFEncoding_20_UNKNOWN 10 64.18 64.74 732.0 311040000 5000 15000
Urquhart-s3-b3.shuffled-as.sat03-1556 20 2.63 2.74 25.0 311040000 5000 15000
Urquhart-s5-b4.shuffled 1 4979.43 5001.04 143.0 311040000 5000 15000
WCNFPlus_from_fp_13 20 12.76 21.53 30.0 311040000 5000 15000
WCNFPlus_to_alien_14 20 10.88 11.06 27.0 311040000 5000 15000
WCNF_from_fp_13 20 5.31 5.49 27.0 311040000 5000 15000
WCNF_from_fp_14 20 31.78 32.16 35.0 311040000 5000 15000
WCNF_to_alien_14 20 37.94 38.27 36.0 311040000 5000 15000
WS_400_24_70_10.apx_1_DC-ST 20 686.27 688.83 102.0 311040000 5000 15000
WS_400_24_70_10.apx_2_DC-AD 20 883.38 887.08 128.0 311040000 5000 15000
WS_400_24_70_10.apx_2_DC-ST 20 461.13 463.16 69.0 311040000 5000 15000
WS_400_24_90_10.apx_1_DS-ST 1 4978.99 5001.04 241.0 311040000 5000 15000
WS_400_24_90_10.apx_2_DC-AD 20 1979.85 1988.25 127.0 311040000 5000 15000
WS_400_32_90_10.apx_1_DC-AD 1 4978.43 5001.05 227.0 311040000 5000 15000
WS_500_16_70_10.apx_2_DC-ST 20 219.08 220.26 61.0 311040000 5000 15000
WS_500_16_90_70.apx_2_DC-ST 20 141.36 142.33 55.0 311040000 5000 15000
WS_500_32_50_10.apx_2_DC-AD 1 4980.81 5001.04 265.0 311040000 5000 15000
aes_decry_2_rounds.debugged 20 98.10 98.69 433.0 311040000 5000 15000
asconhashv12_opt64_H10_M2-BPHqhzNzqi_m5_6_U14.c 20 294.37 295.82 143.0 311040000 5000 15000
asconhashv12_opt64_H10_M2-pH7B6T6Vub_m6_7.c 10 121.82 122.57 143.0 311040000 5000 15000
asconhashv12_opt64_H12_M2-CxLJidFX21oI_m3_6_U2.c 20 324.99 326.61 142.0 311040000 5000 15000
asconhashv12_opt64_H13_M2-NBRdIKEb8MS2W_m3_5.c 10 92.43 93.03 143.0 311040000 5000 15000
asconhashv12_opt64_H13_M2-axxJh7DAq767y_m4_5.c 10 61.78 62.29 140.0 311040000 5000 15000
asconhashv12_opt64_H15_M2-kwhXs2juqFoKAYA_m12_13_U16.c 20 130.27 131.01 122.0 311040000 5000 15000
asconhashv12_opt64_H4_M2-LOD9_m0_2_U19.c 20 127.94 129.03 115.0 311040000 5000 15000
asconhashv12_opt64_H4_M2-ldRf_m1_2_U21.c 20 131.71 132.97 117.0 311040000 5000 15000
asconhashv12_opt64_H5_M2-A8qZX_m0_3_U23.c 20 118.92 119.56 116.0 311040000 5000 15000
asconhashv12_opt64_H6_M2-4XKSMr_m1_3_U25.c 20 120.22 120.85 118.0 311040000 5000 15000
asconhashv12_opt64_H7_M2-K1zfAs8_m0_3_U5.c 20 136.50 137.31 119.0 311040000 5000 15000
asconhashv12_opt64_H7_M2-OrF8zEw_m2_4.c 10 123.09 123.65 118.0 311040000 5000 15000
asconhashv12_opt64_H7_M2-gHvzZOd_m3_4_U11.c 20 130.02 130.80 115.0 311040000 5000 15000
asconhashv12_opt64_H8_M2-1yQCyA0j_m2_6.c 10 145.60 146.43 143.0 311040000 5000 15000
asconhashv12_opt64_H8_M2-I61h2mH5_m2_6.c 10 253.75 255.36 142.0 311040000 5000 15000
asconhashv12_opt64_H8_M2-bL4cM6NJ_m4_5_U14.c 20 304.35 306.04 146.0 311040000 5000 15000
asconhashv12_opt64_H8_M2-nm2vUdkK_m3_5_U3.c 20 324.41 325.94 145.0 311040000 5000 15000
asconhashv12_opt64_H9_M2-Jdds95CIv_m1_5.c 10 87.13 87.73 143.0 311040000 5000 15000
asconhashv12_opt64_H9_M2-LSGb5PgEM_m2_7.c 10 163.53 164.36 144.0 311040000 5000 15000
asconhashv12_opt64_H9_M2-wNfQskE8G_m1_6_U0.c 20 300.22 302.06 144.0 311040000 5000 15000
baseballcover13with25_and3positions 20 386.29 388.35 2420.0 311040000 5000 15000
brent_13_0.1 20 454.31 456.69 92.0 311040000 5000 15000
brent_15_0.25 20 563.57 565.54 97.0 311040000 5000 15000
brent_51_0.07 10 46.73 47.14 114.0 311040000 5000 15000
brent_51_0.17 10 26.64 27.32 86.0 311040000 5000 15000
brent_51_0.28 10 176.43 177.42 139.0 311040000 5000 15000
brent_51_0.29 10 427.41 429.57 153.0 311040000 5000 15000
brent_63_0 10 2.91 3.10 106.0 311040000 5000 15000
brent_63_0.1 10 13.84 14.05 103.0 311040000 5000 15000
brent_63_0.15 10 11.84 12.20 101.0 311040000 5000 15000
brent_63_0.2 10 11.37 11.65 100.0 311040000 5000 15000
brent_63_0.22 10 11.42 11.73 100.0 311040000 5000 15000
brent_63_0.26 10 1.60 2.26 99.0 311040000 5000 15000
brent_65_0.1 10 46.65 47.12 121.0 311040000 5000 15000
brent_67_0.05 10 15.92 16.22 114.0 311040000 5000 15000
brent_69_0 10 2.73 2.89 112.0 311040000 5000 15000
brent_69_0.05 10 3.55 3.90 111.0 311040000 5000 15000
brent_69_0.3 10 9.71 10.24 106.0 311040000 5000 15000
brent_71_0.25 10 30.21 30.44 109.0 311040000 5000 15000
brent_9_0 20 147.49 148.23 67.0 311040000 5000 15000
c499_gr_2pin_w6.shuffled 10 0.34 0.48 27.0 311040000 5000 15000
c880_gr_rcs_w7.shuffled 10 0.19 0.33 38.0 311040000 5000 15000
cliquecoloring_n12_k9_c8 1 4979.87 5001.05 217.0 311040000 5000 15000
cliquecoloring_n14_k9_c8 1 4980.58 5001.05 231.0 311040000 5000 15000
cliquecoloring_n16_k7_c6 1 4979.52 5001.05 263.0 311040000 5000 15000
cliquecoloring_n18_k7_c6 1 4979.06 5001.04 235.0 311040000 5000 15000
clqcolor-08-06-07.shuffled-as.sat05-1257 20 0.37 0.50 23.0 311040000 5000 15000
collections_namedtuple_15 20 65.83 66.19 44.0 311040000 5000 15000
combined-crypto1-wff-seed-101-wffvars-500-cryptocplx-31-overlap-2 10 2.04 2.18 28.0 311040000 5000 15000
connm-ue-csp-sat-n600-d-0.02-s1022905465.used-as.sat04-951 10 0.15 0.31 22.0 311040000 5000 15000
crafted_n12_d6_c4_num4 20 251.40 252.57 3346.0 311040000 5000 15000
em_11_3_4_cmp 10 308.84 310.25 241.0 311040000 5000 15000
eqspctbk14spwtcl14 1 4979.41 5001.05 226.0 311040000 5000 15000
ferry8_ks99i.renamed-as.sat05-4005 10 0.14 0.32 31.0 311040000 5000 15000
g2-T49.2.0 20 1696.82 1703.43 3678.0 311040000 5000 15000
g2-T99.2.0 20 59.75 60.62 3075.0 311040000 5000 15000
g2-ak128astepbg2asisc 10 9.17 9.34 231.0 311040000 5000 15000
g2-slp-synthesis-aes-top29 10 20.23 20.51 291.0 311040000 5000 15000
gensys-icl002.shuffled-as.sat05-2714 20 6.09 6.26 28.0 311040000 5000 15000
goldberg03:hard_eq_check:i10mul.miter.used-as.sat04-333 20 8.96 9.38 48.0 311040000 5000 15000
goldcrest-and-16 20 1979.35 1988.19 693.0 311040000 5000 15000
grid-pbl-0150.shuffled-as.sat05-1347.shuffled-as.sat05-1347 20 0.23 0.42 40.0 311040000 5000 15000
grid_10_20.shuffled 20 0.00 0.04 0.0 311040000 5000 15000
grs-128-32 20 71.15 72.24 97.0 311040000 5000 15000
grs-128-64 20 226.30 227.46 173.0 311040000 5000 15000
grs-160-64 20 368.97 370.68 196.0 311040000 5000 15000
grs-192-160 20 3078.30 3093.25 642.0 311040000 5000 15000
grs-192-256 1 4978.54 5001.04 1091.0 311040000 5000 15000
grs-192-32 20 164.80 165.71 129.0 311040000 5000 15000
grs-192-48 20 283.08 284.44 174.0 311040000 5000 15000
grs-32-160 20 857.30 861.87 311.0 311040000 5000 15000
grs-32-256 20 2590.15 2602.21 631.0 311040000 5000 15000
grs-48-128 20 654.25 657.04 246.0 311040000 5000 15000
grs-48-160 20 1146.29 1151.18 323.0 311040000 5000 15000
grs-48-256 1 4976.50 5001.04 676.0 311040000 5000 15000
grs-64-160 20 1253.08 1257.88 355.0 311040000 5000 15000
grs-64-32 20 35.06 35.57 66.0 311040000 5000 15000
grs-96-192 20 2897.93 2907.78 560.0 311040000 5000 15000
grs-96-32 20 69.74 70.32 82.0 311040000 5000 15000
grs-96-96 20 394.47 396.83 220.0 311040000 5000 15000
hash_table_find_safety_size_10 20 425.78 427.65 6335.0 311040000 5000 15000
hash_table_find_safety_size_11 20 483.23 485.16 7131.0 311040000 5000 15000
hash_table_find_safety_size_12 20 501.08 503.07 7913.0 311040000 5000 15000
hash_table_find_safety_size_13 20 507.04 509.04 8760.0 311040000 5000 15000
hash_table_find_safety_size_14 20 510.94 512.91 9614.0 311040000 5000 15000
hash_table_find_safety_size_15 20 397.20 399.08 10503.0 311040000 5000 15000
hash_table_find_safety_size_16 20 367.20 369.17 11430.0 311040000 5000 15000
hash_table_find_safety_size_17 20 402.24 404.43 12397.0 311040000 5000 15000
hash_table_find_safety_size_18 20 424.22 426.40 13401.0 311040000 5000 15000
hash_table_find_safety_size_19 20 408.39 410.29 14443.0 311040000 5000 15000
hash_table_find_safety_size_20 2 96.89 98.35 15041.0 311040000 5000 15000
hash_table_find_safety_size_21 2 103.43 104.95 15218.0 311040000 5000 15000
hash_table_find_safety_size_22 2 78.91 80.35 15027.0 311040000 5000 15000
hash_table_find_safety_size_23 2 80.66 82.05 15003.0 311040000 5000 15000
hash_table_find_safety_size_24 2 75.88 77.25 15015.0 311040000 5000 15000
hash_table_find_safety_size_25 2 62.51 63.85 15105.0 311040000 5000 15000
hash_table_find_safety_size_26 2 60.51 61.85 15359.0 311040000 5000 15000
hash_table_find_safety_size_27 2 57.14 58.45 15403.0 311040000 5000 15000
hash_table_find_safety_size_29 2 55.43 56.74 15004.0 311040000 5000 15000
hash_table_find_safety_size_30 2 61.40 62.76 15003.0 311040000 5000 15000
hwmcc10-timeframe-expansion-k45-nusmvguidancep9-tseitin 20 1.52 2.15 71.0 311040000 5000 15000
ibm-2004-03-k70 10 2.60 2.79 109.0 311040000 5000 15000
instance_n6_i6_pp_ci_ce 10 1.74 1.98 38.0 311040000 5000 15000
intervals122 1 4975.82 5001.05 320.0 311040000 5000 15000
intervals222 1 4983.32 5001.04 312.0 311040000 5000 15000
intervals244 1 4978.55 5001.05 272.0 311040000 5000 15000
intervals313 1 4979.46 5001.05 191.0 311040000 5000 15000
intervals327 1 4982.33 5001.04 263.0 311040000 5000 15000
intervals467 1 4978.10 5001.04 299.0 311040000 5000 15000
intervals477 1 4983.27 5001.04 379.0 311040000 5000 15000
intervals553 1 4979.35 5001.05 202.0 311040000 5000 15000
intervals607 1 4979.68 5001.05 223.0 311040000 5000 15000
intervals633 1 4983.25 5001.04 225.0 311040000 5000 15000
intervals7 1 4980.75 5001.04 227.0 311040000 5000 15000
intervals718 1 4981.53 5001.05 263.0 311040000 5000 15000
intervals727 1 4975.88 5001.04 243.0 311040000 5000 15000
intervals753 1 4977.02 5001.05 291.0 311040000 5000 15000
intervals788 1 4978.33 5001.04 229.0 311040000 5000 15000
intervals80 1 4980.79 5001.05 278.0 311040000 5000 15000
intervals802 1 4975.72 5001.05 315.0 311040000 5000 15000
intervals803 1 4979.04 5001.05 312.0 311040000 5000 15000
intervals855 1 4982.72 5001.04 276.0 311040000 5000 15000
intervals961 1 4979.18 5001.04 297.0 311040000 5000 15000
iso-brn100.shuffled-as.sat05-3025 10 0.19 0.32 27.0 311040000 5000 15000
iso-icl004.shuffled-as.sat05-3238 20 0.19 0.25 24.0 311040000 5000 15000
iso-ukn004.shuffled-as.sat05-3385 10 0.38 0.50 27.0 311040000 5000 15000
jkkk-one-one-11-32-unsat 20 157.65 158.35 63.0 311040000 5000 15000
lisa19_99_a.shuffled 10 2.46 2.78 25.0 311040000 5000 15000
mchess16-mixed-25percent-blocked 20 34.33 35.04 39.0 311040000 5000 15000
mchess16-mixed-35percent-blocked 20 18.38 19.02 35.0 311040000 5000 15000
mchess16-mixed-45percent-blocked 20 12.01 12.25 33.0 311040000 5000 15000
mchess18-mixed-25percent-blocked 20 109.44 109.94 56.0 311040000 5000 15000
mchess18-mixed-35percent-blocked 20 184.43 185.24 71.0 311040000 5000 15000
mchess18-mixed-45percent-blocked 20 63.56 64.00 51.0 311040000 5000 15000
mchess20-mixed-25percent-blocked 20 1833.91 1843.64 163.0 311040000 5000 15000
mchess20-mixed-35percent-blocked 20 1017.21 1022.09 158.0 311040000 5000 15000
mchess20-mixed-45percent-blocked 20 933.04 937.46 112.0 311040000 5000 15000
mchess22-mixed-25percent-blocked 1 4981.50 5001.04 255.0 311040000 5000 15000
mchess22-mixed-35percent-blocked 1 4968.49 5001.04 248.0 311040000 5000 15000
mchess22-mixed-45percent-blocked 1 4977.27 5001.05 241.0 311040000 5000 15000
minxor128 20 616.20 618.81 260.0 311040000 5000 15000
mm-1x10-10-10-sb.1.shuffled-as.sat03-1489 10 34.50 34.90 49.0 311040000 5000 15000
mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534 10 82.21 90.50 40.0 311040000 5000 15000
mod4block_2vars_10gates_u2_autoenc-sc2009 10 59.63 59.93 50.0 311040000 5000 15000
mp1-klieber2017s-1600-022-eq 20 525.56 528.21 63.0 311040000 5000 15000
mrpp_4x4#12_12 20 5.05 5.32 29.0 311040000 5000 15000
mrpp_6x6#18_20 10 8.28 8.49 50.0 311040000 5000 15000
mrpp_8x8#22_10 20 0.50 0.68 41.0 311040000 5000 15000
multiplier_13bits__miter_15 20 1747.42 1754.40 101.0 311040000 5000 15000
multiplier_14bits__miter_14 20 4310.95 4329.54 151.0 311040000 5000 15000
multiplier_15bits__miter_20 1 4977.02 5001.05 216.0 311040000 5000 15000
multiplier_16bits__miter_19 1 4981.79 5001.05 240.0 311040000 5000 15000
ncc_none_7047_6_3_3_0_0_420 20 40.86 41.18 1643.0 311040000 5000 15000
new-difficult-26-243-24-70 1 4973.28 5001.05 289.0 311040000 5000 15000
oisc-subrv-and-nested-14 1 4980.17 5001.04 9779.0 311040000 5000 15000
oisc-subrv-sll-nested-15 20 1641.94 1649.76 11255.0 311040000 5000 15000
or_randxor_k3_n520_m520 20 1.35 1.43 23.0 311040000 5000 15000
or_randxor_k3_n540_m540 20 26.37 26.79 31.0 311040000 5000 15000
or_randxor_k3_n560_m560 20 14.06 14.27 28.0 311040000 5000 15000
or_randxor_k3_n600_m600 20 12.89 13.10 29.0 311040000 5000 15000
or_randxor_k3_n640_m640 20 1.83 2.00 23.0 311040000 5000 15000
os_fwalk_12 20 3.56 3.66 25.0 311040000 5000 15000
par32-4.shuffled 1 4976.78 5001.05 186.0 311040000 5000 15000
patat-08-comp-3 10 8.57 8.82 231.0 311040000 5000 15000
pbl-00070.shuffled-as.sat05-1324.shuffled-as.sat05-1324 20 0.28 0.39 24.0 311040000 5000 15000
php-010-009.shuffled-as.sat05-1185 20 0.00 0.12 6.0 311040000 5000 15000
php15-mixed-15percent-blocked 1 4977.70 5001.05 225.0 311040000 5000 15000
php16-mixed-15percent-blocked 1 4978.52 5001.05 302.0 311040000 5000 15000
php17-mixed-15percent-blocked 1 4979.74 5001.05 245.0 311040000 5000 15000
php17-mixed-35percent-blocked 20 207.53 208.43 71.0 311040000 5000 15000
php18-mixed-15percent-blocked 1 4981.69 5001.04 254.0 311040000 5000 15000
php18-mixed-35percent-blocked 20 675.09 678.51 140.0 311040000 5000 15000
pmg-12-UNSAT.sat05-3940.reshuffled-07 1 4980.82 5001.04 160.0 311040000 5000 15000
posixpath__joinrealpath_13 20 14.99 18.34 30.0 311040000 5000 15000
posixpath_expanduser_14 20 232.69 233.71 72.0 311040000 5000 15000
preimage_80r_490m_160h_seed_150 1 4980.06 5001.04 80.0 311040000 5000 15000
pyhala-braun-sat-35-4-04.shuffled 10 0.84 0.98 29.0 311040000 5000 15000
qwh.40.560.shuffled-as.sat03-1654 10 15.33 15.60 41.0 311040000 5000 15000
rand_net50-60-10.shuffled 20 7.32 7.64 30.0 311040000 5000 15000
rand_net70-40-10.shuffled 20 3.35 3.49 29.0 311040000 5000 15000
rbsat-v1150c84314gyes10 1 4982.91 5001.06 287.0 311040000 5000 15000
rbsat-v760c43649gyes10 10 20.17 20.49 36.0 311040000 5000 15000
rbsat-v760c43649gyes5 10 9.32 9.68 33.0 311040000 5000 15000
rook-47-0-1 20 406.13 408.80 174.0 311040000 5000 15000
rovers1_ks99i.renamed-as.sat05-3971 10 0.00 0.05 0.0 311040000 5000 15000
rphp_p20_r20 1 4979.16 5001.05 381.0 311040000 5000 15000
rphp_p30_r30 1 4978.67 5001.05 627.0 311040000 5000 15000
rphp_p60_r60 1 4975.20 5001.05 1405.0 311040000 5000 15000
rphp_p8_r250 1 4977.49 5001.04 753.0 311040000 5000 15000
sat-bench-trig-bhaskara 20 275.79 277.18 787.0 311040000 5000 15000
sat-bench-trig-taylor2 20 335.83 337.56 794.0 311040000 5000 15000
sat-bench-trig-taylor4 20 2373.66 2382.35 1418.0 311040000 5000 15000
sat-bench-trig-taylor6 20 4769.99 4791.07 2042.0 311040000 5000 15000
satch2ways15u 20 645.70 649.30 79.0 311040000 5000 15000
satch2ways16w 1 4978.23 5001.04 183.0 311040000 5000 15000
satcoin-genesis-UNSAT-10600 20 546.38 548.80 196.0 311040000 5000 15000
satcoin-genesis-UNSAT-11400 20 543.87 546.77 206.0 311040000 5000 15000
satcoin-genesis-UNSAT-11900 20 625.14 628.13 194.0 311040000 5000 15000
satcoin-genesis-UNSAT-12300 20 664.14 667.43 196.0 311040000 5000 15000
satcoin-genesis-UNSAT-17400 20 746.05 749.49 195.0 311040000 5000 15000
satcoin-genesis-UNSAT-17800 20 915.03 918.86 205.0 311040000 5000 15000
satcoin-genesis-UNSAT-18400 20 1024.07 1029.05 197.0 311040000 5000 15000
satcoin-genesis-UNSAT-18600 20 957.50 961.61 197.0 311040000 5000 15000
satcoin-genesis-UNSAT-18800 20 887.42 891.54 202.0 311040000 5000 15000
satcoin-genesis-UNSAT-19500 20 1110.44 1117.66 195.0 311040000 5000 15000
satcoin-genesis-UNSAT-19800 20 1116.53 1121.34 208.0 311040000 5000 15000
satcoin-genesis-UNSAT-5920 20 325.40 327.05 197.0 311040000 5000 15000
satcoin-genesis-UNSAT-7200 20 514.33 516.66 196.0 311040000 5000 15000
satcoin-genesis-UNSAT-9080 20 521.26 523.33 197.0 311040000 5000 15000
satcoin-genesis-UNSAT-9880 20 541.39 543.96 198.0 311040000 5000 15000
satsgi-n23himBHm26-p0-q248 10 0.00 0.11 0.0 311040000 5000 15000
sgen1-unsat-97-100.cnf.mis-72.debugged 20 7.47 7.66 28.0 311040000 5000 15000
sgen3-n260-s62321009-sat 1 4977.12 5001.05 188.0 311040000 5000 15000
shift1add.28943 20 14.09 14.47 374.0 311040000 5000 15000
shuffling-1-s1870372346-of-bench-sat04-423.used-as.sat04-562 10 5.47 5.68 32.0 311040000 5000 15000
shuffling-2-s1480152728-of-bench-sat04-434.used-as.sat04-711 20 34.16 34.46 486.0 311040000 5000 15000
spg_200_307 20 41.38 41.70 411.0 311040000 5000 15000
spg_420_280 20 89.81 90.39 867.0 311040000 5000 15000
square.2.0.i.smt2-cvc4 20 5.22 5.37 78.0 311040000 5000 15000
srhd-sgi-m37-q446.25-n35-p30-s33692332 10 4.56 9.40 61.0 311040000 5000 15000
stb_418_125.apx_2_DC-ST 20 459.03 461.03 77.0 311040000 5000 15000
stb_531_83.apx_2_DC-AD 20 480.55 482.74 75.0 311040000 5000 15000
stb_588_138.apx_2_DC-ST 20 135.21 136.01 49.0 311040000 5000 15000
stb_588_138.apx_2_DS-ST 10 162.82 163.63 54.0 311040000 5000 15000
stb_792_333.apx_1_DS-ST 10 319.35 320.68 67.0 311040000 5000 15000
tph8 20 137.00 137.82 52.0 311040000 5000 15000
tseitin_d3_n10000 1 4976.74 5001.05 1627.0 311040000 5000 15000
tseitin_d3_n110000 1 4978.14 5001.05 1286.0 311040000 5000 15000
tseitin_d3_n160 1 4979.82 5001.04 162.0 311040000 5000 15000
tseitin_d3_n180000 1 4978.76 5001.04 1406.0 311040000 5000 15000
tseitin_d3_n200 1 4978.96 5001.04 213.0 311040000 5000 15000
tseitin_grid_n100_m100 1 4980.65 5001.04 650.0 311040000 5000 15000
tseitin_grid_n260_m260 1 4977.48 5001.05 524.0 311040000 5000 15000
tseitingrid7x160_shuffled-sc2016 1 4974.71 5001.05 426.0 311040000 5000 15000
unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07 20 12.40 12.59 33.0 311040000 5000 15000
velev-pipe-o-uns-1.0-7 20 105.39 106.05 217.0 311040000 5000 15000
vmpc_24 10 4.54 4.69 36.0 311040000 5000 15000
vmpc_28.shuffled-as.sat05-1957 10 27.54 27.84 44.0 311040000 5000 15000
