 result time real space tlim rlim slim
10pipe_q0_k 20 489.28 491.63 195.0 311040000 5000 15000
15pipe_q0_k 1 4973.24 5001.03 780.0 311040000 5000 15000
16_1 1 4976.86 5001.03 49.0 311040000 5000 15000
170223547 10 44.02 44.24 19.0 311040000 5000 15000
17_0 1 4977.11 5001.03 45.0 311040000 5000 15000
18_1 1 4977.11 5001.03 44.0 311040000 5000 15000
19_2 1 4979.88 5001.03 40.0 311040000 5000 15000
20_2 1 4980.95 5001.03 40.0 311040000 5000 15000
21_1 1 4978.12 5001.03 43.0 311040000 5000 15000
22_1 1 4978.38 5001.03 39.0 311040000 5000 15000
23_2 1 4979.82 5001.03 34.0 311040000 5000 15000
24_0 1 4978.15 5001.03 40.0 311040000 5000 15000
25_2 1 4979.45 5001.03 37.0 311040000 5000 15000
26_1 1 4978.58 5001.03 31.0 311040000 5000 15000
27_1 1 4978.41 5001.03 33.0 311040000 5000 15000
28_2 1 4979.01 5001.03 31.0 311040000 5000 15000
29_1 1 4978.14 5001.03 32.0 311040000 5000 15000
30_2 10 1327.82 1333.25 23.0 311040000 5000 15000
31_1 1 4980.84 5001.03 32.0 311040000 5000 15000
32_0 1 4980.18 5001.03 28.0 311040000 5000 15000
3col120_5_2.shuffled 10 0.00 0.11 0.0 311040000 5000 15000
46bits_11.dimacs 10 126.23 126.84 18.0 311040000 5000 15000
5col100_15_6.shuffled 20 2.70 2.85 6.0 311040000 5000 15000
6g_6color_366_050_04 10 169.85 170.79 287.0 311040000 5000 15000
6s165 20 0.83 1.00 7.0 311040000 5000 15000
6s166 20 10.24 10.36 13.0 311040000 5000 15000
6s20-sc2013 20 270.69 271.79 44.0 311040000 5000 15000
9vliw_bp_mc.shuffled 20 7.96 8.09 30.0 311040000 5000 15000
BZ2File_write_11 20 1728.08 1735.22 109.0 311040000 5000 15000
C208_FA_UT_3254 20 0.00 0.19 1.0 311040000 5000 15000
CNFPlus_from_fp_12 20 4927.95 4950.53 124.0 311040000 5000 15000
CNF_to_alien_11 20 1619.13 1627.96 98.0 311040000 5000 15000
CNF_to_alien_12 1 4978.55 5001.03 170.0 311040000 5000 15000
CNP-5-1100 10 0.89 0.94 17.0 311040000 5000 15000
ContextModel_output_6_3_8.bul_.dimacs 10 64.11 64.45 27.0 311040000 5000 15000
ContextModel_output_6_4_6.bul_.dimacs 10 3139.02 3149.90 111.0 311040000 5000 15000
ContextModel_output_6_5_6.bul_.dimacs 10 619.93 622.48 76.0 311040000 5000 15000
ContextModel_output_7_3_9.bul_.dimacs 10 107.27 107.80 36.0 311040000 5000 15000
ContextModel_output_8_4_10.bul.dimacs 1 4975.69 5001.03 160.0 311040000 5000 15000
ContextModel_output_8_4_8.bul_.dimacs 1 4978.38 5001.03 158.0 311040000 5000 15000
ContextModel_output_8_4_9.bul.dimacs 1 4979.44 5001.03 162.0 311040000 5000 15000
DLTM_twitter690_74_16 10 331.99 333.63 61.0 311040000 5000 15000
DecompressReader_read_12 20 4831.92 4853.23 145.0 311040000 5000 15000
DivS_568_11.cnf.sanitized 10 29.96 30.15 112.0 311040000 5000 15000
DivS_862_11.cnf.sanitized 10 54.49 54.85 146.0 311040000 5000 15000
DivS_942_11.cnf.sanitized 10 56.52 56.90 153.0 311040000 5000 15000
DivU_1520_10.cnf.sanitized 20 26.98 27.12 127.0 311040000 5000 15000
DivU_624_11.cnf.sanitized 20 31.25 31.49 121.0 311040000 5000 15000
ER_400_20_4.apx_1_DC-ST 20 154.70 155.47 38.0 311040000 5000 15000
ER_400_20_7.apx_1_DC-ST 20 300.08 301.32 41.0 311040000 5000 15000
ER_500_10_1.apx_1_DC-AD 1 4977.05 5001.03 103.0 311040000 5000 15000
ER_500_10_2.apx_1_DS-ST 1 4980.26 5001.03 90.0 311040000 5000 15000
ER_500_10_5.apx_2_DC-ST 1 4975.27 5001.03 76.0 311040000 5000 15000
ER_500_30_3.apx_2_DC-ST 20 341.51 343.22 71.0 311040000 5000 15000
FileObject_open_12 1 4977.68 5001.03 153.0 311040000 5000 15000
FileObject_open_13 1 4977.17 5001.03 151.0 311040000 5000 15000
Grain_no_init_ver1_out200_known_last105_0_u 20 237.07 238.08 23.0 311040000 5000 15000
GzipFile_close_11 20 1819.05 1826.48 92.0 311040000 5000 15000
IBM_FV_2004_rule_batch_1_31_1_SAT_dat.k40.debugged 20 210.87 211.74 34.0 311040000 5000 15000
LZMAFile___init___14 1 4978.15 5001.03 179.0 311040000 5000 15000
LZMAFile_write_12 1 4979.82 5001.03 138.0 311040000 5000 15000
PRP_100_150 10 4966.38 4990.17 1414.0 311040000 5000 15000
PRP_100_250 1 4978.67 5001.03 2322.0 311040000 5000 15000
PRP_100_300 1 4978.84 5001.03 2618.0 311040000 5000 15000
PRP_100_350 10 1101.74 1106.76 3121.0 311040000 5000 15000
PRP_100_400 10 2450.47 2462.00 3606.0 311040000 5000 15000
PRP_100_450 1 4976.50 5001.03 3968.0 311040000 5000 15000
PRP_100_500 1 4977.40 5001.03 4748.0 311040000 5000 15000
PRP_100_550 1 4974.95 5001.03 4770.0 311040000 5000 15000
PRP_100_600 1 4978.50 5001.03 5143.0 311040000 5000 15000
PRP_200_100 10 1479.20 1485.74 1797.0 311040000 5000 15000
PRP_20_40 10 9.15 9.24 98.0 311040000 5000 15000
PRP_20_50 10 6.06 6.18 114.0 311040000 5000 15000
PRP_30_35 10 6.75 6.83 117.0 311040000 5000 15000
PRP_30_36 10 22.49 22.61 125.0 311040000 5000 15000
PRP_30_37 10 22.99 23.20 129.0 311040000 5000 15000
PRP_30_38 10 12.14 12.25 122.0 311040000 5000 15000
PRP_30_39 10 5.96 6.04 125.0 311040000 5000 15000
PRP_30_40 10 13.33 13.46 115.0 311040000 5000 15000
PRP_30_41 10 23.39 23.53 120.0 311040000 5000 15000
PRP_40_40 10 11.63 11.72 157.0 311040000 5000 15000
REGRandom-K3-L3-Seed10 1 4979.44 5001.03 445.0 311040000 5000 15000
REGRandom-K4-L1-Seed5 20 294.73 295.96 169.0 311040000 5000 15000
REGRandom-K4-L2-Seed20 1 4977.34 5001.03 662.0 311040000 5000 15000
REGRandom-K4-L3-Seed15 1 4978.94 5001.03 1624.0 311040000 5000 15000
REGRandom-K4-L4-Seed10 1 4978.06 5001.03 5160.0 311040000 5000 15000
SAT_dat.k10 20 29.39 29.54 40.0 311040000 5000 15000
SC23_Timetable_C_473_E_45_Cl_32_D_6_T_50 1 4976.85 5001.03 252.0 311040000 5000 15000
SC23_Timetable_C_473_E_46_Cl_32_D_6_T_50 1 4976.72 5001.03 287.0 311040000 5000 15000
SC23_Timetable_C_473_E_49_Cl_32_D_6_T_50 10 69.11 69.49 156.0 311040000 5000 15000
SC23_Timetable_C_473_E_50_Cl_32_D_6_T_50 10 32.15 32.33 155.0 311040000 5000 15000
SC23_Timetable_C_473_E_52_Cl_32_D_6_T_50 10 22.99 23.13 153.0 311040000 5000 15000
SC23_Timetable_C_474_E_50_Cl_32_D_6_T_50 10 27.76 28.00 143.0 311040000 5000 15000
SC23_Timetable_C_476_E_50_Cl_32_D_6_T_50 10 69.00 69.54 161.0 311040000 5000 15000
SC23_Timetable_C_477_E_50_Cl_32_D_6_T_50 10 155.95 156.65 161.0 311040000 5000 15000
SC23_Timetable_C_478_E_50_Cl_32_D_6_T_50 10 934.96 939.09 223.0 311040000 5000 15000
SC23_Timetable_C_480_E_50_Cl_32_D_6_T_50 10 110.38 110.99 173.0 311040000 5000 15000
SC23_Timetable_C_481_E_49_Cl_32_D_6_T_50 10 22.89 23.10 140.0 311040000 5000 15000
SC23_Timetable_C_481_E_50_Cl_32_D_6_T_50 10 53.25 53.58 145.0 311040000 5000 15000
SC23_Timetable_C_481_E_51_Cl_32_D_6_T_50 10 354.02 355.71 188.0 311040000 5000 15000
SC23_Timetable_C_482_E_50_Cl_33_D_6_T_50 10 20.11 20.25 172.0 311040000 5000 15000
SC23_Timetable_C_483_E_50_Cl_33_D_6_T_50 10 163.60 164.37 153.0 311040000 5000 15000
SC23_Timetable_C_484_E_50_Cl_33_D_6_T_50 10 30.13 30.40 141.0 311040000 5000 15000
SC23_Timetable_C_486_E_50_Cl_33_D_6_T_50 10 86.67 87.14 163.0 311040000 5000 15000
SC23_Timetable_C_488_E_50_Cl_33_D_6_T_50 10 700.73 703.96 203.0 311040000 5000 15000
SC23_Timetable_C_490_E_50_Cl_33_D_6_T_50 10 413.48 415.52 181.0 311040000 5000 15000
SCPC-1000-18 10 133.51 134.13 54.0 311040000 5000 15000
SCPC-1000-20 10 16.93 17.06 26.0 311040000 5000 15000
SCPC-700-80 10 14.05 14.21 25.0 311040000 5000 15000
SCPC-700-81 10 48.39 48.68 42.0 311040000 5000 15000
SCPC-700-82 10 85.37 85.74 45.0 311040000 5000 15000
SCPC-700-84 10 87.11 87.57 44.0 311040000 5000 15000
SCPC-700-86 10 88.03 88.45 46.0 311040000 5000 15000
SCPC-700-87 10 16.92 17.08 25.0 311040000 5000 15000
SCPC-700-88 10 48.61 48.89 41.0 311040000 5000 15000
SCPC-800-40 10 21.39 21.60 31.0 311040000 5000 15000
SCPC-800-41 10 20.44 20.82 27.0 311040000 5000 15000
SCPC-800-42 10 43.70 43.96 40.0 311040000 5000 15000
SCPC-800-43 10 46.29 46.55 41.0 311040000 5000 15000
SCPC-800-44 10 84.84 85.23 44.0 311040000 5000 15000
SCPC-800-46 10 130.65 131.23 60.0 311040000 5000 15000
SCPC-800-49 10 85.24 85.65 57.0 311040000 5000 15000
SCPC-800-50 10 131.07 131.62 57.0 311040000 5000 15000
SCPC-900-27 10 718.34 721.73 92.0 311040000 5000 15000
SCPC-900-29 10 140.60 141.31 67.0 311040000 5000 15000
SCPC-900-31 10 3028.24 3038.66 154.0 311040000 5000 15000
SGI_30_70_27_50_3-dir.shuffled-as.sat03-169 20 1688.89 1696.62 110.0 311040000 5000 15000
Schur_160_5_d34 1 4979.18 5001.03 98.0 311040000 5000 15000
Schur_161_5_d40 20 507.29 509.79 63.0 311040000 5000 15000
StreamReader_readline_13 1 4980.09 5001.03 159.0 311040000 5000 15000
T87.2.0 20 284.11 285.70 1722.0 311040000 5000 15000
TableModel_output_6_3_8.bul_.dimacs 1 4977.45 5001.03 251.0 311040000 5000 15000
TableModel_output_6_4_6.bul_.dimacs 1 4980.63 5001.03 200.0 311040000 5000 15000
TableModel_output_7_3_9.bul_.dimacs 1 4977.03 5001.03 229.0 311040000 5000 15000
TableModel_output_8_3_10.bul_.dimacs 1 4979.47 5001.03 359.0 311040000 5000 15000
TableModel_output_8_4_7.bul_.dimacs 10 266.88 267.81 164.0 311040000 5000 15000
TableModel_output_8_4_8.bul_.dimacs 1 4981.88 5001.03 527.0 311040000 5000 15000
TableSymModel_output_6_3_8.bul_.dimacs 1 4977.84 5001.03 215.0 311040000 5000 15000
TableSymModel_output_6_4_6.bul_.dimacs 1 4980.62 5001.03 121.0 311040000 5000 15000
TableSymModel_output_6_5_6.bul_.dimacs 1 4978.96 5001.03 126.0 311040000 5000 15000
TableSymModel_output_7_3_9.bul_.dimacs 1 4980.43 5001.03 150.0 311040000 5000 15000
TableSymModel_output_8_3_10.bul_.dimacs 1 4979.43 5001.03 209.0 311040000 5000 15000
TableSymModel_output_8_4_7.bul_.dimacs 10 180.59 181.30 64.0 311040000 5000 15000
TableSymModel_output_8_4_8.bul_.dimacs 1 4977.99 5001.03 223.0 311040000 5000 15000
TimetableCNFEncoding_20_UNKNOWN 10 25.58 25.76 325.0 311040000 5000 15000
Urquhart-s3-b3.shuffled-as.sat03-1556 20 0.99 1.02 7.0 311040000 5000 15000
Urquhart-s5-b4.shuffled 1 4977.75 5001.03 113.0 311040000 5000 15000
WCNFPlus_from_fp_13 1 4976.85 5001.03 144.0 311040000 5000 15000
WCNFPlus_to_alien_14 1 4980.40 5001.03 175.0 311040000 5000 15000
WCNF_from_fp_13 1 4981.05 5001.03 159.0 311040000 5000 15000
WCNF_from_fp_14 1 4977.59 5001.03 157.0 311040000 5000 15000
WCNF_to_alien_14 1 4978.36 5001.03 160.0 311040000 5000 15000
WS_400_24_70_10.apx_1_DC-ST 20 572.55 575.27 24.0 311040000 5000 15000
WS_400_24_70_10.apx_2_DC-AD 20 504.19 506.58 37.0 311040000 5000 15000
WS_400_24_70_10.apx_2_DC-ST 20 393.81 395.83 24.0 311040000 5000 15000
WS_400_24_90_10.apx_1_DS-ST 1 4977.45 5001.03 64.0 311040000 5000 15000
WS_400_24_90_10.apx_2_DC-AD 20 1480.39 1487.52 51.0 311040000 5000 15000
WS_400_32_90_10.apx_1_DC-AD 1 4978.18 5001.03 95.0 311040000 5000 15000
WS_500_16_70_10.apx_2_DC-ST 20 193.30 194.13 21.0 311040000 5000 15000
WS_500_16_90_70.apx_2_DC-ST 20 116.18 116.71 18.0 311040000 5000 15000
WS_500_32_50_10.apx_2_DC-AD 1 4977.36 5001.03 76.0 311040000 5000 15000
aes_decry_2_rounds.debugged 20 101.00 101.41 134.0 311040000 5000 15000
asconhashv12_opt64_H10_M2-BPHqhzNzqi_m5_6_U14.c 20 282.71 284.24 107.0 311040000 5000 15000
asconhashv12_opt64_H10_M2-pH7B6T6Vub_m6_7.c 10 84.92 85.38 84.0 311040000 5000 15000
asconhashv12_opt64_H12_M2-CxLJidFX21oI_m3_6_U2.c 20 220.45 221.39 100.0 311040000 5000 15000
asconhashv12_opt64_H13_M2-NBRdIKEb8MS2W_m3_5.c 10 178.16 178.95 97.0 311040000 5000 15000
asconhashv12_opt64_H13_M2-axxJh7DAq767y_m4_5.c 10 178.36 179.17 83.0 311040000 5000 15000
asconhashv12_opt64_H15_M2-kwhXs2juqFoKAYA_m12_13_U16.c 20 98.32 98.76 65.0 311040000 5000 15000
asconhashv12_opt64_H4_M2-LOD9_m0_2_U19.c 20 101.59 102.05 85.0 311040000 5000 15000
asconhashv12_opt64_H4_M2-ldRf_m1_2_U21.c 20 102.59 103.07 65.0 311040000 5000 15000
asconhashv12_opt64_H5_M2-A8qZX_m0_3_U23.c 20 96.28 96.72 66.0 311040000 5000 15000
asconhashv12_opt64_H6_M2-4XKSMr_m1_3_U25.c 20 95.43 95.88 66.0 311040000 5000 15000
asconhashv12_opt64_H7_M2-K1zfAs8_m0_3_U5.c 20 97.49 97.92 68.0 311040000 5000 15000
asconhashv12_opt64_H7_M2-OrF8zEw_m2_4.c 10 14.69 14.91 66.0 311040000 5000 15000
asconhashv12_opt64_H7_M2-gHvzZOd_m3_4_U11.c 20 109.48 110.00 88.0 311040000 5000 15000
asconhashv12_opt64_H8_M2-1yQCyA0j_m2_6.c 10 152.17 152.91 100.0 311040000 5000 15000
asconhashv12_opt64_H8_M2-I61h2mH5_m2_6.c 10 33.44 34.04 84.0 311040000 5000 15000
asconhashv12_opt64_H8_M2-bL4cM6NJ_m4_5_U14.c 20 258.27 259.59 105.0 311040000 5000 15000
asconhashv12_opt64_H8_M2-nm2vUdkK_m3_5_U3.c 20 210.48 211.32 98.0 311040000 5000 15000
asconhashv12_opt64_H9_M2-Jdds95CIv_m1_5.c 10 133.24 133.88 83.0 311040000 5000 15000
asconhashv12_opt64_H9_M2-LSGb5PgEM_m2_7.c 10 39.81 40.11 83.0 311040000 5000 15000
asconhashv12_opt64_H9_M2-wNfQskE8G_m1_6_U0.c 20 205.35 206.23 98.0 311040000 5000 15000
baseballcover13with25_and3positions 20 472.38 474.95 817.0 311040000 5000 15000
brent_13_0.1 20 240.34 241.42 41.0 311040000 5000 15000
brent_15_0.25 20 961.67 965.67 44.0 311040000 5000 15000
brent_51_0.07 10 12.04 12.18 51.0 311040000 5000 15000
brent_51_0.17 10 34.63 34.84 62.0 311040000 5000 15000
brent_51_0.28 10 20.60 20.75 47.0 311040000 5000 15000
brent_51_0.29 10 2.79 2.88 27.0 311040000 5000 15000
brent_63_0 10 0.70 0.73 48.0 311040000 5000 15000
brent_63_0.1 10 4.48 4.59 57.0 311040000 5000 15000
brent_63_0.15 10 5.18 5.22 45.0 311040000 5000 15000
brent_63_0.2 10 0.50 0.52 35.0 311040000 5000 15000
brent_63_0.22 10 0.69 0.75 34.0 311040000 5000 15000
brent_63_0.26 10 3.29 3.36 28.0 311040000 5000 15000
brent_65_0.1 10 3.78 3.90 50.0 311040000 5000 15000
brent_67_0.05 10 2.06 2.14 65.0 311040000 5000 15000
brent_69_0 10 4.37 4.49 74.0 311040000 5000 15000
brent_69_0.05 10 1.29 1.41 63.0 311040000 5000 15000
brent_69_0.3 10 20.41 20.60 44.0 311040000 5000 15000
brent_71_0.25 10 10.65 10.79 48.0 311040000 5000 15000
brent_9_0 20 538.49 541.21 64.0 311040000 5000 15000
c499_gr_2pin_w6.shuffled 10 0.00 0.10 0.0 311040000 5000 15000
c880_gr_rcs_w7.shuffled 10 0.00 0.02 0.0 311040000 5000 15000
cliquecoloring_n12_k9_c8 1 4978.54 5001.03 136.0 311040000 5000 15000
cliquecoloring_n14_k9_c8 1 4975.58 5001.03 186.0 311040000 5000 15000
cliquecoloring_n16_k7_c6 1 4977.81 5001.03 155.0 311040000 5000 15000
cliquecoloring_n18_k7_c6 1 4972.98 5001.03 191.0 311040000 5000 15000
clqcolor-08-06-07.shuffled-as.sat05-1257 20 1.19 1.26 6.0 311040000 5000 15000
collections_namedtuple_15 1 4978.86 5001.03 170.0 311040000 5000 15000
combined-crypto1-wff-seed-101-wffvars-500-cryptocplx-31-overlap-2 10 7.26 7.40 13.0 311040000 5000 15000
connm-ue-csp-sat-n600-d-0.02-s1022905465.used-as.sat04-951 10 0.00 0.25 3.0 311040000 5000 15000
crafted_n12_d6_c4_num4 20 86.18 86.67 434.0 311040000 5000 15000
em_11_3_4_cmp 10 194.17 195.01 138.0 311040000 5000 15000
eqspctbk14spwtcl14 1 4976.98 5001.03 50.0 311040000 5000 15000
ferry8_ks99i.renamed-as.sat05-4005 10 0.00 0.08 0.0 311040000 5000 15000
g2-T49.2.0 20 866.06 870.67 2286.0 311040000 5000 15000
g2-T99.2.0 20 8.85 8.91 1484.0 311040000 5000 15000
g2-ak128astepbg2asisc 10 0.49 0.54 123.0 311040000 5000 15000
g2-slp-synthesis-aes-top29 10 29.18 29.36 57.0 311040000 5000 15000
gensys-icl002.shuffled-as.sat05-2714 20 1.99 2.08 9.0 311040000 5000 15000
goldberg03:hard_eq_check:i10mul.miter.used-as.sat04-333 20 14.34 14.47 22.0 311040000 5000 15000
goldcrest-and-16 20 1307.87 1314.15 410.0 311040000 5000 15000
grid-pbl-0150.shuffled-as.sat05-1347.shuffled-as.sat05-1347 20 1.79 1.88 14.0 311040000 5000 15000
grid_10_20.shuffled 20 0.00 0.01 0.0 311040000 5000 15000
grs-128-32 20 75.86 76.22 66.0 311040000 5000 15000
grs-128-64 20 389.15 390.66 140.0 311040000 5000 15000
grs-160-64 20 521.47 523.56 139.0 311040000 5000 15000
grs-192-160 1 4978.94 5001.03 413.0 311040000 5000 15000
grs-192-256 1 4975.65 5001.03 758.0 311040000 5000 15000
grs-192-32 20 87.15 87.61 105.0 311040000 5000 15000
grs-192-48 20 295.99 297.37 146.0 311040000 5000 15000
grs-32-160 20 872.63 876.61 237.0 311040000 5000 15000
grs-32-256 20 2838.57 2850.86 439.0 311040000 5000 15000
grs-48-128 20 795.61 799.45 191.0 311040000 5000 15000
grs-48-160 20 1154.08 1158.93 265.0 311040000 5000 15000
grs-48-256 20 3522.49 3537.66 424.0 311040000 5000 15000
grs-64-160 20 1861.97 1870.04 275.0 311040000 5000 15000
grs-64-32 20 33.27 33.45 41.0 311040000 5000 15000
grs-96-192 1 4972.74 5001.03 443.0 311040000 5000 15000
grs-96-32 20 43.10 43.34 58.0 311040000 5000 15000
grs-96-96 20 546.60 549.03 175.0 311040000 5000 15000
hash_table_find_safety_size_10 20 49.87 50.19 3236.0 311040000 5000 15000
hash_table_find_safety_size_11 20 59.60 59.98 3503.0 311040000 5000 15000
hash_table_find_safety_size_12 20 62.59 62.91 3844.0 311040000 5000 15000
hash_table_find_safety_size_13 20 71.17 71.53 4214.0 311040000 5000 15000
hash_table_find_safety_size_14 20 75.05 75.44 4555.0 311040000 5000 15000
hash_table_find_safety_size_15 20 82.53 83.01 4912.0 311040000 5000 15000
hash_table_find_safety_size_16 20 132.82 133.49 6207.0 311040000 5000 15000
hash_table_find_safety_size_17 20 110.72 111.26 6479.0 311040000 5000 15000
hash_table_find_safety_size_18 20 99.79 100.25 6949.0 311040000 5000 15000
hash_table_find_safety_size_19 20 173.20 174.11 7286.0 311040000 5000 15000
hash_table_find_safety_size_20 20 172.93 173.78 7720.0 311040000 5000 15000
hash_table_find_safety_size_21 20 174.92 175.90 8292.0 311040000 5000 15000
hash_table_find_safety_size_22 20 176.16 177.02 8591.0 311040000 5000 15000
hash_table_find_safety_size_23 20 215.09 216.14 9062.0 311040000 5000 15000
hash_table_find_safety_size_24 20 177.76 178.74 9563.0 311040000 5000 15000
hash_table_find_safety_size_25 20 159.75 160.58 10125.0 311040000 5000 15000
hash_table_find_safety_size_26 20 184.01 184.97 12587.0 311040000 5000 15000
hash_table_find_safety_size_27 20 219.05 220.18 12886.0 311040000 5000 15000
hash_table_find_safety_size_29 20 237.14 238.29 14328.0 311040000 5000 15000
hash_table_find_safety_size_30 20 330.61 332.17 14988.0 311040000 5000 15000
hwmcc10-timeframe-expansion-k45-nusmvguidancep9-tseitin 20 2.69 2.76 38.0 311040000 5000 15000
ibm-2004-03-k70 10 1.39 1.43 36.0 311040000 5000 15000
instance_n6_i6_pp_ci_ce 10 0.70 0.80 12.0 311040000 5000 15000
intervals122 1 4980.92 5001.03 283.0 311040000 5000 15000
intervals222 1 4981.18 5001.03 179.0 311040000 5000 15000
intervals244 1 4974.16 5001.03 156.0 311040000 5000 15000
intervals313 1 4980.27 5001.03 122.0 311040000 5000 15000
intervals327 1 4977.02 5001.03 170.0 311040000 5000 15000
intervals467 1 4977.75 5001.03 214.0 311040000 5000 15000
intervals477 1 4976.94 5001.03 158.0 311040000 5000 15000
intervals553 1 4977.49 5001.03 118.0 311040000 5000 15000
intervals607 1 4977.03 5001.03 162.0 311040000 5000 15000
intervals633 1 4982.27 5001.03 147.0 311040000 5000 15000
intervals7 1 4984.10 5001.03 158.0 311040000 5000 15000
intervals718 1 4971.43 5001.03 182.0 311040000 5000 15000
intervals727 1 4976.58 5001.03 188.0 311040000 5000 15000
intervals753 1 4982.73 5001.03 174.0 311040000 5000 15000
intervals788 1 4980.35 5001.03 158.0 311040000 5000 15000
intervals80 1 4981.51 5001.03 196.0 311040000 5000 15000
intervals802 1 4980.18 5001.03 312.0 311040000 5000 15000
intervals803 1 4976.09 5001.03 228.0 311040000 5000 15000
intervals855 1 4973.23 5001.03 170.0 311040000 5000 15000
intervals961 1 4980.10 5001.03 142.0 311040000 5000 15000
iso-brn100.shuffled-as.sat05-3025 10 0.00 0.01 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.01 0.0 311040000 5000 15000
jkkk-one-one-11-32-unsat 20 105.19 105.67 35.0 311040000 5000 15000
lisa19_99_a.shuffled 10 1.79 1.85 6.0 311040000 5000 15000
mchess16-mixed-25percent-blocked 20 14.63 14.74 17.0 311040000 5000 15000
mchess16-mixed-35percent-blocked 20 20.51 20.64 18.0 311040000 5000 15000
mchess16-mixed-45percent-blocked 20 11.45 11.61 11.0 311040000 5000 15000
mchess18-mixed-25percent-blocked 20 450.80 452.95 41.0 311040000 5000 15000
mchess18-mixed-35percent-blocked 20 390.37 392.11 43.0 311040000 5000 15000
mchess18-mixed-45percent-blocked 20 451.13 453.04 55.0 311040000 5000 15000
mchess20-mixed-25percent-blocked 20 4884.91 4911.49 101.0 311040000 5000 15000
mchess20-mixed-35percent-blocked 20 1257.19 1262.44 75.0 311040000 5000 15000
mchess20-mixed-45percent-blocked 20 615.76 617.93 49.0 311040000 5000 15000
mchess22-mixed-25percent-blocked 1 4978.32 5001.03 110.0 311040000 5000 15000
mchess22-mixed-35percent-blocked 1 4979.68 5001.03 116.0 311040000 5000 15000
mchess22-mixed-45percent-blocked 1 4979.90 5001.03 119.0 311040000 5000 15000
minxor128 20 188.05 188.84 100.0 311040000 5000 15000
mm-1x10-10-10-sb.1.shuffled-as.sat03-1489 10 0.49 0.60 16.0 311040000 5000 15000
mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534 10 125.20 125.87 11.0 311040000 5000 15000
mod4block_2vars_10gates_u2_autoenc-sc2009 10 58.89 59.30 41.0 311040000 5000 15000
mp1-klieber2017s-1600-022-eq 20 356.04 357.59 29.0 311040000 5000 15000
mrpp_4x4#12_12 20 4.08 4.14 8.0 311040000 5000 15000
mrpp_6x6#18_20 10 7.27 7.54 20.0 311040000 5000 15000
mrpp_8x8#22_10 20 0.10 0.21 8.0 311040000 5000 15000
multiplier_13bits__miter_15 20 1245.20 1250.55 32.0 311040000 5000 15000
multiplier_14bits__miter_14 20 1823.34 1832.08 34.0 311040000 5000 15000
multiplier_15bits__miter_20 1 4977.62 5001.03 43.0 311040000 5000 15000
multiplier_16bits__miter_19 1 4978.07 5001.03 45.0 311040000 5000 15000
ncc_none_7047_6_3_3_0_0_420 20 107.70 108.28 829.0 311040000 5000 15000
new-difficult-26-243-24-70 10 0.00 0.09 0.0 311040000 5000 15000
oisc-subrv-and-nested-14 1 4978.12 5001.03 4966.0 311040000 5000 15000
oisc-subrv-sll-nested-15 20 2593.42 2605.37 5745.0 311040000 5000 15000
or_randxor_k3_n520_m520 20 3011.83 3024.72 41.0 311040000 5000 15000
or_randxor_k3_n540_m540 1 4981.10 5001.03 62.0 311040000 5000 15000
or_randxor_k3_n560_m560 1 4976.06 5001.03 64.0 311040000 5000 15000
or_randxor_k3_n600_m600 1 4978.93 5001.03 60.0 311040000 5000 15000
or_randxor_k3_n640_m640 1 4978.27 5001.03 46.0 311040000 5000 15000
os_fwalk_12 20 3440.96 3455.95 116.0 311040000 5000 15000
par32-4.shuffled 10 3418.63 3433.95 50.0 311040000 5000 15000
patat-08-comp-3 10 2.39 2.49 78.0 311040000 5000 15000
pbl-00070.shuffled-as.sat05-1324.shuffled-as.sat05-1324 20 0.00 0.08 0.0 311040000 5000 15000
php-010-009.shuffled-as.sat05-1185 20 4.28 4.37 12.0 311040000 5000 15000
php15-mixed-15percent-blocked 1 4975.97 5001.03 93.0 311040000 5000 15000
php16-mixed-15percent-blocked 1 4978.82 5001.03 104.0 311040000 5000 15000
php17-mixed-15percent-blocked 1 4977.85 5001.03 119.0 311040000 5000 15000
php17-mixed-35percent-blocked 20 154.93 155.72 43.0 311040000 5000 15000
php18-mixed-15percent-blocked 1 4980.38 5001.03 112.0 311040000 5000 15000
php18-mixed-35percent-blocked 20 342.47 344.00 50.0 311040000 5000 15000
pmg-12-UNSAT.sat05-3940.reshuffled-07 1 4978.57 5001.03 64.0 311040000 5000 15000
posixpath__joinrealpath_13 1 4978.23 5001.03 170.0 311040000 5000 15000
posixpath_expanduser_14 1 4977.06 5001.03 156.0 311040000 5000 15000
preimage_80r_490m_160h_seed_150 1 4978.21 5001.03 91.0 311040000 5000 15000
pyhala-braun-sat-35-4-04.shuffled 10 2.09 2.18 7.0 311040000 5000 15000
qwh.40.560.shuffled-as.sat03-1654 10 0.49 0.59 7.0 311040000 5000 15000
rand_net50-60-10.shuffled 20 0.00 0.02 0.0 311040000 5000 15000
rand_net70-40-10.shuffled 20 0.00 0.01 0.0 311040000 5000 15000
rbsat-v1150c84314gyes10 10 1981.88 1989.49 71.0 311040000 5000 15000
rbsat-v760c43649gyes10 10 3.47 3.69 13.0 311040000 5000 15000
rbsat-v760c43649gyes5 10 7.95 8.07 15.0 311040000 5000 15000
rook-47-0-1 20 638.46 641.32 100.0 311040000 5000 15000
rovers1_ks99i.renamed-as.sat05-3971 10 0.00 0.01 0.0 311040000 5000 15000
rphp_p20_r20 1 4978.71 5001.03 494.0 311040000 5000 15000
rphp_p30_r30 1 4981.27 5001.03 819.0 311040000 5000 15000
rphp_p60_r60 1 4982.60 5001.03 1213.0 311040000 5000 15000
rphp_p8_r250 1 4978.14 5001.03 2166.0 311040000 5000 15000
sat-bench-trig-bhaskara 20 266.60 267.97 386.0 311040000 5000 15000
sat-bench-trig-taylor2 20 390.97 392.73 377.0 311040000 5000 15000
sat-bench-trig-taylor4 20 2729.56 2740.09 755.0 311040000 5000 15000
sat-bench-trig-taylor6 20 3569.69 3584.28 987.0 311040000 5000 15000
satch2ways15u 1 4976.66 5001.03 161.0 311040000 5000 15000
satch2ways16w 1 4978.26 5001.03 272.0 311040000 5000 15000
satcoin-genesis-UNSAT-10600 20 686.63 690.07 116.0 311040000 5000 15000
satcoin-genesis-UNSAT-11400 20 639.07 642.22 118.0 311040000 5000 15000
satcoin-genesis-UNSAT-11900 20 744.88 748.39 121.0 311040000 5000 15000
satcoin-genesis-UNSAT-12300 20 756.61 760.24 121.0 311040000 5000 15000
satcoin-genesis-UNSAT-17400 20 1019.80 1024.92 118.0 311040000 5000 15000
satcoin-genesis-UNSAT-17800 20 977.04 981.50 124.0 311040000 5000 15000
satcoin-genesis-UNSAT-18400 20 1058.70 1063.93 115.0 311040000 5000 15000
satcoin-genesis-UNSAT-18600 20 1088.98 1094.62 118.0 311040000 5000 15000
satcoin-genesis-UNSAT-18800 20 1194.57 1200.69 122.0 311040000 5000 15000
satcoin-genesis-UNSAT-19500 20 1033.86 1039.69 121.0 311040000 5000 15000
satcoin-genesis-UNSAT-19800 20 1166.74 1172.57 119.0 311040000 5000 15000
satcoin-genesis-UNSAT-5920 20 398.79 401.18 118.0 311040000 5000 15000
satcoin-genesis-UNSAT-7200 20 687.68 690.68 119.0 311040000 5000 15000
satcoin-genesis-UNSAT-9080 20 685.87 688.84 117.0 311040000 5000 15000
satcoin-genesis-UNSAT-9880 20 785.65 789.50 119.0 311040000 5000 15000
satsgi-n23himBHm26-p0-q248 10 0.00 0.17 1.0 311040000 5000 15000
sgen1-unsat-97-100.cnf.mis-72.debugged 20 5.67 5.92 8.0 311040000 5000 15000
sgen3-n260-s62321009-sat 1 4977.81 5001.03 68.0 311040000 5000 15000
shift1add.28943 20 9.55 9.69 162.0 311040000 5000 15000
shuffling-1-s1870372346-of-bench-sat04-423.used-as.sat04-562 10 9.65 9.72 13.0 311040000 5000 15000
shuffling-2-s1480152728-of-bench-sat04-434.used-as.sat04-711 20 48.09 48.36 212.0 311040000 5000 15000
spg_200_307 20 267.27 268.48 265.0 311040000 5000 15000
spg_420_280 20 192.34 193.37 424.0 311040000 5000 15000
square.2.0.i.smt2-cvc4 20 2.19 2.30 38.0 311040000 5000 15000
srhd-sgi-m37-q446.25-n35-p30-s33692332 10 0.00 0.05 0.0 311040000 5000 15000
stb_418_125.apx_2_DC-ST 20 381.62 383.42 28.0 311040000 5000 15000
stb_531_83.apx_2_DC-AD 20 390.01 391.47 35.0 311040000 5000 15000
stb_588_138.apx_2_DC-ST 20 121.49 122.22 16.0 311040000 5000 15000
stb_588_138.apx_2_DS-ST 10 168.74 169.62 23.0 311040000 5000 15000
stb_792_333.apx_1_DS-ST 10 361.24 363.31 24.0 311040000 5000 15000
tph8 1 4980.65 5001.03 429.0 311040000 5000 15000
tseitin_d3_n10000 1 4976.96 5001.03 666.0 311040000 5000 15000
tseitin_d3_n110000 1 4972.51 5001.03 468.0 311040000 5000 15000
tseitin_d3_n160 1 4977.55 5001.03 200.0 311040000 5000 15000
tseitin_d3_n180000 1 4980.30 5001.03 500.0 311040000 5000 15000
tseitin_d3_n200 1 4977.35 5001.03 135.0 311040000 5000 15000
tseitin_grid_n100_m100 1 4982.13 5001.03 262.0 311040000 5000 15000
tseitin_grid_n260_m260 1 4980.60 5001.03 288.0 311040000 5000 15000
tseitingrid7x160_shuffled-sc2016 1 4980.68 5001.03 161.0 311040000 5000 15000
unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07 20 223.56 224.56 40.0 311040000 5000 15000
velev-pipe-o-uns-1.0-7 20 209.10 210.11 97.0 311040000 5000 15000
vmpc_24 10 7.26 7.35 20.0 311040000 5000 15000
vmpc_28.shuffled-as.sat05-1957 10 448.66 450.56 42.0 311040000 5000 15000
