SAT 2007 Competition Phase 2: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	UNSAT	0.115982	0.116475	370087
crafted/Medium/contest05/pebbling/ unsat-pbl-00070.sat05-1324.reshuffled-07.cnf	UNSAT	0.275957	0.277864	370081
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	UNSAT	0.302953	0.304822	370066
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	UNSAT	0.570912	0.573308	370078
crafted/Medium/contest05/pebbling/ unsat-pbl-00200.sat05-1329.reshuffled-07.cnf	UNSAT	1.19282	1.19564	370093
crafted/Medium/contest05/pebbling/ unsat-pbl-00250.sat05-1330.reshuffled-07.cnf	UNSAT	2.01669	2.01816	370090
crafted/Medium/contest05/pebbling/ unsat-pbl-00150.sat05-1328.reshuffled-07.cnf	UNSAT	2.47362	2.47552	370084
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	UNSAT	2.65459	2.65553	370202
crafted/spence/ medium/s57-100.cnf	UNSAT	7.72782	7.72988	370019
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	UNSAT	12.987	12.9905	370057
crafted/spence/ medium/s61-100.cnf	UNSAT	22.6446	22.6514	370002
crafted/Medium/contest05/sabharwal/ unsat-logistics-rotate-09t5.sat05-1139.reshuffled-07.cnf	UNSAT	25.6911	25.7013	370053
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	UNSAT	46.5479	46.5652	370046
crafted/spence/ medium/s65-100.cnf	UNSAT	54.5307	54.5474	370036
crafted/Medium/contest05/sabharwal/ counting-easier-fphp-012-010.sat05-1214.reshuffled-07.cnf	UNSAT	62.1166	62.1367	370064
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	UNSAT	83.5503	83.5773	370099
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	UNSAT	89.1045	89.1302	370188
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	UNSAT	108.647	108.682	370226
crafted/spence/ medium/s69-100.cnf	UNSAT	109.794	109.827	370011
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	UNSAT	134.651	134.688	370185
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	UNSAT	151.931	151.984	370194
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	UNSAT	164.094	164.152	370116
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	UNSAT	166.589	166.648	370187
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	UNSAT	167.731	167.778	370150
crafted/Difficult/contest05/QG/ QG6-dead-dnd001.sat05-2742.reshuffled-07.cnf	UNSAT	169.521	169.584	370178
crafted/Medium/contest05/others/ gensys-ukn002.sat05-2744.reshuffled-07.cnf	UNSAT	176.425	176.472	370096
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	UNSAT	182.18	182.236	370182
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	UNSAT	188.691	188.743	370119
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	UNSAT	189.782	189.834	370124
crafted/Difficult/contest05/QG/ QG6-gensys-icl006.sat05-2718.reshuffled-07.cnf	UNSAT	193.337	193.411	370191
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	UNSAT	224.026	224.091	370180
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	UNSAT	235.119	235.185	370195
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	UNSAT	315.663	315.761	370165
crafted/spence/ medium/s77-100.cnf	UNSAT	401.005	401.153	369997
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	UNSAT	426.263	426.382	370155
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	UNSAT	678.012	678.376	370235
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	UNSAT	1176.85	1177.45	370228
crafted/spence/ medium/s73-100.cnf	UNSAT	1321.6	1321.93	369194
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	UNSAT	1331.6	1332.15	369339
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-135-2.sat05-2354.reshuffled-07.cnf	UNSAT	2055.46	2056.12	369333
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	UNSAT	2259.49	2260.21	369234
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	UNSAT	2504.3	2504.99	369340
crafted/Hard/contest05/QG/ QG7a-gensys-icl001.sat05-3822.reshuffled-07.cnf	UNSAT	3894.91	3895.97	369248
crafted/spence/ medium/s81-100.cnf	UNSAT	4104.84	4105.93	369192
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	UNSAT	4474.15	4475.33	369311

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	SAT	0.25496	0.255639	370142
crafted/Medium/contest05/others/ QG7a-gensys-brn100.sat05-3765.reshuffled-07.cnf	SAT	3.34449	3.35163	370109
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	SAT	4.21936	4.23318	370113
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	SAT	4.99424	4.99945	370106
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	SAT	12.2211	12.2272	370103
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-10t19.sat05-1143.reshuffled-07.cnf	SAT	16.4475	16.4558	370050
crafted/Medium/contest05/pebbling/ sat-grid-pbl-0070.sat05-1334.reshuffled-07.cnf	SAT	23.1575	23.1691	370070
crafted/Medium/contest05/pebbling/ sat-pbl-00400.sat05-1322.reshuffled-07.cnf	SAT	27.0939	27.1037	370073
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-1.sat05-2158.reshuffled-07.cnf	SAT	44.7942	44.8071	370138
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	SAT	47.9127	47.9282	370145
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	SAT	116.411	116.443	370134
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-2.sat05-2174.reshuffled-07.cnf	SAT	590.42	590.582	370130
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	SAT	748.773	749.166	370232
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	SAT	784.687	785.208	370221
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	SAT	956.775	957.353	370158
crafted/Medium/contest05/pebbling/ sat-grid-pbl-0200.sat05-1339.reshuffled-07.cnf	SAT	1552.23	1552.91	369208
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	SAT	2515.31	2516.1	369210
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	SAT	3720.15	3721.28	369264
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-240-3.sat05-2205.reshuffled-07.cnf	SAT	4150.87	4152.25	369211
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	SAT	4200.63	4201.84	369263
crafted/Hard/contest02/ ezfact64_4.sat05-451.reshuffled-07.cnf	SAT	4886.41	4887.79	369288

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/spence/ medium/s93-100.cnf	? (TO)	5000.04	5001.82	369193
crafted/spence/ medium/s89-100.cnf	? (TO)	5000.04	5001.73	369195
crafted/spence/ medium/s85-100.cnf	? (TO)	5000.04	5003.72	369196
crafted/spence/ hard/s113-100.cnf	? (TO)	5000.04	5001.43	369197
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	? (TO)	5000.04	5001.61	369289
crafted/Hard/contest03/others/ hwb-n28-02-S818962541.sat05-492.reshuffled-07.cnf	? (TO)	5000.04	5001.93	369295
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	? (TO)	5000.04	5002.27	369338
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	5000.05	5001.84	369224
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (TO)	5000.05	5001.94	369245
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	? (TO)	5000.05	5001.55	369273
crafted/Hard/contest03/others/ hwb-n26-03-S540351185.sat05-490.reshuffled-07.cnf	? (TO)	5000.05	5001.83	369294
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	? (TO)	5000.05	5001.63	369336
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	? (TO)	5000.05	5001.64	369332
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	? (TO)	5000.06	5001.43	369209
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	? (TO)	5000.06	5001.43	369250
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	? (TO)	5000.06	5001.63	369242
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	5000.06	5001.83	369290
crafted/Hard/contest03/looksrandom/ hgen8-n320-03-S1572374531.sat05-485.reshuffled-07.cnf	? (TO)	5000.06	5001.85	369308
crafted/spence/ hard/s117-100.cnf	? (TO)	5000.07	5002.13	369200
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (TO)	5000.07	5001.64	369218
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.04-s1788334438.sat05-543.reshuffled-07.cnf	? (TO)	5000.07	5001.63	369220
crafted/Hard/contest05/counting-php/ harder-fphp-018-017.sat05-1231.reshuffled-07.cnf	? (TO)	5000.07	5001.45	369260
crafted/Hard/contest02/ ezfact64_5.sat05-452.reshuffled-07.cnf	? (TO)	5000.07	5001.25	369281
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	? (TO)	5000.07	4999.93	369322
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	5000.08	5001.74	369212
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (TO)	5000.08	5001.53	369217
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (TO)	5000.08	5001.84	369221
crafted/Hard/contest05/QG/ QG7a-gensys-icl009.sat05-3830.reshuffled-07.cnf	? (TO)	5000.08	5001.34	369249
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (TO)	5000.08	5001.53	369265
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	5000.08	5001.54	369296
crafted/Hard/contest03/others/ mm-2x3-8-8-sb.1.sat05-475.reshuffled-07.cnf	? (TO)	5000.08	5002.13	369299
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	? (TO)	5000.08	5002.23	369334
crafted/Difficult/contest05/sabharwal/ counting-easier-fphp-014-012.sat05-1215.reshuffled-07.cnf	? (TO)	5000.08	5002.04	369315
crafted/spence/ hard/s97-100.cnf	? (TO)	5000.09	5001.63	369201
crafted/spence/ hard/s109-100.cnf	? (TO)	5000.09	5002.03	369199
crafted/spence/ hard/s105-100.cnf	? (TO)	5000.09	5002.03	369202
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (TO)	5000.09	5001.95	369225
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (TO)	5000.09	5001.64	369231
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	5000.09	5002.07	369237
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	? (TO)	5000.09	5001.77	369232
crafted/Hard/contest05/others/ linvrinv6.sat05-565.reshuffled-07.cnf	? (TO)	5000.09	5001.55	369262
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	5000.09	5001.53	369283
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	? (TO)	5000.09	5001.53	369287
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-10-06-07.sat05-1250.reshuffled-07.cnf	? (TO)	5000.09	5001.65	369276
crafted/Hard/contest03/looksrandom/ hgen7-n390-01-S248216171.sat05-478.reshuffled-07.cnf	? (TO)	5000.09	5001.53	369306
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	5000.09	5001.74	369307
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	? (TO)	5000.1	5001.53	369213
crafted/Hard/contest04/others/ equilarge_l5.sat05-522.reshuffled-07.cnf	? (TO)	5000.1	5001.55	369230
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	5000.1	5002.14	369243
crafted/Hard/contest05/QG/ QG7-dead-dnd002.sat05-3108.reshuffled-07.cnf	? (TO)	5000.1	5001.43	369246
crafted/Hard/contest05/counting-php/ easier-fphp-020-015.sat05-1218.reshuffled-07.cnf	? (TO)	5000.1	5001.56	369258
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (TO)	5000.1	5001.66	369261
crafted/Hard/contest05/counting-clq/ unsat-set-a-fclqcolor-10-06-07.sat05-1274.reshuffled-07.cnf	? (TO)	5000.1	5001.55	369271
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	5000.1	5001.63	369280
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (TO)	5000.1	5001.64	369292
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	5000.1	5001.43	369286
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	5000.1	5002.16	369291
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	5000.1	5002.13	369284
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	5000.1	5001.49	369300
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	5000.1	5001.55	369309
crafted/Hard/contest03/looksrandom/ hgen8-n260-03-S722413478.sat05-482.reshuffled-07.cnf	? (TO)	5000.1	5001.43	369310
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	? (TO)	5000.1	5001.55	369321
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	? (TO)	5000.1	5001.53	369324
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	? (TO)	5000.1	5001.53	369328
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	? (TO)	5000.1	5001.73	369331
crafted/spence/ hard/s101-100.cnf	? (TO)	5000.11	5003.03	369198
crafted/Medium/contest05/sabharwal/ gt-ordering-unsat-gt-030.sat05-1307.reshuffled-07.cnf	? (TO)	5000.11	5003.4	369203
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (TO)	5000.11	5001.77	369267
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	5000.11	5001.52	369301
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-03-S1609878926.sat05-487.reshuffled-07.cnf	? (TO)	5000.11	5001.53	369304
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (TO)	5000.11	5001.85	369318
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (TO)	5000.11	5001.85	369326
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	? (TO)	5000.11	5000.13	369337
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	? (TO)	5000.11	5001.82	369327
crafted/Difficult/contest-02-03-04/ contest03-hwb-n26-01-S1957858365.sat05-500.reshuffled-07.cnf	? (TO)	5000.11	5001.63	369335
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (TO)	5000.12	5000.05	369214
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d-0.02-s1542454144.sat05-533.reshuffled-07.cnf	? (TO)	5000.12	5001.74	369216
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (TO)	5000.12	5002.07	369238
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	5000.12	5002.05	369228
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	5000.12	5001.94	369247
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	? (TO)	5000.12	5001.83	369298
crafted/Hard/contest02/ ezfact64_6.sat05-453.reshuffled-07.cnf	? (TO)	5000.12	5001.94	369285
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (TO)	5000.12	5001.74	369319
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	? (TO)	5000.13	5002.27	369207
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	5000.13	5001.4	369256
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	? (TO)	5000.13	5002.04	369244
crafted/Hard/contest05/counting-php/ harder-fphp-035-034.sat05-1235.reshuffled-07.cnf	? (TO)	5000.13	5001.67	369255
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-12-07-08.sat05-1251.reshuffled-07.cnf	? (TO)	5000.13	5002.16	369272
crafted/Hard/contest05/counting-clq/ unsat-set-a-fclqcolor-20-13-14.sat05-1278.reshuffled-07.cnf	? (TO)	5000.13	5001.71	369274
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	5000.13	5001.73	369302
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	5000.13	5001.63	369305
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (TO)	5000.13	5001.66	369320
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	? (TO)	5000.13	5001.63	369329
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-2.sat05-2567.reshuffled-07.cnf	? (TO)	5000.13	5001.74	369330
crafted/Medium/contest05/sabharwal/ gt-ordering-unsat-gt-025.sat05-1306.reshuffled-07.cnf	? (TO)	5000.14	5001.8	369204
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (TO)	5000.14	5001.66	369223
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (TO)	5000.14	5001.95	369229
crafted/Hard/contest05/counting-php/ harder-fphp-050-049.sat05-1238.reshuffled-07.cnf	? (TO)	5000.14	5002.09	369252
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (TO)	5000.14	5002.14	369303
crafted/Medium/contest05/sabharwal/ gt-ordering-unsat-gt-035.sat05-1308.reshuffled-07.cnf	? (TO)	5000.15	5001.81	369205
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	5000.15	5001.55	369222
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (TO)	5000.15	5001.65	369215
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s405595518.sat05-531.reshuffled-07.cnf	? (TO)	5000.15	5001.96	369219
crafted/Hard/contest05/others/ strips-gripper-12t22.sat05-1151.reshuffled-07.cnf	? (TO)	5000.15	5001.48	369270
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (TO)	5000.15	5002	369325
crafted/Hard/contest05/counting-php/ harder-fphp-016-015.sat05-1230.reshuffled-07.cnf	? (TO)	5000.16	5001.66	369251
crafted/Hard/contest05/counting-php/ easier-php-035-029.sat05-1179.reshuffled-07.cnf	? (TO)	5000.16	5001.94	369253
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	5000.16	5001.81	369275
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	? (TO)	5000.16	5001.68	369293
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-30-19-20.sat05-1256.reshuffled-07.cnf	? (TO)	5000.16	5001.93	369277
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (TO)	5000.17	5001.57	369227
crafted/Hard/contest05/counting-php/ harder-php-025-024.sat05-1191.reshuffled-07.cnf	? (TO)	5000.17	5001.52	369259
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	5000.17	5001.6	369279
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-30-20-26.sat05-1264.reshuffled-07.cnf	? (TO)	5000.17	5002.13	369278
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l3.used-as.sat04-895.sat05-4189.reshuffled-07.cnf	? (TO)	5000.18	5001.51	369236
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	5000.18	5001.75	369226
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	? (TO)	5000.18	5001.68	369269
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (TO)	5000.19	5001.72	369235
crafted/Hard/contest05/counting-php/ harder-fphp-070-069.sat05-1240.reshuffled-07.cnf	? (TO)	5000.19	5002.13	369254
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (TO)	5000.19	5002.15	369282
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	? (TO)	5000.19	5001.44	369313
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l2.used-as.sat04-894.sat05-4188.reshuffled-07.cnf	? (TO)	5000.2	5002.1	369233
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (TO)	5000.2	5001.71	369241
crafted/Medium/contest05/sabharwal/ gt-ordering-sat-gt-030.sat05-1295.reshuffled-07.cnf	? (TO)	5000.21	5001.71	369206
crafted/Hard/contest03/others/ bqwh.60.1080.sat05-436.reshuffled-07.cnf	? (TO)	5000.21	5001.52	369297
crafted/Difficult/contest05/sabharwal/ logistics-unsat-logistics-rotate-11t5.sat05-1141.reshuffled-07.cnf	? (TO)	5000.21	5001.5	369316
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (TO)	5000.22	5001.64	369312
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (TO)	5000.24	5002.04	369240
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (TO)	5000.25	5001.98	369239
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (TO)	5000.26	5002.21	369314
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (TO)	5000.27	5003.57	369317
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (TO)	5000.28	5002.32	369266
crafted/Hard/contest05/counting-php/ harder-php-045-044.sat05-1195.reshuffled-07.cnf	? (TO)	5000.28	5002.11	369257
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	? (TO)	5000.34	5002.17	369323

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/babic/xinetd/ xinetd_vc56687.cnf	UNSAT	0.331948	0.333947	367453
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	0.334948	0.337203	367459
industrial/babic/ xinetd/itox_vc965.cnf	UNSAT	0.403938	0.404007	367456
industrial/babic/ xinetd/itox_vc979.cnf	UNSAT	1.12983	1.1322	367462
industrial/babic/ xinetd/itox_vc1216.cnf	UNSAT	1.22881	1.23052	367458
industrial/babic/hsatv17/ hsat_vc11935.cnf	UNSAT	1.40679	1.40815	367420
industrial/babic/ dspam/dspam_dump_vc1093.cnf	UNSAT	1.44578	1.44765	367406
industrial/babic/dspam/ dspam_dump_vc962.cnf	UNSAT	1.69774	1.6996	367407
industrial/babic/hsatv17/ hsat_vc12016.cnf	UNSAT	1.80272	1.80591	367423
industrial/babic/dspam/ dspam_dump_vc950.cnf	UNSAT	1.83272	1.83452	367412
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	1.84672	1.85225	367414
industrial/babic/hsatv17/ hsat_vc11944.cnf	UNSAT	1.86771	1.87088	367422
industrial/babic/ dspam/dspam_dump_vc1080.cnf	UNSAT	1.9597	1.96309	367415
industrial/babic/ dspam/dspam_dump_vc1081.cnf	UNSAT	1.9647	1.96538	367413
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	2.02969	2.0307	367425
industrial/babic/hsatv17/ hsat_vc12070.cnf	UNSAT	2.15667	2.1583	367418
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	2.33964	2.34195	367421
industrial/babic/hsatv17/ hsat_vc11773.cnf	UNSAT	2.67359	2.67516	367417
industrial/babic/hsatv17/ hsat_vc12072.cnf	UNSAT	2.95655	2.96159	367416
industrial/babic/hsatv17/ hsat_vc11817.cnf	UNSAT	3.02054	3.02065	367424
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	3.78342	3.78607	367419
industrial/babic/dspam/ dspam_dump_vc973.cnf	UNSAT	4.5763	4.5797	367411
industrial/babic/dspam/ dspam_dump_vc972.cnf	UNSAT	4.5893	4.59296	367409
industrial/babic/ dspam/dspam_dump_vc1104.cnf	UNSAT	4.62929	4.63328	367410
industrial/babic/ dspam/dspam_dump_vc1103.cnf	UNSAT	4.68129	4.68428	367408
industrial/jarvisalo/ eq.atree.braun.7.unsat.cnf	UNSAT	7.53485	7.54113	367426
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	41.1607	41.1771	367376
industrial/anbulagan/ medium-unsat/dated-10-15-u.cnf	UNSAT	51.6222	51.6374	367377
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	62.7585	62.7735	367428
industrial/fuhs/medium/ AProVE07-15.cnf	UNSAT	68.6536	68.6763	367391
industrial/anbulagan/ medium-unsat/total-10-11-u.cnf	UNSAT	83.0554	83.0813	367378
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	87.9986	88.0227	367401
industrial/fuhs/medium/ AProVE07-22.cnf	UNSAT	106.251	106.281	367389
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	152.234	152.275	367397
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	157.128	157.187	367380
industrial/manolios/ manol-pipe-c6nidw_i.cnf	UNSAT	162.051	162.099	367444
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	168.15	168.214	367405
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k15.cnf	UNSAT	170.061	170.105	367464
industrial/narain/ clauses-10.cnf	UNSAT	170.817	170.861	367451
industrial/fuhs/medium/ AProVE07-06.cnf	UNSAT	178.624	178.683	367392
industrial/manolios/ manol-pipe-f7idw.cnf	UNSAT	225.619	225.692	367439
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	240.307	240.4	367400
industrial/palacios/uts/ uts-l06-ipc5-h29-unknown.cnf	UNSAT	269.811	269.903	367396
industrial/fuhs/medium/ AProVE07-04.cnf	UNSAT	278.293	278.367	367394
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	UNSAT	301.425	301.578	367379
industrial/manolios/ manol-pipe-g10nid.cnf	UNSAT	318.463	318.582	367446
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k25.cnf	UNSAT	340.522	340.613	367463
industrial/ manolios/manol-pipe-f9b.cnf	UNSAT	384.87	384.977	367440
industrial/fuhs/medium/ AProVE07-16.cnf	UNSAT	411.6	411.716	367395
industrial/manolios/ manol-pipe-g10bidw.cnf	UNSAT	440.435	440.565	367443
industrial/manolios/ manol-pipe-c10nidw_s.cnf	UNSAT	440.466	440.594	367442
industrial/manolios/ manol-pipe-c7bidw_i.cnf	UNSAT	451.376	451.571	367447
industrial/palacios/uts/ uts-l06-ipc5-h30-unknown.cnf	UNSAT	486.374	486.555	367398
industrial/fuhs/medium/ AProVE07-20.cnf	UNSAT	510.16	510.301	367393
industrial/fuhs/medium/ AProVE07-21.cnf	UNSAT	542.475	542.642	367390
industrial/manolios/ manol-pipe-c7nidw.cnf	UNSAT	568.551	568.762	367441
industrial/ manolios/manol-pipe-f9n.cnf	UNSAT	628.965	629.137	367445
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	652.81	653.062	367427
industrial/palacios/medium/ cube-9-h10-unsat.cnf	UNSAT	795.874	796.086	367402
industrial/manolios/ manol-pipe-f10ni.cnf	UNSAT	826.819	827.071	367448
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT	974.043	974.319	367399
industrial/fuhs/medium/ AProVE07-02.cnf	UNSAT	1437.5	1438.01	367265
industrial/fuhs/medium/ AProVE07-09.cnf	UNSAT	1440.96	1441.38	367266
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	UNSAT	1830.84	1831.61	367287
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	UNSAT	2200.04	2200.71	367250
industrial/palacios/uts/ uts-l06-ipc5-h32-unknown.cnf	UNSAT	2337.91	2338.62	367283
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT	2954.8	2955.98	367290
industrial/anbulagan/ hard-unsat/dated-10-13-u.cnf	UNSAT	3661.2	3662.23	367256
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	UNSAT	4114.59	4115.71	367357
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	UNSAT	5120.42	5121.93	367255
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	UNSAT	6066.9	6069.02	367231
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k20.cnf	UNSAT	7282.36	7284.36	367346
industrial/fuhs/hard/ AProVE07-03.cnf	UNSAT	7393.91	7396.12	367270
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k30.cnf	UNSAT	7858.67	7861.52	367329
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT	8978.71	8981.28	367284
industrial/anbulagan/ hard-unsat/dated-10-11-u.cnf	UNSAT	9493.31	9495.95	367253
industrial/fuhs/hard/ AProVE07-27.cnf	UNSAT	9969.44	9971.98	367273

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/narain/ clauses-2.cnf	SAT	4.23036	4.23369	367449
industrial/babic/ xinetd/itox_vc909.cnf	SAT	4.93725	4.9435	367457
industrial/babic/ xinetd/itox_vc1033.cnf	SAT	5.15122	5.1585	367460
industrial/babic/ xinetd/itox_vc1044.cnf	SAT	5.68713	5.69516	367455
industrial/grieu/ vmpc_28.cnf	SAT	5.80812	5.81012	367437
industrial/babic/ xinetd/itox_vc1130.cnf	SAT	6.604	6.61072	367454
industrial/grieu/ vmpc_25.cnf	SAT	6.74197	6.74909	367434
industrial/babic/ xinetd/itox_vc1138.cnf	SAT	7.16291	7.17561	367461
industrial/grieu/ vmpc_27.cnf	SAT	17.6943	17.7025	367435
industrial/anbulagan/ medium-sat/dated-10-17-s.cnf	SAT	26.157	26.17	367387
industrial/anbulagan/ medium-sat/total-5-17-s.cnf	SAT	27.7968	27.8096	367381
industrial/grieu/ vmpc_24.cnf	SAT	32.778	32.7904	367436
industrial/anbulagan/ medium-sat/total-10-15-s.cnf	SAT	48.3906	48.4178	367388
industrial/grieu/ vmpc_26.cnf	SAT	54.7477	54.767	367438
industrial/narain/ clauses-4.cnf	SAT	76.2234	76.2687	367450
industrial/anbulagan/ medium-sat/total-10-19-s.cnf	SAT	86.1559	86.182	367382
industrial/anbulagan/ medium-sat/total-5-19-s.cnf	SAT	120.576	120.617	367385
industrial/crypto/ mizh-sha0-35-3.cnf	SAT	143.765	143.808	367429
industrial/crypto/ mizh-sha0-35-4.cnf	SAT	168.722	168.773	367430
industrial/anbulagan/ medium-sat/total-10-17-s.cnf	SAT	183.225	183.232	367384
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	SAT	326.946	327.088	367383
industrial/ crypto/mizh-md5-47-3.cnf	SAT	402.605	402.756	367431
industrial/palacios/ medium/cube-9-h11-sat.cnf	SAT	440.631	440.744	367403
industrial/narain/ clauses-6.cnf	SAT	502.038	502.161	367452
industrial/anbulagan/ medium-sat/dated-10-13-s.cnf	SAT	590.049	590.27	367386
industrial/crypto/ mizh-sha0-35-2.cnf	SAT	831.067	831.295	367433
industrial/crypto/ mizh-sha0-35-5.cnf	SAT	886.384	886.65	367432
industrial/palacios/medium/ emptyroom-4-h22-sat.cnf	SAT	1088.66	1089.04	367404
industrial/ crypto/mizh-md5-48-5.cnf	SAT	1363.04	1363.45	367297
industrial/fuhs/medium/ AProVE07-11.cnf	SAT	1391.96	1392.38	367267
industrial/crypto/ mizh-sha0-36-2.cnf	SAT	1431.04	1431.43	367298
industrial/ crypto/mizh-md5-47-5.cnf	SAT	1437.71	1438.2	367299
industrial/ crypto/mizh-md5-47-4.cnf	SAT	2153.95	2154.49	367296
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k35.cnf	SAT	2473.75	2474.45	367347
industrial/palacios/uts/ uts-l06-ipc5-h34-unknown.cnf	SAT	2480.44	2481.18	367281
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k45.cnf	SAT	2556.7	2557.6	367340
industrial/ crypto/mizh-md5-48-2.cnf	SAT	2707.2	2707.19	367295
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k90.cnf	SAT	3004.42	3005.63	367353
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k60.cnf	SAT	3442.74	3443.75	367341
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	3746.79	3747.83	367282
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k100.cnf	SAT	4744.56	4745.89	367355
industrial/grieu/ vmpc_31.cnf	SAT	4764.16	4765.65	367302
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k75.cnf	SAT	5158	5160.2	367351
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k85.cnf	SAT	5427.97	5429.45	367356
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k40.cnf	SAT	6512.88	6517.69	367348
industrial/anbulagan/ hard-sat/partial-10-11-s.cnf	SAT	7574.91	7578.11	367238

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	10000.1	10003.3	367292
industrial/anbulagan/ hard-unsat/total-5-19-u.cnf	? (TO)	10000.1	10003.8	367252
industrial/palacios/hard/ safe-50-h50-sat.cnf	? (TO)	10000.1	10002.9	367276
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	10000.1	10003.9	367263
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	10000.1	10003.1	367268
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	10000.1	10002.9	367269
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	10000.1	10002.8	367278
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	10000.1	10003.9	367279
industrial/palacios/hard/ sortnet-6-ipc5-h11-unsat.cnf	? (TO)	10000.1	10003.1	367280
industrial/palacios/medium/ safe-30-h30-sat.cnf	? (TO)	10000.1	10002.9	367288
industrial/palacios/ medium/sortnet-7-ipc5-h16-sat.cnf	? (TO)	10000.1	10002.9	367289
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	10000.1	10004	367291
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	10000.1	10003.2	367293
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	? (TO)	10000.1	10003	367294
industrial/grieu/ vmpc_33.cnf	? (TO)	10000.1	10002.9	367301
industrial/grieu/ vmpc_29.cnf	? (TO)	10000.1	10003	367303
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k40.cnf	? (TO)	10000.1	10002.9	367328
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k95.cnf	? (TO)	10000.1	10002.8	367332
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k90.cnf	? (TO)	10000.1	10002.9	367339
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k55.cnf	? (TO)	10000.2	10003.6	367306
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k65.cnf	? (TO)	10000.2	10003	367321
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k55.cnf	? (TO)	10000.2	10003.8	367325
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k30.cnf	? (TO)	10000.2	10003.1	367354
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	10000.2	10004.3	367365
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	10000.2	10003.9	367244
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	10000.2	10003.5	367248
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	10000.2	10003.1	367257
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	10000.2	10004.1	367259
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	? (TO)	10000.2	10004.3	367260
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	10000.2	10003.3	367277
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	10000.2	10003	367271
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	10000.2	10002.8	367274
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	10000.2	10004.1	367275
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	10000.2	10003.2	367285
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	10000.2	10003	367286
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k40.cnf	? (TO)	10000.2	10003.2	367310
industrial/grieu/ vmpc_30.cnf	? (TO)	10000.2	10003.2	367300
industrial/grieu/ vmpc_34.cnf	? (TO)	10000.2	10004.5	367304
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k15.cnf	? (TO)	10000.2	10003	367308
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	? (TO)	10000.2	10004	367309
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k30.cnf	? (TO)	10000.2	10003.3	367311
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k70.cnf	? (TO)	10000.2	10002.8	367312
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k85.cnf	? (TO)	10000.2	10003.9	367313
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k95.cnf	? (TO)	10000.2	10002.9	367314
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	? (TO)	10000.2	10004.2	367315
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k35.cnf	? (TO)	10000.2	10003.6	367316
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k10.cnf	? (TO)	10000.2	10003	367317
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k50.cnf	? (TO)	10000.2	10003.2	367318
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	? (TO)	10000.2	10004	367322
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k90.cnf	? (TO)	10000.2	10004.2	367324
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k80.cnf	? (TO)	10000.2	10003.2	367326
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k45.cnf	? (TO)	10000.2	10003.4	367327
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k70.cnf	? (TO)	10000.2	10003.2	367330
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k85.cnf	? (TO)	10000.2	10003.2	367331
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k35.cnf	? (TO)	10000.2	10004.6	367333
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k50.cnf	? (TO)	10000.2	10002.5	367334
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k60.cnf	? (TO)	10000.2	10003.2	367335
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k65.cnf	? (TO)	10000.2	10003.7	367336
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k100.cnf	? (TO)	10000.2	10004.3	367337
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k75.cnf	? (TO)	10000.2	10003.9	367338
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k50.cnf	? (TO)	10000.2	10003.1	367342
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	? (TO)	10000.2	10003.1	367343
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k70.cnf	? (TO)	10000.2	10003.9	367344
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k95.cnf	? (TO)	10000.2	10004	367345
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k65.cnf	? (TO)	10000.2	10002.9	367349
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	? (TO)	10000.2	10002.8	367350
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k25.cnf	? (TO)	10000.2	10003.1	367352
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	10000.3	10004	367241
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	10000.3	10003.2	367251
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	10000.3	10003.4	367272
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	? (TO)	10000.3	10003.2	367307
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k60.cnf	? (TO)	10000.3	10003	367319
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k25.cnf	? (TO)	10000.3	10003	367320
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k75.cnf	? (TO)	10000.3	10003.1	367323
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	10000.3	10007.1	367361
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	10000.4	10003.9	367362

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug1.cnf	? (MO)	30.2074	30.2228	367372
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug3.cnf	? (MO)	32.1161	32.1427	367373
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug9.cnf	? (MO)	32.1281	32.1374	367369
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	? (MO)	32.2071	32.3175	367367
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	? (MO)	32.2151	32.2243	367366
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug4.cnf	? (MO)	32.2161	32.2401	367370
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug10.cnf	? (MO)	32.2271	32.2372	367368
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug2.cnf	? (MO)	32.2291	32.2377	367374
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	? (MO)	32.2411	32.2525	367375
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug7.cnf	? (MO)	32.3431	32.351	367371
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (MO)	1489.56	1489.96	367363
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (MO)	1492.7	1493.07	367358
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (MO)	1600.76	1601.16	367364
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (MO)	2193.55	2194.18	367360
industrial/anbulagan/ hard-sat/partial-10-19-s.cnf	? (MO)	2503.39	2504.17	367235
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	? (MO)	3084.21	3085.08	367233
industrial/anbulagan/ hard-sat/partial-5-19-s.cnf	? (MO)	3823.66	3824.79	367234
industrial/narain/ clauses-8.cnf	? (MO)	4580.4	4581.69	367305
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (MO)	4858.95	4860.49	367264
industrial/anbulagan/ hard-unsat/partial-10-17-u.cnf	? (MO)	4895.57	4896.98	367247
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (MO)	4961.91	4963.5	367237
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (MO)	5079.67	5081.49	367261
industrial/anbulagan/ hard-unsat/partial-5-19-u.cnf	? (MO)	5379.84	5381.49	367243
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (MO)	5458.83	5461.08	367249
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (MO)	5662.38	5664.49	367236
industrial/anbulagan/ hard-unsat/total-10-15-u.cnf	? (MO)	5833.14	5834.92	367254
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (MO)	6040.01	6041.8	367359
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (MO)	6382.29	6384.7	367232
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (MO)	6423.81	6425.79	367240
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (MO)	6486.65	6488.56	367246
industrial/anbulagan/ hard-unsat/partial-10-11-u.cnf	? (MO)	7343.29	7343.09	367258
industrial/anbulagan/ hard-unsat/partial-10-15-u.cnf	? (MO)	7643.95	7646.4	367245
industrial/anbulagan/ medium-sat/partial-5-11-s.cnf	? (MO)	7887.07	7889.3	367239
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (MO)	9322.11	9325.02	367262
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (MO)	9706.46	9709.4	367242

SAT 2007 Competition Phase 2: benchmarks results per solver

Result page for solver CMUSAT 2007-02-08

Category "crafted instances" (CRAFTED)

Solver proved unsatisfiability (UNSATISFIABLE) (45 runs) [Show/Hide]

Solver found a solution (SATISFIABLE) (21 runs) [Show/Hide]

Solver timed out (no solution given) (134 runs) [Show/Hide]

Solver exceeded the memory limit (no solution given) (1 run) [Show/Hide]

Category "industrial instances" (INDUST)

Solver proved unsatisfiability (UNSATISFIABLE) (77 runs) [Show/Hide]

Solver found a solution (SATISFIABLE) (46 runs) [Show/Hide]

Solver timed out (no solution given) (76 runs) [Show/Hide]

Solver exceeded the memory limit (no solution given) (35 runs) [Show/Hide]