SAT 2007 Competition Phase 2: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	0.232964	0.23685	422447
industrial/babic/xinetd/ xinetd_vc56687.cnf	UNSAT	0.237962	0.239631	422441
industrial/babic/ xinetd/itox_vc965.cnf	UNSAT	0.261959	0.262083	422444
industrial/babic/ xinetd/itox_vc979.cnf	UNSAT	0.280956	0.281327	422450
industrial/babic/ dspam/dspam_dump_vc1080.cnf	UNSAT	0.487925	0.489692	422388
industrial/babic/ xinetd/itox_vc1216.cnf	UNSAT	0.801877	0.803667	422446
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	1.42478	1.4265	422387
industrial/babic/dspam/ dspam_dump_vc950.cnf	UNSAT	1.63575	1.63616	422385
industrial/babic/dspam/ dspam_dump_vc962.cnf	UNSAT	3.9314	3.93434	422380
industrial/jarvisalo/ eq.atree.braun.7.unsat.cnf	UNSAT	4.35534	4.36021	422400
industrial/babic/ dspam/dspam_dump_vc1081.cnf	UNSAT	7.81481	7.81821	422386
industrial/babic/dspam/ dspam_dump_vc973.cnf	UNSAT	13.109	13.1139	422384
industrial/babic/ dspam/dspam_dump_vc1104.cnf	UNSAT	21.6877	21.6937	422383
industrial/babic/ dspam/dspam_dump_vc1103.cnf	UNSAT	27.8928	27.9038	422381
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	29.4545	29.4649	422290
industrial/babic/ dspam/dspam_dump_vc1093.cnf	UNSAT	34.1538	34.1713	422379
industrial/babic/hsatv17/ hsat_vc11935.cnf	UNSAT	38.8861	38.9029	422393
industrial/anbulagan/ medium-unsat/dated-10-15-u.cnf	UNSAT	40.0839	40.1118	422291
industrial/babic/dspam/ dspam_dump_vc972.cnf	UNSAT	50.2722	25.2047	422382
industrial/palacios/medium/ cube-9-h10-unsat.cnf	UNSAT	62.0576	62.0857	422369
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	70.2143	70.2327	422404
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	UNSAT	76.0664	76.0877	422504
industrial/babic/hsatv17/ hsat_vc11944.cnf	UNSAT	77.9841	78.0152	422395
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	81.7796	81.8178	422294
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	83.8692	83.8923	422398
industrial/anbulagan/ medium-unsat/total-10-11-u.cnf	UNSAT	93.2118	93.2862	422292
industrial/babic/hsatv17/ hsat_vc12016.cnf	UNSAT	94.2867	94.3109	422396
industrial/babic/hsatv17/ hsat_vc12070.cnf	UNSAT	97.7701	97.8146	422391
industrial/babic/hsatv17/ hsat_vc12072.cnf	UNSAT	99.1639	99.2461	422389
industrial/babic/hsatv17/ hsat_vc11817.cnf	UNSAT	107.233	107.266	422397
industrial/babic/hsatv17/ hsat_vc11773.cnf	UNSAT	108.34	108.376	422390
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	UNSAT	149.063	149.291	422293
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	150.3	150.341	422392
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	156.199	156.242	422394
industrial/fuhs/medium/ AProVE07-22.cnf	UNSAT	191.469	191.638	422339
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	197.897	197.964	422368
industrial/fuhs/medium/ AProVE07-15.cnf	UNSAT	199.279	199.386	422341
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	UNSAT	236.116	236.177	422508
industrial/palacios/medium/ cube-11-h13-unsat.cnf	UNSAT	312.783	312.899	422371
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	353.043	353.136	422362
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k15.cnf	UNSAT	390.086	390.224	422499
industrial/palacios/uts/ uts-l06-ipc5-h29-unknown.cnf	UNSAT	422.085	422.44	422360
industrial/manolios/ manol-pipe-f7idw.cnf	UNSAT	501.728	501.873	422426
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	556.914	557.076	422378
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	569.405	569.595	422367
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	621.784	621.995	422402
industrial/fuhs/medium/ AProVE07-16.cnf	UNSAT	633.28	633.577	422345
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	UNSAT	637.607	637.771	422512
industrial/palacios/uts/ uts-l06-ipc5-h30-unknown.cnf	UNSAT	687.379	687.64	422363
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	UNSAT	997.565	997.932	422372
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT	1173.3	1173.62	422377
industrial/fuhs/medium/ AProVE07-06.cnf	UNSAT	1177.78	1178.09	422342
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	UNSAT	1180.52	1180.91	422321
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	UNSAT	1183.4	1183.74	422289
industrial/ manolios/manol-pipe-f9b.cnf	UNSAT	1185.31	1185.89	422427
industrial/ manolios/manol-pipe-f9n.cnf	UNSAT	1304.93	1305.28	422432
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k25.cnf	UNSAT	1443.69	1444.3	422481
industrial/manolios/ manol-pipe-c10nidw_s.cnf	UNSAT	1555.91	1556.44	422429
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT	1631.65	1632.38	422366
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	UNSAT	1653.87	1654.31	422509
industrial/fuhs/medium/ AProVE07-21.cnf	UNSAT	1860.76	1861.44	422340
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	UNSAT	1988.75	1989.52	422326
industrial/anbulagan/ hard-unsat/dated-10-11-u.cnf	UNSAT	2352.91	2353.78	422324
industrial/anbulagan/ hard-unsat/dated-10-13-u.cnf	UNSAT	3104.62	3105.49	422327
industrial/manolios/ manol-pipe-c6nidw_i.cnf	UNSAT	3175.6	3176.53	422431
industrial/manolios/ manol-pipe-g10nid.cnf	UNSAT	3504.93	3504.92	422433
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	UNSAT	3968.58	3970.07	422506
industrial/manolios/ manol-pipe-f10ni.cnf	UNSAT	4101.52	4102.7	422435
industrial/manolios/ manol-pipe-g10bidw.cnf	UNSAT	4672.08	4673.53	422430
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	UNSAT	6946.14	6948.13	422511
industrial/fuhs/medium/ AProVE07-09.cnf	UNSAT	7097.35	7099.28	422337
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	UNSAT	7727.65	7730.59	422507

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/grieu/ vmpc_26.cnf	SAT	6.92595	6.93175	422425
industrial/narain/ clauses-2.cnf	SAT	9.2176	9.22834	422436
industrial/anbulagan/ medium-sat/total-5-17-s.cnf	SAT	14.3678	14.4439	422302
industrial/anbulagan/ medium-sat/dated-10-17-s.cnf	SAT	18.1982	18.222	422310
industrial/anbulagan/ medium-sat/total-10-19-s.cnf	SAT	21.5817	21.6172	422303
industrial/anbulagan/ medium-sat/dated-10-13-s.cnf	SAT	22.1706	22.2342	422308
industrial/anbulagan/ medium-sat/total-10-15-s.cnf	SAT	27.1179	27.1483	422311
industrial/grieu/ vmpc_25.cnf	SAT	40.8308	40.9419	422416
industrial/palacios/ medium/cube-9-h11-sat.cnf	SAT	54.8927	54.9062	422373
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug2.cnf	SAT	61.4477	61.5413	422521
industrial/anbulagan/ medium-sat/total-5-19-s.cnf	SAT	84.1162	84.181	422307
industrial/anbulagan/ medium-sat/total-10-17-s.cnf	SAT	107.333	107.425	422306
industrial/babic/ xinetd/itox_vc1033.cnf	SAT	119.305	119.353	422448
industrial/narain/ clauses-4.cnf	SAT	124.386	124.455	422438
industrial/grieu/ vmpc_27.cnf	SAT	124.74	124.779	422417
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug7.cnf	SAT	129.343	129.418	422518
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug1.cnf	SAT	133.612	133.691	422519
industrial/babic/ xinetd/itox_vc909.cnf	SAT	136.755	136.806	422445
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	SAT	145.221	145.312	422514
industrial/babic/ xinetd/itox_vc1044.cnf	SAT	145.368	145.416	422443
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug3.cnf	SAT	156.737	156.974	422520
industrial/crypto/ mizh-sha0-35-2.cnf	SAT	189.239	189.305	422413
industrial/palacios/medium/ emptyroom-4-h22-sat.cnf	SAT	190.157	190.219	422374
industrial/babic/ xinetd/itox_vc1130.cnf	SAT	210.159	210.239	422442
industrial/anbulagan/ medium-sat/partial-5-11-s.cnf	SAT	238.128	238.222	422305
industrial/babic/ xinetd/itox_vc1138.cnf	SAT	256.803	256.882	422449
industrial/crypto/ mizh-sha0-35-4.cnf	SAT	352.031	352.14	422407
industrial/grieu/ vmpc_28.cnf	SAT	374.99	375.083	422423
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	SAT	440.876	441.057	422304
industrial/grieu/ vmpc_24.cnf	SAT	491.734	491.903	422420
industrial/crypto/ mizh-sha0-35-5.cnf	SAT	595.907	596.38	422411
industrial/crypto/ mizh-sha0-35-3.cnf	SAT	651.39	651.569	422406
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	663.914	664.1	422361
industrial/palacios/medium/ safe-30-h30-sat.cnf	SAT	1014.44	1014.73	422375
industrial/palacios/uts/ uts-l06-ipc5-h34-unknown.cnf	SAT	1036.62	1036.91	422359
industrial/palacios/medium/ cube-11-h14-sat.cnf	SAT	1072.92	1073.43	422370
industrial/ crypto/mizh-md5-47-5.cnf	SAT	1290.37	1290.96	422415
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	SAT	2488.38	2489.35	422300
industrial/anbulagan/ hard-sat/partial-5-19-s.cnf	SAT	3175.38	3176.61	422297
industrial/ crypto/mizh-md5-48-5.cnf	SAT	3233.11	3234.43	422412
industrial/ crypto/mizh-md5-48-2.cnf	SAT	3542.89	3543.93	422408
industrial/ crypto/mizh-md5-47-4.cnf	SAT	3689.34	3690.77	422409
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	SAT	3774.16	3775.39	422299
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	SAT	4097.14	4098.26	422489
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	SAT	4349.12	4350.52	422309
industrial/palacios/ medium/sortnet-7-ipc5-h16-sat.cnf	SAT	4444.84	4446.72	422376
industrial/ crypto/mizh-md5-47-3.cnf	SAT	5643.82	5645.51	422410
industrial/anbulagan/ hard-sat/partial-10-11-s.cnf	SAT	6181.12	6183.78	422301
industrial/crypto/ mizh-sha0-36-2.cnf	SAT	6589.16	6591.02	422414
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	SAT	6657.8	6659.75	422296

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/narain/ clauses-8.cnf	?	0.003998	0.00690994	422437
industrial/palacios/hard/ safe-50-h49-unsat.cnf	?	0.004998	0.00727712	422355
industrial/fuhs/medium/ AProVE07-11.cnf	?	0.004998	0.00750589	422338
industrial/narain/ clauses-10.cnf	?	0.004999	0.00727504	422439
industrial/narain/ clauses-6.cnf	?	0.004999	0.00717607	422440
industrial/palacios/hard/ safe-50-h50-sat.cnf	?	0.006998	0.00740089	422354
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug9.cnf	?	1050.45	1065.02	422516
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	?	1057.06	1084.32	422513
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug4.cnf	?	1172.94	1190.04	422517
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug10.cnf	?	1243.2	1257.12	422515
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	?	1246.98	1339.01	422522

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	10000	10003.5	422313
industrial/anbulagan/ hard-unsat/partial-5-19-u.cnf	? (TO)	10000	10003.3	422314
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	10000	10003.2	422315
industrial/anbulagan/ hard-unsat/partial-10-15-u.cnf	? (TO)	10000	10003.2	422316
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	10000	10003.1	422319
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	10000	10003.5	422322
industrial/anbulagan/ hard-unsat/total-5-19-u.cnf	? (TO)	10000	10002.8	422323
industrial/anbulagan/ hard-unsat/total-10-15-u.cnf	? (TO)	10000	10004.1	422325
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	10000	10002.8	422332
industrial/fuhs/medium/ AProVE07-02.cnf	? (TO)	10000	10003.1	422336
industrial/fuhs/medium/ AProVE07-04.cnf	? (TO)	10000	10003.3	422344
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	10000	10002.9	422347
industrial/fuhs/hard/ AProVE07-03.cnf	? (TO)	10000	10003.3	422348
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	10000	10003.4	422351
industrial/palacios/hard/ sortnet-6-ipc5-h11-unsat.cnf	? (TO)	10000	10003.7	422358
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	? (TO)	10000	10002.7	422365
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	10000	10003.8	422401
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	10000	10002.8	422399
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	? (TO)	10000	10005.8	422405
industrial/grieu/ vmpc_31.cnf	? (TO)	10000	10002.4	422421
industrial/grieu/ vmpc_33.cnf	? (TO)	10000	10003.5	422419
industrial/manolios/ manol-pipe-c7bidw_i.cnf	? (TO)	10000	10003.8	422434
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k70.cnf	? (TO)	10000	10002.9	422457
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k55.cnf	? (TO)	10000	10003	422451
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k40.cnf	? (TO)	10000	10003.1	422455
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k95.cnf	? (TO)	10000	10002.8	422459
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	? (TO)	10000	10002.8	422460
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k10.cnf	? (TO)	10000	10002.8	422462
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k50.cnf	? (TO)	10000	10002.8	422463
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k60.cnf	? (TO)	10000	10003.9	422464
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k25.cnf	? (TO)	10000	10003.1	422465
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k70.cnf	? (TO)	10000	10003.3	422475
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k95.cnf	? (TO)	10000	10004	422477
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k60.cnf	? (TO)	10000	10003.7	422480
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k100.cnf	? (TO)	10000	10005.8	422483
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k75.cnf	? (TO)	10000	10004	422484
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k90.cnf	? (TO)	10000	10002.8	422485
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k45.cnf	? (TO)	10000	10003	422486
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k50.cnf	? (TO)	10000	10003.5	422488
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k70.cnf	? (TO)	10000	10003	422490
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k35.cnf	? (TO)	10000	10003.6	422493
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k20.cnf	? (TO)	10000	10003	422492
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k40.cnf	? (TO)	10000	10003.2	422494
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k30.cnf	? (TO)	10000	10008	422501
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k85.cnf	? (TO)	10000	10002.6	422503
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (TO)	10000	10002.8	422505
industrial/grieu/ vmpc_29.cnf	? (TO)	10000	10003.8	422422
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k75.cnf	? (TO)	10000	10003	422468
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k90.cnf	? (TO)	10000	10002.8	422469
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k30.cnf	? (TO)	10000	10003.2	422474
industrial/anbulagan/ hard-sat/partial-10-19-s.cnf	? (TO)	10000	10003.2	422298
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	10000	10003.1	422295
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	10000.1	10000.1	422317
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	10000.1	10004.3	422333
industrial/anbulagan/ hard-unsat/partial-10-17-u.cnf	? (TO)	10000.1	10002.6	422318
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	10000.1	10003	422335
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	10000.1	10002.9	422320
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	? (TO)	10000.1	10003.8	422331
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	10000.1	10002.9	422334
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	10000.1	10004	422328
industrial/anbulagan/ hard-unsat/partial-10-11-u.cnf	? (TO)	10000.1	10003	422329
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	10000.1	10004	422330
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	10000.1	10003	422312
industrial/fuhs/medium/ AProVE07-20.cnf	? (TO)	10000.1	10003.1	422343
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	10000.1	10003.3	422349
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	10000.1	10003	422350
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	10000.1	10003.7	422353
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	10000.1	10003.1	422356
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	10000.1	10003.4	422403
industrial/grieu/ vmpc_34.cnf	? (TO)	10000.1	10004.1	422424
industrial/grieu/ vmpc_30.cnf	? (TO)	10000.1	10003.1	422418
industrial/manolios/ manol-pipe-c7nidw.cnf	? (TO)	10000.1	10003.6	422428
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	? (TO)	10000.1	10003.3	422452
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k15.cnf	? (TO)	10000.1	10002.9	422453
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	? (TO)	10000.1	10002.8	422454
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k30.cnf	? (TO)	10000.1	10003.4	422456
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k85.cnf	? (TO)	10000.1	10000.1	422458
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k35.cnf	? (TO)	10000.1	10007.5	422461
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	? (TO)	10000.1	10002.9	422467
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k55.cnf	? (TO)	10000.1	10004.2	422470
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k80.cnf	? (TO)	10000.1	10002.8	422471
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k45.cnf	? (TO)	10000.1	10003.8	422472
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k85.cnf	? (TO)	10000.1	10004.1	422476
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k35.cnf	? (TO)	10000.1	10003	422478
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k50.cnf	? (TO)	10000.1	10002.8	422479
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k65.cnf	? (TO)	10000.1	10003.9	422482
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k60.cnf	? (TO)	10000.1	10003	422487
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k90.cnf	? (TO)	10000.1	10003.1	422500
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k95.cnf	? (TO)	10000.1	10006	422491
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k65.cnf	? (TO)	10000.1	10003	422495
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	? (TO)	10000.1	10003.8	422496
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k75.cnf	? (TO)	10000.1	10002.8	422497
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k25.cnf	? (TO)	10000.1	10002.9	422498
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k100.cnf	? (TO)	10000.1	10003	422502
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (TO)	10000.1	10003.3	422510
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	10000.1	10004.1	422346
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k65.cnf	? (TO)	10000.1	10002.8	422466
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k40.cnf	? (TO)	10000.1	10003.5	422473

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/palacios/uts/ uts-l06-ipc5-h32-unknown.cnf	? (MO)	2642.94	2643.72	422364
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (MO)	4203.89	4205.61	422352
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (MO)	4890.98	4892.51	422357

SAT 2007 Competition Phase 2: benchmarks results per solver

Result page for solver Siege V4

Category "industrial instances" (INDUST)

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

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

Solver didn't decide (UNKNOWN) (11 runs) [Show/Hide]

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

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