SAT 2011 Competition: main competition (phase 1): benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3500_3500_30f1.shuffled.cnf	UNSAT	0.004999	0.00641488	3274805
crafted/skvortsov/battleship/ battleship-5-8-unsat.cnf	UNSAT	0.033994	0.0348951	3274412
crafted/skvortsov/battleship/ battleship-6-9-unsat.cnf	UNSAT	0.174973	0.180574	3274436
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-010-008.shuffled-as.sat05-1171.cnf	UNSAT	0.45393	0.453343	3274736
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/ grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf	UNSAT	0.513921	0.513479	3274751
SAT05/crafted/sorge05/QG8/ gensys-ukn007.shuffled-as.sat05-3586.cnf	UNSAT	0.624904	0.624554	3274793
crafted/skvortsov/battleship/ battleship-10-10-unsat.cnf	UNSAT	0.923859	0.92434	3274400
SAT05/crafted/sabharwal05/planning/logistics/unsat/ logistics-rotate-07t5.shuffled-as.sat05-1137.cnf	UNSAT	1.06484	1.06507	3274730
SAT03/handmade/bevan/cnf/ marg3x3add8.shuffled-as.sat03-1449.cnf	UNSAT	1.17482	1.17526	3274655
SAT03/handmade/bevan/cnf/ marg3x3add8ch.shuffled-as.sat03-1448.cnf	UNSAT	2.21566	2.2162	3274658
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_060.shuffled.cnf	UNSAT	2.52961	2.52953	3274808
SAT05/crafted/sorge05/QG6/ dead-dnd002.shuffled-as.sat05-2713.cnf	UNSAT	36.5374	36.5394	3274799
SAT02/handmade/chu-min-li/urquhart/ urquhart3_25bis.shuffled.cnf	UNSAT	42.3826	42.3824	3274835
crafted/skvortsov/battleship/ battleship-11-11-unsat.cnf	UNSAT	49.0385	49.0396	3274391
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf	UNSAT	56.9043	56.903	3274562
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-19_348.cnf	UNSAT	70.6213	70.6204	3274505
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_381.cnf	UNSAT	78.868	78.8686	3274517
SAT02/handmade/zhang-lintao/ xor-chain/x1_40.shuffled.cnf	UNSAT	116.922	116.918	3274832
crafted/skvortsov/battleship/ battleship-7-12-unsat.cnf	UNSAT	127.384	127.382	3274418
crafted/skvortsov/battleship/ battleship-12-12-unsat.cnf	UNSAT	134.07	134.066	3274424
SAT05/crafted/sorge05/QG7/ dead-dnd003.shuffled-as.sat05-3109.cnf	UNSAT	170.796	170.792	3274790
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_528.cnf	UNSAT	214.252	214.251	3274487
crafted/skvortsov/ automata-synchronization/rnd_100_28_u.cnf	UNSAT	226.305	226.302	3274364
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_401.cnf	UNSAT	236.723	236.718	3274514
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_390.cnf	UNSAT	239.578	239.571	3274520
SAT03/handmade/markstrom/UNSATISFIABLE/ mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf	UNSAT	269.874	269.872	3274652
crafted/skvortsov/ automata-synchronization/rnd_150_29_u.cnf	UNSAT	379.265	379.26	3274376
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf	UNSAT	521.827	521.811	3274544
SAT05/crafted/sorge05/QG7/ gensys-icl007.shuffled-as.sat05-3133.cnf	UNSAT	587.871	587.86	3274787
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_406.cnf	UNSAT	1007.44	1007.43	3274526
SAT05/crafted/sorge05/QG7a/ gensys-icl005.shuffled-as.sat05-3826.cnf	UNSAT	1212.97	1212.97	3274772
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_445.cnf	UNSAT	1268.51	1268.48	3274529

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/skvortsov/battleship/ battleship-8-15-sat.cnf	SAT	0.001999	0.00601994	3274394
crafted/skvortsov/battleship/ battleship-7-13-sat.cnf	SAT	0.001999	0.00634806	3274445
crafted/mosoi/289/ 289-sat-4x8.cnf	SAT	0.004998	0.00805588	3274271
crafted/skvortsov/battleship/ battleship-12-23-sat.cnf	SAT	0.004999	0.0061489	3274427
crafted/mosoi/289/ 289-sat-5x8.cnf	SAT	0.006998	0.00750204	3274316
crafted/skvortsov/battleship/ battleship-10-19-sat.cnf	SAT	0.006998	0.0121889	3274442
crafted/mosoi/289/ 289-sat-7x6.cnf	SAT	0.007997	0.01053	3274313
crafted/mosoi/ 289/289-sat-11x4.cnf	SAT	0.007998	0.00928789	3274331
crafted/mosoi/289/ 289-sat-6x8.cnf	SAT	0.009998	0.0125289	3274337
crafted/skvortsov/battleship/ battleship-10-18-sat.cnf	SAT	0.011998	0.0128461	3274406
crafted/mosoi/289/ 289-sat-6x9.cnf	SAT	0.012998	0.013674	3274346
crafted/skvortsov/battleship/ battleship-9-17-sat.cnf	SAT	0.015997	0.017478	3274454
SAT02/handmade/pehoushek/twentyvars/ 7cnf20_90000_90000_7.shuffled.cnf	SAT	0.022996	0.0233191	3274802
SAT05/crafted/sorge05/QG8/ iso-ukn009.shuffled-as.sat05-3632.cnf	SAT	0.036993	0.037015	3274796
SAT05/crafted/sorge05/QG7/ iso-ukn004.shuffled-as.sat05-3385.cnf	SAT	0.036993	0.036461	3274784
crafted/mosoi/ 289/289-sat-11x9.cnf	SAT	0.063989	0.0646599	3274343
crafted/mosoi/ 289/289-sat-6x19.cnf	SAT	0.082987	0.0844159	3274262
crafted/mosoi/ 289/289-sat-14x8.cnf	SAT	0.088985	0.0896899	3274292
crafted/mosoi/ 289/289-sat-11x10.cnf	SAT	0.090985	0.0923789	3274310
crafted/mosoi/ 289/289-sat-9x13.cnf	SAT	0.092985	0.093461	3274301
crafted/mosoi/ 289/289-sat-4x35.cnf	SAT	0.12098	0.122748	3274274
crafted/mosoi/ 289/289-sat-6x20.cnf	SAT	0.12198	0.125498	3274295
CRAFTED/sgi/ satsgi-n26himBHm28-p0-q293.cnf	SAT	0.142978	0.143972	3273216
crafted/mosoi/ 289/289-sat-12x15.cnf	SAT	0.348946	0.349911	3274280
crafted/mosoi/ 289/289-sat-12x14.cnf	SAT	0.366943	0.367421	3274325
SAT05/crafted/sorge05/QG7a/ gensys-brn002.shuffled-as.sat05-3935.cnf	SAT	0.366944	0.36792	3274766
crafted/spence/sgen/ sgen3-n140-s18527668-sat.cnf	SAT	1.19982	1.20069	3274209
crafted/skvortsov/battleship/ battleship-10-17-sat.cnf	SAT	2.13267	2.13319	3274385
SAT04/handmade/anton/l4k4/ lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf	SAT	2.21866	2.21909	3274682
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	4.98124	4.98174	3273198
crafted/skvortsov/battleship/ battleship-11-21-sat.cnf	SAT	5.36518	5.37044	3274451
SAT04/handmade/anton/l5k3/ lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf	SAT	6.16206	6.16288	3274679
crafted/spence/sgen/ sgen3-n120-s12930489-sat.cnf	SAT	6.52401	6.52715	3274068
crafted/skvortsov/ automata-synchronization/rnd_150_42_s.cnf	SAT	8.28674	8.29207	3274352
crafted/skvortsov/battleship/ battleship-14-26-sat.cnf	SAT	8.65968	8.66029	3274415
crafted/skvortsov/battleship/ battleship-14-27-sat.cnf	SAT	11.6682	11.6698	3274430
crafted/skvortsov/ automata-synchronization/rnd_100_28_s.cnf	SAT	12.816	12.8162	3274349
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_527.cnf	SAT	20.4279	20.4281	3274478
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_399.cnf	SAT	29.5095	29.5139	3274490
SAT04/handmade/anton/l5k3/ lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf	SAT	31.1373	31.1369	3274676
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	34.0208	34.0226	3273204
crafted/skvortsov/ automata-synchronization/rnd_100_27_s.cnf	SAT	39.0411	39.0434	3274373
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-24_567.cnf	SAT	67.3358	67.3375	3274493
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p15-s58217873.cnf	SAT	89.1245	89.121	3274871
SAT04/handmade/andrew/composite/ Composite-024BitPrimes-1.used-as.sat04-861.cnf	SAT	138.483	138.48	3274697
crafted/skvortsov/battleship/ battleship-24-57-sat.cnf	SAT	250.646	250.637	3274397
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf	SAT	279.642	279.649	3274718
crafted/skvortsov/ automata-synchronization/rnd_100_32_s.cnf	SAT	352.86	352.852	3274379
crafted/spence/sgen/ sgen3-n160-s40283905-sat.cnf	SAT	354.786	354.775	3273410
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g5.cnf	SAT	383.297	383.286	3273234
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_443.cnf	SAT	429.276	429.269	3274523
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g7.cnf	SAT	476.495	476.483	3273246
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p30-s70617701.cnf	SAT	598.315	598.307	3274850
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_404.cnf	SAT	702.265	702.259	3274502
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	SAT	808.339	808.325	3273360
crafted/skvortsov/battleship/ battleship-16-31-sat.cnf	SAT	1166.72	1166.68	3274388
crafted/spence/sgen/ sgen3-n180-s34713902-sat.cnf	SAT	1176.93	1176.89	3273551
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf	SAT	1208.61	1208.58	3274712
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p15-s2076598.cnf	SAT	1220.53	1220.52	3274892
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_462.cnf	SAT	1294.74	1294.71	3274535

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/handmade/simon/satex-challenges/ par32-3.shuffled.cnf	? (TO)	1297.6	1300.01	3274826
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes5.cnf	? (TO)	1299.15	1300.01	3273267
crafted/spence/sgen/ sgen3-n280-s93756482-sat.cnf	? (TO)	1299.37	1300.01	3273927
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes1.cnf	? (TO)	1299.93	1300.01	3273297
SAT05/crafted/sorge05/QG7a/ gensys-ukn004.shuffled-as.sat05-3844.cnf	? (TO)	1299.93	1300.01	3274778
crafted/mosoi/289/ 289-unsat-6x34.cnf	? (TO)	1299.97	1300.01	3274259
crafted/spence/sgen/ sgen3-n200-s39840374-sat.cnf	? (TO)	1299.98	1300.01	3273598
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4232.cnf	? (TO)	1299.99	1300.02	3274484
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	1299.99	1300.02	3273252
SAT03/handmade/stanion/hwb/ hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf	? (TO)	1299.99	1300.01	3274643
crafted/skvortsov/battleship/ battleship-15-29-sat.cnf	? (TO)	1300	1300.01	3274448
crafted/mosoi/289/ 289-unsat-7x39.cnf	? (TO)	1300	1300.01	3274298
CRAFTED/rbsat/random/ forced/rbsat-v1820c171155gyes3.cnf	? (TO)	1300	1300.02	3273285
SAT03/handmade/anton/UNSAT/ SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf	? (TO)	1300	1300.01	3274631
crafted/spence/sgen/ sgen3-n160-s73223945-unsat.cnf	? (TO)	1300	1300.01	3273692
crafted/skvortsov/ automata-synchronization/crn_11_99_u.cnf	? (TO)	1300	1300.01	3274367
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g3.cnf	? (TO)	1300	1300.01	3273243
crafted/skvortsov/automata-synchronization/ crn_40_1520_u.cnf	? (TO)	1300.01	1300.02	3274382
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/ mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf	? (TO)	1300.01	1300.01	3274706
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes8.cnf	? (TO)	1300.01	1300.01	3273336
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1300.01	1300.02	3273294
crafted/mosoi/289/ 289-unsat-13x32.cnf	? (TO)	1300.01	1300.02	3274265
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf	? (TO)	1300.01	1300.01	3274553
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	1300.01	1300.02	3273192
SAT02/handmade/simon/ satex-challenges/f600.shuffled.cnf	? (TO)	1300.02	1300.01	3274820
SAT04/handmade/kexu/frb-0.6/ frb80-14-2.used-as.sat04-880.cnf	? (TO)	1300.02	1300.01	3274664
SAT04/handmade/kexu/frb-0.6/ frb75-13-2.used-as.sat04-878.cnf	? (TO)	1300.02	1300.01	3274661
SAT02/handmade/simon/ satex-challenges/c6288.shuffled.cnf	? (TO)	1300.02	1300.01	3274823
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf	? (TO)	1300.02	1300.01	3274556
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf	? (TO)	1300.02	1300.01	3274559
SAT03/handmade/gomes/bqwh/ bqwh.50.825.shuffled-as.sat03-1648.cnf	? (TO)	1300.02	1300.02	3274568
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf	? (TO)	1300.02	1300.02	3274880
SAT05/crafted/sorge05/QG7a/ gensys-ukn006.shuffled-as.sat05-3846.cnf	? (TO)	1300.02	1300.01	3274775
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	? (TO)	1300.02	1300.01	3273189
CRAFTED/rbsat/crafted/ forced/rbsat-v2100c215164gyes4.cnf	? (TO)	1300.02	1300.03	3273333
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g6.cnf	? (TO)	1300.02	1300.03	3273306
crafted/skvortsov/battleship/ battleship-13-13-unsat.cnf	? (TO)	1300.02	1300.01	3274409
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf	? (TO)	1300.02	1300.01	3274541
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g4.cnf	? (TO)	1300.03	1300.01	3273225
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf	? (TO)	1300.03	1300.01	3274724
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf	? (TO)	1300.03	1300.01	3274721
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf	? (TO)	1300.03	1300.01	3274727
SAT05/crafted/sorge05/QG7a/ gensys-ukn009.shuffled-as.sat05-3849.cnf	? (TO)	1300.03	1300.01	3274769
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-020-019.shuffled-as.sat05-1190.cnf	? (TO)	1300.03	1300.01	3274742
SAT04/handmade/kexu/frb-0.8/ frb59-26-2.used-as.sat04-892.cnf	? (TO)	1300.03	1300.02	3274670
SAT04/handmade/kexu/frb-0.8/ frb45-21-1.used-as.sat04-883.cnf	? (TO)	1300.03	1300.01	3274667
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf	? (TO)	1300.03	1300.01	3274625
SAT03/handmade/anton/UNSAT/ SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf	? (TO)	1300.03	1300.01	3274616
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_110.shuffled.cnf	? (TO)	1300.03	1300.01	3274817
SAT03/handmade/anton/UNSAT/ SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf	? (TO)	1300.03	1300.01	3274577
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4231.cnf	? (TO)	1300.03	1300.01	3274466
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_512.cnf	? (TO)	1300.03	1300.01	3274463
crafted/skvortsov/battleship/ battleship-16-16-unsat.cnf	? (TO)	1300.03	1300.01	3274421
crafted/skvortsov/ automata-synchronization/crn_20_361_s.cnf	? (TO)	1300.03	1300.01	3274370
crafted/mosoi/289/ 289-unsat-6x40.cnf	? (TO)	1300.03	1300.01	3274322
crafted/mosoi/289/ 289-unsat-17x27.cnf	? (TO)	1300.03	1300.03	3274307
crafted/mosoi/289/ 289-unsat-6x30.cnf	? (TO)	1300.03	1300.01	3274268
crafted/spence/sgen/ sgen3-n240-s78945233-sat.cnf	? (TO)	1300.03	1300.01	3274162
crafted/spence/sgen/ sgen3-n260-s62321009-sat.cnf	? (TO)	1300.03	1300.01	3274115
crafted/spence/sgen/ sgen3-n200-s00813792-unsat.cnf	? (TO)	1300.03	1300.01	3274021
crafted/spence/sgen/ sgen3-n140-s20078956-unsat.cnf	? (TO)	1300.03	1300.01	3273974
crafted/spence/sgen/ sgen3-n120-s55656844-unsat.cnf	? (TO)	1300.03	1300.01	3273833
crafted/spence/sgen/ sgen3-n150-s89334302-unsat.cnf	? (TO)	1300.03	1300.01	3273645
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_506.cnf	? (TO)	1300.03	1300.01	3274511
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_508.cnf	? (TO)	1300.03	1300.01	3274508
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_507.cnf	? (TO)	1300.03	1300.01	3274499
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_464.cnf	? (TO)	1300.03	1300.01	3274496
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf	? (TO)	1300.04	1300.01	3274715
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_220.shuffled.cnf	? (TO)	1300.04	1300.01	3274814
crafted/spence/sgen/ sgen3-n190-s29985700-unsat.cnf	? (TO)	1300.04	1300.01	3274256
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf	? (TO)	1300.04	1300.01	3274538
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_505.cnf	? (TO)	1300.04	1300.01	3274532
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes5.cnf	? (TO)	1300.04	1300.01	3273321
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes7.cnf	? (TO)	1300.04	1300.01	3273324
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-030-029.shuffled-as.sat05-1234.cnf	? (TO)	1300.04	1300.01	3274745
crafted/spence/sgen/ sgen3-n130-s30940966-unsat.cnf	? (TO)	1300.04	1300.01	3273880
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes10.cnf	? (TO)	1300.04	1300.01	3273330
crafted/spence/sgen/ sgen3-n220-s24359701-sat.cnf	? (TO)	1300.04	1300.01	3273786
crafted/spence/sgen/ sgen3-n170-s56409011-unsat.cnf	? (TO)	1300.04	1300.01	3273739
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-020-019.shuffled-as.sat05-1232.cnf	? (TO)	1300.04	1300.01	3274748
crafted/spence/sgen/ sgen3-n300-s12830984-sat.cnf	? (TO)	1300.04	1300.01	3273457
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_170.shuffled.cnf	? (TO)	1300.04	1300.01	3274811
crafted/spence/sgen/ sgen3-n180-s33098896-unsat.cnf	? (TO)	1300.04	1300.01	3273504
SAT03/handmade/anton/UNSAT/ SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf	? (TO)	1300.04	1300.01	3274604
SAT03/handmade/anton/UNSAT/ SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf	? (TO)	1300.04	1300.01	3274580
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p15-s72490337.cnf	? (TO)	1300.04	1300.02	3274901
SAT03/handmade/anton/UNSAT/ SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf	? (TO)	1300.04	1300.01	3274622
SAT04/handmade/connamacher/connm-d0.04/ connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf	? (TO)	1300.04	1300.01	3274688
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2071.cnf	? (TO)	1300.04	1300.01	3274481
SAT03/handmade/stanion/hwb/ hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf	? (TO)	1300.04	1300.01	3274640
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p30-s39712998.cnf	? (TO)	1300.04	1300.01	3274862
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf	? (TO)	1300.04	1300.01	3274634
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-045-035.shuffled-as.sat05-1181.cnf	? (TO)	1300.04	1300.02	3274733
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf	? (TO)	1300.04	1300.01	3274904
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g1.cnf	? (TO)	1300.04	1300.02	3273228
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g7.cnf	? (TO)	1300.04	1300.01	3273258
SAT04/handmade/connamacher/connm-d-0.02/ connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf	? (TO)	1300.04	1300.01	3274691
crafted/skvortsov/battleship/ battleship-17-33-sat.cnf	? (TO)	1300.04	1300.01	3274439
crafted/skvortsov/battleship/ battleship-15-15-unsat.cnf	? (TO)	1300.04	1300.01	3274433
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf	? (TO)	1300.04	1300.01	3274610
SAT04/handmade/hirsch03/ hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf	? (TO)	1300.04	1300.01	3274694
SAT03/handmade/anton/UNSAT/ SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf	? (TO)	1300.04	1300.01	3274613
SAT04/handmade/connamacher/connm-d0.02/ connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf	? (TO)	1300.04	1300.01	3274685
SAT04/handmade/marijn/equilarge-l/ equilarge_l2.used-as.sat04-894.cnf	? (TO)	1300.04	1300.01	3274700
SAT05/crafted/sorge05/QG7a/ gensys-ukn003.shuffled-as.sat05-3843.cnf	? (TO)	1300.04	1300.01	3274781
SAT04/handmade/marijn/equilarge-l/ equilarge_l4.used-as.sat04-896.cnf	? (TO)	1300.04	1300.01	3274703
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p30-s67876261.cnf	? (TO)	1300.04	1300.02	3274898
SAT02/handmade/zhang-lintao/ xor-chain/x1_80.shuffled.cnf	? (TO)	1300.04	1300.01	3274829
SAT03/handmade/stanion/hwb/ hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf	? (TO)	1300.04	1300.01	3274646
SAT05/crafted/markstrom05/eulcbip/ eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf	? (TO)	1300.04	1300.01	3274763
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g5.cnf	? (TO)	1300.04	1300.02	3273300
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g9.cnf	? (TO)	1300.04	1300.01	3273303
SAT03/handmade/stanion/hwb/ hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf	? (TO)	1300.04	1300.01	3274649
crafted/mosoi/289/ 289-unsat-9x32.cnf	? (TO)	1300.04	1300.01	3274319
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf	? (TO)	1300.04	1300.01	3274589
CRAFTED/rbsat/crafted/unforced/ rbsat-v945c61409g3.cnf	? (TO)	1300.04	1300.01	3273309
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf	? (TO)	1300.04	1300.01	3274709
crafted/mosoi/289/ 289-unsat-21x14.cnf	? (TO)	1300.04	1300.01	3274289
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g7.cnf	? (TO)	1300.04	1300.01	3273312
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g2.cnf	? (TO)	1300.04	1300.01	3273318
crafted/mosoi/289/ 289-unsat-5x41.cnf	? (TO)	1300.04	1300.01	3274277
SAT03/handmade/anton/UNSAT/ SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf	? (TO)	1300.04	1300.01	3274619
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf	? (TO)	1300.05	1300.02	3274868
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf	? (TO)	1300.05	1300.02	3274859
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf	? (TO)	1300.05	1300.02	3274847
SAT04/handmade/kexu/frb-0.8/ frb59-26-1.used-as.sat04-891.cnf	? (TO)	1300.05	1300.02	3274673
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf	? (TO)	1300.05	1300.01	3274583
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_511.cnf	? (TO)	1300.05	1300.01	3274472
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p15-s54275047.cnf	? (TO)	1300.05	1300.02	3274907
crafted/skvortsov/battleship/ battleship-14-14-unsat.cnf	? (TO)	1300.05	1300.01	3274403
crafted/skvortsov/automata-synchronization/ crn_40_1521_s.cnf	? (TO)	1300.05	1300.02	3274361
crafted/skvortsov/ automata-synchronization/crn_11_100_s.cnf	? (TO)	1300.05	1300.01	3274358
crafted/skvortsov/ automata-synchronization/crn_20_360_u.cnf	? (TO)	1300.05	1300.01	3274355
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf	? (TO)	1300.05	1300.01	3274550
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf	? (TO)	1300.05	1300.01	3274547
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf	? (TO)	1300.05	1300.02	3274913
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-040-039.shuffled-as.sat05-1194.cnf	? (TO)	1300.05	1300.02	3274739
SAT05/crafted/sabharwal05/ordering/gt-ordering/ sat/gt-030.shuffled-as.sat05-1295.cnf	? (TO)	1300.05	1300.01	3274754
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	? (TO)	1300.05	1300.01	3273363
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (TO)	1300.05	1300.02	3273357
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes6.cnf	? (TO)	1300.05	1300.01	3273339
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf	? (TO)	1300.05	1300.02	3274883
CRAFTED/rbsat/random/forced/ rbsat-v1375c111739gyes10.cnf	? (TO)	1300.05	1300.02	3273279
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes1.cnf	? (TO)	1300.05	1300.03	3273276
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes7.cnf	? (TO)	1300.05	1300.03	3273273
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf	? (TO)	1300.05	1300.02	3274886
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes2.cnf	? (TO)	1300.05	1300.04	3273261
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g4.cnf	? (TO)	1300.05	1300.02	3273255
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g4.cnf	? (TO)	1300.05	1300.03	3273249
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g6.cnf	? (TO)	1300.05	1300.01	3273240
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	1300.05	1300.01	3273213
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1300.05	1300.01	3273210
SAT03/handmade/anton/SAT/ SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf	? (TO)	1300.05	1300.01	3274637
SAT03/handmade/anton/UNSAT/ SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf	? (TO)	1300.05	1300.01	3274628
crafted/spence/ hard/s113-100.cnf	? (TO)	1300.05	1300.01	3273186
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf	? (TO)	1300.05	1300.01	3274607
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf	? (TO)	1300.05	1300.01	3274592
SAT03/handmade/anton/UNSAT/ SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf	? (TO)	1300.05	1300.01	3274586
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf	? (TO)	1300.05	1300.03	3274865
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf	? (TO)	1300.06	1300.01	3274598
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1300.06	1300.01	3273207
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf	? (TO)	1300.06	1300.01	3274877
SAT03/handmade/anton/UNSAT/ SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf	? (TO)	1300.06	1300.01	3274595
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes1.cnf	? (TO)	1300.06	1300.02	3273345
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes5.cnf	? (TO)	1300.06	1300.04	3273282
crafted/mosoi/289/ 289-unsat-14x38.cnf	? (TO)	1300.06	1300.03	3274328
SAT03/handmade/anton/UNSAT/ SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf	? (TO)	1300.06	1300.01	3274574
crafted/mosoi/289/ 289-unsat-14x34.cnf	? (TO)	1300.06	1300.03	3274334
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes6.cnf	? (TO)	1300.06	1300.04	3273270
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf	? (TO)	1300.06	1300.02	3274838
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes7.cnf	? (TO)	1300.06	1300.03	3273264
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf	? (TO)	1300.06	1300.03	3274841
CRAFTED/rbsat/random/forced/ rbsat-v2640c305320gyes10.cnf	? (TO)	1300.06	1300.03	3273291
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf	? (TO)	1300.06	1300.04	3274844
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf	? (TO)	1300.06	1300.02	3274889
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf	? (TO)	1300.06	1300.02	3274874
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g9.cnf	? (TO)	1300.06	1300.03	3273315
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	1300.06	1300.01	3273201
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g9.cnf	? (TO)	1300.06	1300.03	3273237
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g7.cnf	? (TO)	1300.06	1300.01	3273231
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2072.cnf	? (TO)	1300.06	1300.01	3274460
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf	? (TO)	1300.06	1300.01	3274565
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes1.cnf	? (TO)	1300.06	1300.01	3273342
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	1300.06	1300.04	3273288
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf	? (TO)	1300.06	1300.01	3274601
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf	? (TO)	1300.07	1300.04	3274856
SAT03/handmade/gomes/bqwh/ bqwh.60.1152.shuffled-as.sat03-1650.cnf	? (TO)	1300.07	1300.03	3274571
crafted/manthey/sudoku-single-hard/ sudoku_81x81_unknown.cnf	? (TO)	1300.07	1300.03	3274457
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g3.cnf	? (TO)	1300.07	1300.04	3273219
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p30-s19690873.cnf	? (TO)	1300.07	1300.02	3274919
SAT05/crafted/roussel05/visbmc-PHNF/ phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf	? (TO)	1300.07	1300.02	3274760
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes3.cnf	? (TO)	1300.07	1300.03	3273327
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	1300.07	1300.03	3273195
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf	? (TO)	1300.07	1300.02	3274916
crafted/mosoi/289/ 289-unsat-21x33.cnf	? (TO)	1300.07	1300.04	3274283
crafted/mosoi/289/ 289-unsat-21x40.cnf	? (TO)	1300.07	1300.05	3274286
crafted/mosoi/289/ 289-unsat-17x30.cnf	? (TO)	1300.07	1300.03	3274304
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf	? (TO)	1300.08	1300.04	3274853
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	1300.08	1300.04	3273348
crafted/mosoi/289/ 289-unsat-21x39.cnf	? (TO)	1300.08	1300.05	3274340
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g10.cnf	? (TO)	1300.08	1300.03	3273222
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes2.cnf	? (TO)	1300.08	1300.04	3273354
SAT05/crafted/lynce05/social-golfer-problem/ sgp_5-6-8.shuffled-as.sat05-2669.cnf	? (TO)	1300.09	1300.06	3274757
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf	? (TO)	1300.09	1300.04	3274910
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf	? (TO)	1300.09	1300.04	3274895
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes10.cnf	? (TO)	1300.09	1300.04	3273351
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34309.cnf	? (TO)	1300.09	1300.06	3274475
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34308.cnf	? (TO)	1300.11	1300.06	3274469

SAT 2011 Competition: main competition (phase 1): benchmarks results per solver

Result page for solver SAT07 reference solver: minisat SAT 2007 (complete)

Category "crafted instances" (CRAFTED)

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

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

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