SAT 2011 Competition: main competition (phase 2): 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.005999	0.00602401	3276229
crafted/skvortsov/battleship/ battleship-5-8-unsat.cnf	UNSAT	0.031995	0.0334341	3275574
crafted/skvortsov/battleship/ battleship-6-9-unsat.cnf	UNSAT	0.174973	0.175177	3275614
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/ grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf	UNSAT	0.432933	0.433741	3276139
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-010-008.shuffled-as.sat05-1171.cnf	UNSAT	0.485926	0.488752	3276114
SAT05/crafted/sorge05/QG8/ gensys-ukn007.shuffled-as.sat05-3586.cnf	UNSAT	0.623904	0.624612	3276209
crafted/skvortsov/battleship/ battleship-10-10-unsat.cnf	UNSAT	0.922859	0.923121	3275554
SAT05/crafted/sabharwal05/planning/logistics/unsat/ logistics-rotate-07t5.shuffled-as.sat05-1137.cnf	UNSAT	1.06384	1.06367	3276104
SAT03/handmade/bevan/cnf/ marg3x3add8.shuffled-as.sat03-1449.cnf	UNSAT	1.17082	1.17204	3275979
SAT03/handmade/bevan/cnf/ marg3x3add8ch.shuffled-as.sat03-1448.cnf	UNSAT	2.22566	2.22681	3275984
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_060.shuffled.cnf	UNSAT	2.51562	2.51598	3276234
SAT05/crafted/sorge05/QG6/ dead-dnd002.shuffled-as.sat05-2713.cnf	UNSAT	36.4325	36.4357	3276219
SAT02/handmade/chu-min-li/urquhart/ urquhart3_25bis.shuffled.cnf	UNSAT	42.6555	42.654	3276279
crafted/skvortsov/battleship/ battleship-11-11-unsat.cnf	UNSAT	48.8896	48.8881	3275539
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf	UNSAT	51.0952	51.0958	3275824
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-19_348.cnf	UNSAT	70.3063	70.3062	3275729
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_381.cnf	UNSAT	78.616	78.6145	3275749
SAT02/handmade/zhang-lintao/ xor-chain/x1_40.shuffled.cnf	UNSAT	116.587	116.585	3276274
crafted/skvortsov/battleship/ battleship-12-12-unsat.cnf	UNSAT	120.622	120.626	3275594
crafted/skvortsov/battleship/ battleship-7-12-unsat.cnf	UNSAT	131.559	131.558	3275584
SAT05/crafted/sorge05/QG7/ dead-dnd003.shuffled-as.sat05-3109.cnf	UNSAT	170.271	170.282	3276204
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_528.cnf	UNSAT	204.934	204.931	3275699
crafted/skvortsov/ automata-synchronization/rnd_100_28_u.cnf	UNSAT	208.137	208.133	3275494
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_401.cnf	UNSAT	236.451	236.45	3275744
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_390.cnf	UNSAT	238.199	238.202	3275754
SAT03/handmade/markstrom/UNSATISFIABLE/ mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf	UNSAT	247.666	247.666	3275974
crafted/skvortsov/ automata-synchronization/rnd_150_29_u.cnf	UNSAT	374.284	374.274	3275514
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf	UNSAT	521.214	521.199	3275794
SAT05/crafted/sorge05/QG7/ gensys-icl007.shuffled-as.sat05-3133.cnf	UNSAT	586.623	586.612	3276199
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_406.cnf	UNSAT	944.347	944.321	3275764
SAT05/crafted/sorge05/QG7a/ gensys-icl005.shuffled-as.sat05-3826.cnf	UNSAT	1205.46	1205.43	3276174
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_445.cnf	UNSAT	1236.99	1236.97	3275769
SAT03/handmade/stanion/hwb/ hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf	UNSAT	1493.43	1493.4	3275969
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf	UNSAT	1565.15	1565.11	3275869
SAT03/handmade/stanion/hwb/ hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf	UNSAT	2569.33	2569.25	3275954
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_507.cnf	UNSAT	3286.36	3286.29	3275719
SAT05/crafted/sorge05/QG7a/ gensys-ukn006.shuffled-as.sat05-3846.cnf	UNSAT	3446.56	3446.46	3276179
SAT05/crafted/sorge05/QG7a/ gensys-ukn003.shuffled-as.sat05-3843.cnf	UNSAT	3566.48	3566.37	3276189
SAT05/crafted/sorge05/QG7a/ gensys-ukn009.shuffled-as.sat05-3849.cnf	UNSAT	3956.8	3956.7	3276169
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	UNSAT	4086.97	4086.85	3274959
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_464.cnf	UNSAT	4106.19	4106.09	3275714
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf	UNSAT	4281.81	4281.71	3275884
SAT03/handmade/anton/UNSAT/ SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf	UNSAT	4526.03	4525.98	3275854
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf	UNSAT	4978.11	4977.92	3275944

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/skvortsov/battleship/ battleship-8-15-sat.cnf	SAT	0.002999	0.00689389	3275544
crafted/skvortsov/battleship/ battleship-7-13-sat.cnf	SAT	0.002999	0.00597504	3275629
crafted/mosoi/289/ 289-sat-4x8.cnf	SAT	0.003999	0.00681512	3275339
crafted/skvortsov/battleship/ battleship-12-23-sat.cnf	SAT	0.005998	0.00671489	3275599
crafted/mosoi/289/ 289-sat-5x8.cnf	SAT	0.006998	0.00751609	3275414
crafted/skvortsov/battleship/ battleship-10-19-sat.cnf	SAT	0.006998	0.00978212	3275624
crafted/mosoi/289/ 289-sat-7x6.cnf	SAT	0.007998	0.00789805	3275409
crafted/mosoi/ 289/289-sat-11x4.cnf	SAT	0.007998	0.00934807	3275439
crafted/mosoi/289/ 289-sat-6x8.cnf	SAT	0.010997	0.010958	3275449
crafted/skvortsov/battleship/ battleship-10-18-sat.cnf	SAT	0.012998	0.0138279	3275564
crafted/mosoi/289/ 289-sat-6x9.cnf	SAT	0.012998	0.013342	3275464
crafted/skvortsov/battleship/ battleship-9-17-sat.cnf	SAT	0.016997	0.0170061	3275644
SAT02/handmade/pehoushek/twentyvars/ 7cnf20_90000_90000_7.shuffled.cnf	SAT	0.022996	0.0234439	3276224
SAT05/crafted/sorge05/QG7/ iso-ukn004.shuffled-as.sat05-3385.cnf	SAT	0.035994	0.036555	3276194
SAT05/crafted/sorge05/QG8/ iso-ukn009.shuffled-as.sat05-3632.cnf	SAT	0.036993	0.037282	3276214
crafted/mosoi/ 289/289-sat-11x9.cnf	SAT	0.05899	0.059376	3275459
crafted/mosoi/ 289/289-sat-6x19.cnf	SAT	0.088986	0.0889809	3275324
crafted/mosoi/ 289/289-sat-14x8.cnf	SAT	0.089985	0.0896011	3275374
crafted/mosoi/ 289/289-sat-11x10.cnf	SAT	0.090985	0.090861	3275404
crafted/mosoi/ 289/289-sat-9x13.cnf	SAT	0.091986	0.093183	3275389
crafted/mosoi/ 289/289-sat-4x35.cnf	SAT	0.12198	0.121918	3275344
crafted/mosoi/ 289/289-sat-6x20.cnf	SAT	0.12198	0.121833	3275379
CRAFTED/sgi/ satsgi-n26himBHm28-p0-q293.cnf	SAT	0.141977	0.142076	3274974
SAT05/crafted/sorge05/QG7a/ gensys-brn002.shuffled-as.sat05-3935.cnf	SAT	0.337948	0.338989	3276164
crafted/mosoi/ 289/289-sat-12x15.cnf	SAT	0.364943	0.366118	3275354
crafted/mosoi/ 289/289-sat-12x14.cnf	SAT	0.401938	0.406662	3275429
crafted/spence/sgen/ sgen3-n140-s18527668-sat.cnf	SAT	1.19982	1.20042	3275309
crafted/skvortsov/battleship/ battleship-10-17-sat.cnf	SAT	1.9787	1.97947	3275529
SAT04/handmade/anton/l4k4/ lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf	SAT	2.20766	2.20741	3276024
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	4.78927	4.78936	3274944
crafted/skvortsov/battleship/ battleship-11-21-sat.cnf	SAT	5.98609	5.98642	3275639
SAT04/handmade/anton/l5k3/ lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf	SAT	6.14806	6.14787	3276019
crafted/spence/sgen/ sgen3-n120-s12930489-sat.cnf	SAT	6.23705	6.2421	3275294
crafted/skvortsov/battleship/ battleship-14-26-sat.cnf	SAT	7.99978	7.99941	3275579
crafted/skvortsov/ automata-synchronization/rnd_150_42_s.cnf	SAT	8.27374	8.27426	3275474
crafted/skvortsov/ automata-synchronization/rnd_100_28_s.cnf	SAT	12.8081	12.8091	3275469
crafted/skvortsov/battleship/ battleship-14-27-sat.cnf	SAT	12.862	12.8617	3275604
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_527.cnf	SAT	20.3479	20.3499	3275684
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_399.cnf	SAT	29.2286	29.2276	3275704
SAT04/handmade/anton/l5k3/ lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf	SAT	29.8925	29.8926	3276014
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	33.9918	33.9924	3274954
crafted/skvortsov/ automata-synchronization/rnd_100_27_s.cnf	SAT	39.0021	39.0009	3275509
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-24_567.cnf	SAT	66.8098	66.8083	3275709
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p15-s58217873.cnf	SAT	89.6104	89.6092	3276339
SAT04/handmade/andrew/composite/ Composite-024BitPrimes-1.used-as.sat04-861.cnf	SAT	138.543	138.539	3276049
crafted/skvortsov/battleship/ battleship-24-57-sat.cnf	SAT	249.438	249.431	3275549
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf	SAT	278.078	278.072	3276084
crafted/skvortsov/ automata-synchronization/rnd_100_32_s.cnf	SAT	346.99	346.984	3275519
crafted/spence/sgen/ sgen3-n160-s40283905-sat.cnf	SAT	353.802	353.787	3275224
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g5.cnf	SAT	357.787	357.779	3275004
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_443.cnf	SAT	422.684	422.682	3275759
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g7.cnf	SAT	483.06	483.045	3275024
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p30-s70617701.cnf	SAT	528.412	528.399	3276304
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	SAT	624.883	624.864	3275214
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_404.cnf	SAT	668.302	668.288	3275724
crafted/spence/sgen/ sgen3-n180-s34713902-sat.cnf	SAT	1066.89	1066.86	3275239
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p15-s2076598.cnf	SAT	1098.89	1098.87	3276374
crafted/skvortsov/battleship/ battleship-16-31-sat.cnf	SAT	1137.36	1137.33	3275534
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf	SAT	1213.55	1213.51	3276074
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_462.cnf	SAT	1235.77	1235.74	3275779
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf	SAT	1406.36	1406.31	3276099
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf	SAT	1594.24	1594.21	3276089
SAT04/handmade/connamacher/connm-d-0.02/ connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf	SAT	1595.59	1595.56	3276039
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf	SAT	1618.55	1618.49	3276284
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_110.shuffled.cnf	SAT	1759.28	1759.23	3276249
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	SAT	1791.18	1791.14	3274949
crafted/skvortsov/battleship/ battleship-15-29-sat.cnf	SAT	2053.66	2053.64	3275634
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g1.cnf	SAT	2226.39	2226.32	3274994
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf	SAT	2332.63	2332.58	3276079
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	SAT	3243.43	3243.28	3274929
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_505.cnf	SAT	3443.33	3443.26	3275774
SAT04/handmade/kexu/frb-0.6/ frb75-13-2.used-as.sat04-878.cnf	SAT	3519.77	3519.72	3275989
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes10.cnf	SAT	3564.04	3563.95	3275164
SAT05/crafted/lynce05/social-golfer-problem/ sgp_5-6-8.shuffled-as.sat05-2669.cnf	SAT	3687.92	3687.78	3276149
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf	SAT	4060.58	4060.46	3276069
SAT02/handmade/simon/ satex-challenges/f600.shuffled.cnf	SAT	4074.87	4074.78	3276254
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_506.cnf	SAT	4170.77	4170.65	3275739
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_220.shuffled.cnf	SAT	4553.75	4553.83	3276244

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes5.cnf	? (TO)	5000.02	4999.91	3275149
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g7.cnf	? (TO)	5000.02	4999.91	3275134
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf	? (TO)	5000.02	4999.91	3275874
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/ mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf	? (TO)	5000.02	4999.91	3276064
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_508.cnf	? (TO)	5000.02	4999.91	3275734
crafted/spence/sgen/ sgen3-n280-s93756482-sat.cnf	? (TO)	5000.02	4999.91	3275279
crafted/spence/sgen/ sgen3-n160-s73223945-unsat.cnf	? (TO)	5000.02	4999.91	3275254
crafted/skvortsov/automata-synchronization/ crn_40_1520_u.cnf	? (TO)	5000.02	4999.92	3275524
crafted/spence/sgen/ sgen3-n150-s89334302-unsat.cnf	? (TO)	5000.02	4999.91	3275249
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_511.cnf	? (TO)	5000.03	4999.91	3275674
SAT04/handmade/connamacher/connm-d0.04/ connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf	? (TO)	5000.03	4999.91	3276034
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf	? (TO)	5000.03	4999.91	3275829
SAT03/handmade/anton/UNSAT/ SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf	? (TO)	5000.03	4999.91	3275844
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes5.cnf	? (TO)	5000.03	4999.91	3275059
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes1.cnf	? (TO)	5000.03	4999.92	3275109
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes8.cnf	? (TO)	5000.03	4999.91	3275174
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes6.cnf	? (TO)	5000.03	4999.91	3275179
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-030-029.shuffled-as.sat05-1234.cnf	? (TO)	5000.03	4999.91	3276129
crafted/spence/sgen/ sgen3-n300-s12830984-sat.cnf	? (TO)	5000.03	4999.91	3275229
crafted/spence/sgen/ sgen3-n200-s39840374-sat.cnf	? (TO)	5000.03	4999.81	3275244
crafted/spence/sgen/ sgen3-n260-s62321009-sat.cnf	? (TO)	5000.03	4999.91	3275299
crafted/spence/sgen/ sgen3-n240-s78945233-sat.cnf	? (TO)	5000.03	4999.91	3275304
crafted/spence/sgen/ sgen3-n190-s29985700-unsat.cnf	? (TO)	5000.03	4999.91	3275314
crafted/mosoi/289/ 289-unsat-6x34.cnf	? (TO)	5000.03	4999.91	3275319
crafted/mosoi/289/ 289-unsat-6x30.cnf	? (TO)	5000.03	4999.91	3275334
crafted/mosoi/289/ 289-unsat-5x41.cnf	? (TO)	5000.03	4999.91	3275349
SAT04/handmade/connamacher/connm-d0.02/ connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf	? (TO)	5000.03	4999.91	3276029
SAT05/crafted/sabharwal05/ordering/gt-ordering/ sat/gt-030.shuffled-as.sat05-1295.cnf	? (TO)	5000.03	4999.91	3276144
crafted/mosoi/289/ 289-unsat-7x39.cnf	? (TO)	5000.03	4999.92	3275384
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf	? (TO)	5000.03	4999.92	3276344
crafted/mosoi/289/ 289-unsat-9x32.cnf	? (TO)	5000.03	4999.92	3275419
crafted/mosoi/289/ 289-unsat-6x40.cnf	? (TO)	5000.03	4999.92	3275424
SAT02/handmade/simon/ satex-challenges/c6288.shuffled.cnf	? (TO)	5000.03	4999.91	3276259
crafted/skvortsov/ automata-synchronization/crn_20_360_u.cnf	? (TO)	5000.03	4999.91	3275479
crafted/skvortsov/ automata-synchronization/crn_11_100_s.cnf	? (TO)	5000.03	4999.91	3275484
crafted/skvortsov/automata-synchronization/ crn_40_1521_s.cnf	? (TO)	5000.03	4999.92	3275489
SAT04/handmade/marijn/equilarge-l/ equilarge_l4.used-as.sat04-896.cnf	? (TO)	5000.03	4999.91	3276059
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf	? (TO)	5000.03	4999.92	3275889
SAT05/crafted/markstrom05/eulcbip/ eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf	? (TO)	5000.03	4999.91	3276159
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g6.cnf	? (TO)	5000.03	4999.92	3275014
SAT03/handmade/anton/UNSAT/ SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf	? (TO)	5000.03	4999.91	3275879
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g3.cnf	? (TO)	5000.03	4999.91	3275019
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	5000.04	4999.92	3275034
CRAFTED/rbsat/random/forced/ rbsat-v1375c111739gyes10.cnf	? (TO)	5000.04	4999.92	3275079
SAT04/handmade/kexu/frb-0.8/ frb45-21-1.used-as.sat04-883.cnf	? (TO)	5000.04	4999.91	3275999
crafted/spence/ hard/s113-100.cnf	? (TO)	5000.04	4999.81	3274924
crafted/skvortsov/battleship/ battleship-14-14-unsat.cnf	? (TO)	5000.04	4999.91	3275559
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf	? (TO)	5000.04	4999.92	3276349
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf	? (TO)	5000.04	4999.91	3275819
SAT03/handmade/anton/UNSAT/ SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf	? (TO)	5000.04	4999.91	3275849
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes7.cnf	? (TO)	5000.04	4999.91	3275154
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-020-019.shuffled-as.sat05-1190.cnf	? (TO)	5000.04	4999.91	3276124
crafted/spence/sgen/ sgen3-n180-s33098896-unsat.cnf	? (TO)	5000.04	4999.81	3275234
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf	? (TO)	5000.04	4999.91	3275929
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g7.cnf	? (TO)	5000.04	4999.92	3275044
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf	? (TO)	5000.04	4999.91	3275784
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4232.cnf	? (TO)	5000.04	4999.92	3275694
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf	? (TO)	5000.04	4999.92	3276394
SAT03/handmade/anton/UNSAT/ SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf	? (TO)	5000.04	4999.92	3275934
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (TO)	5000.04	4999.93	3275209
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes1.cnf	? (TO)	5000.05	4999.93	3275189
crafted/mosoi/289/ 289-unsat-14x38.cnf	? (TO)	5000.05	4999.94	3275434
crafted/mosoi/289/ 289-unsat-14x34.cnf	? (TO)	5000.05	4999.94	3275444
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2072.cnf	? (TO)	5000.05	4999.91	3275654
crafted/spence/sgen/ sgen3-n170-s56409011-unsat.cnf	? (TO)	5000.05	4999.91	3275259
crafted/spence/sgen/ sgen3-n220-s24359701-sat.cnf	? (TO)	5000.05	4999.91	3275264
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf	? (TO)	5000.05	4999.94	3276414
crafted/skvortsov/ automata-synchronization/crn_11_99_u.cnf	? (TO)	5000.05	4999.91	3275499
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes7.cnf	? (TO)	5000.05	4999.93	3275069
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p15-s54275047.cnf	? (TO)	5000.05	4999.93	3276399
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	5000.05	4999.93	3275104
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g4.cnf	? (TO)	5000.05	4999.93	3275039
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p30-s39712998.cnf	? (TO)	5000.05	4999.91	3276324
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes1.cnf	? (TO)	5000.05	4999.92	3275184
crafted/skvortsov/ automata-synchronization/crn_20_361_s.cnf	? (TO)	5000.06	4999.91	3275504
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes10.cnf	? (TO)	5000.06	4999.95	3275199
CRAFTED/rbsat/crafted/ forced/rbsat-v2100c215164gyes4.cnf	? (TO)	5000.06	4999.94	3275169
crafted/mosoi/289/ 289-unsat-13x32.cnf	? (TO)	5000.06	4999.93	3275329
CRAFTED/rbsat/random/ forced/rbsat-v1820c171155gyes3.cnf	? (TO)	5000.06	4999.83	3275089
SAT03/handmade/stanion/hwb/ hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf	? (TO)	5000.06	4999.91	3275964
SAT03/handmade/stanion/hwb/ hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf	? (TO)	5000.06	4999.91	3275959
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf	? (TO)	5000.06	4999.91	3275899
crafted/mosoi/289/ 289-unsat-17x27.cnf	? (TO)	5000.06	4999.93	3275399
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	5000.06	4999.91	3274969
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g9.cnf	? (TO)	5000.06	4999.91	3275119
crafted/spence/sgen/ sgen3-n140-s20078956-unsat.cnf	? (TO)	5000.06	4999.91	3275284
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p15-s72490337.cnf	? (TO)	5000.06	4999.94	3276389
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	5000.06	4999.91	3274964
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	5000.06	4999.95	3274934
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	5000.06	4999.94	3274939
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g10.cnf	? (TO)	5000.06	4999.94	3274984
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf	? (TO)	5000.06	4999.83	3276334
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf	? (TO)	5000.06	4999.93	3276299
crafted/skvortsov/battleship/ battleship-16-16-unsat.cnf	? (TO)	5000.06	4999.91	3275589
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes2.cnf	? (TO)	5000.06	4999.94	3275049
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-040-039.shuffled-as.sat05-1194.cnf	? (TO)	5000.06	4999.92	3276119
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_512.cnf	? (TO)	5000.06	4999.91	3275659
SAT03/handmade/anton/UNSAT/ SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf	? (TO)	5000.07	4999.91	3275914
SAT05/crafted/sorge05/QG7a/ gensys-ukn004.shuffled-as.sat05-3844.cnf	? (TO)	5000.07	4999.91	3276184
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g4.cnf	? (TO)	5000.07	4999.94	3275029
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes7.cnf	? (TO)	5000.07	4999.94	3275054
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes3.cnf	? (TO)	5000.07	4999.94	3275159
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf	? (TO)	5000.07	4999.94	3276354
crafted/mosoi/289/ 289-unsat-21x33.cnf	? (TO)	5000.07	4999.95	3275359
crafted/mosoi/289/ 289-unsat-21x14.cnf	? (TO)	5000.07	4999.92	3275369
crafted/skvortsov/battleship/ battleship-15-15-unsat.cnf	? (TO)	5000.07	4999.91	3275609
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	? (TO)	5000.07	4999.91	3275219
crafted/skvortsov/battleship/ battleship-17-33-sat.cnf	? (TO)	5000.07	5000.01	3275619
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4231.cnf	? (TO)	5000.07	4999.92	3275664
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g7.cnf	? (TO)	5000.07	4999.91	3274999
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf	? (TO)	5000.07	4999.91	3275804
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf	? (TO)	5000.07	5000.01	3275809
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf	? (TO)	5000.07	4999.91	3275814
SAT02/handmade/simon/satex-challenges/ par32-3.shuffled.cnf	? (TO)	5000.07	4999.91	3276264
SAT03/handmade/anton/SAT/ SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf	? (TO)	5000.07	4999.91	3275949
SAT04/handmade/kexu/frb-0.8/ frb59-26-2.used-as.sat04-892.cnf	? (TO)	5000.07	4999.92	3276004
SAT04/handmade/kexu/frb-0.8/ frb59-26-1.used-as.sat04-891.cnf	? (TO)	5000.07	4999.92	3276009
SAT04/handmade/hirsch03/ hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf	? (TO)	5000.07	4999.91	3276044
SAT04/handmade/marijn/equilarge-l/ equilarge_l2.used-as.sat04-894.cnf	? (TO)	5000.07	4999.91	3276054
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf	? (TO)	5000.08	4999.93	3276364
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g5.cnf	? (TO)	5000.08	4999.93	3275114
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_170.shuffled.cnf	? (TO)	5000.08	5000.01	3276239
SAT03/handmade/gomes/bqwh/ bqwh.50.825.shuffled-as.sat03-1648.cnf	? (TO)	5000.08	4999.93	3275834
SAT03/handmade/anton/UNSAT/ SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf	? (TO)	5000.08	5000.01	3275909
SAT03/handmade/anton/UNSAT/ SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf	? (TO)	5000.08	4999.92	3275864
CRAFTED/rbsat/random/forced/ rbsat-v2640c305320gyes10.cnf	? (TO)	5000.08	4999.85	3275099
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf	? (TO)	5000.08	4999.85	3276329
SAT03/handmade/anton/UNSAT/ SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf	? (TO)	5000.08	4999.92	3275924
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-045-035.shuffled-as.sat05-1181.cnf	? (TO)	5000.09	4999.93	3276109
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf	? (TO)	5000.09	4999.98	3276404
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2071.cnf	? (TO)	5000.09	5000.02	3275689
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf	? (TO)	5000.09	5000.01	3276094
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf	? (TO)	5000.09	4999.94	3276359
crafted/mosoi/289/ 289-unsat-21x39.cnf	? (TO)	5000.09	4999.97	3275454
crafted/spence/sgen/ sgen3-n200-s00813792-unsat.cnf	? (TO)	5000.09	4999.91	3275289
SAT03/handmade/anton/UNSAT/ SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf	? (TO)	5000.09	5000.02	3275919
crafted/spence/sgen/ sgen3-n120-s55656844-unsat.cnf	? (TO)	5000.09	4999.91	3275269
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-020-019.shuffled-as.sat05-1232.cnf	? (TO)	5000.09	5000.01	3276134
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	5000.09	4999.94	3275094
SAT04/handmade/kexu/frb-0.6/ frb80-14-2.used-as.sat04-880.cnf	? (TO)	5000.09	5000.01	3275994
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes6.cnf	? (TO)	5000.09	4999.94	3275064
SAT02/handmade/zhang-lintao/ xor-chain/x1_80.shuffled.cnf	? (TO)	5000.1	4999.91	3276269
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g4.cnf	? (TO)	5000.1	4999.92	3274989
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g2.cnf	? (TO)	5000.1	4999.91	3275144
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	5000.1	4999.95	3275194
crafted/spence/sgen/ sgen3-n130-s30940966-unsat.cnf	? (TO)	5000.1	4999.91	3275274
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g9.cnf	? (TO)	5000.1	4999.94	3275139
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes5.cnf	? (TO)	5000.1	4999.95	3275084
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf	? (TO)	5000.1	5000.01	3275789
SAT03/handmade/gomes/bqwh/ bqwh.60.1152.shuffled-as.sat03-1650.cnf	? (TO)	5000.1	4999.94	3275839
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf	? (TO)	5000.1	4999.91	3275859
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf	? (TO)	5000.1	4999.95	3276289
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf	? (TO)	5000.1	4999.98	3276314
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf	? (TO)	5000.1	4999.94	3276319
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf	? (TO)	5000.1	4999.94	3276369
SAT03/handmade/anton/UNSAT/ SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf	? (TO)	5000.11	5000.11	3275894
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf	? (TO)	5000.11	4999.92	3276409
crafted/manthey/sudoku-single-hard/ sudoku_81x81_unknown.cnf	? (TO)	5000.11	4999.95	3275649
crafted/skvortsov/battleship/ battleship-13-13-unsat.cnf	? (TO)	5000.11	5000.01	3275569
crafted/mosoi/289/ 289-unsat-21x40.cnf	? (TO)	5000.11	4999.97	3275364
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p30-s67876261.cnf	? (TO)	5000.11	5000.03	3276384
CRAFTED/rbsat/crafted/unforced/ rbsat-v945c61409g3.cnf	? (TO)	5000.11	4999.92	3275129
SAT03/handmade/anton/UNSAT/ SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf	? (TO)	5000.11	4999.91	3275939
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf	? (TO)	5000.11	5000.02	3275904
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf	? (TO)	5000.11	5000.01	3275799
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes1.cnf	? (TO)	5000.12	4999.94	3275074
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g9.cnf	? (TO)	5000.12	4999.93	3275009
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf	? (TO)	5000.12	5000.05	3276379
crafted/mosoi/289/ 289-unsat-17x30.cnf	? (TO)	5000.12	4999.94	3275394
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf	? (TO)	5000.13	4999.98	3276309
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g3.cnf	? (TO)	5000.13	4999.94	3274979
SAT05/crafted/roussel05/visbmc-PHNF/ phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf	? (TO)	5000.13	4999.94	3276154
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g6.cnf	? (TO)	5000.13	4999.94	3275124
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes2.cnf	? (TO)	5000.13	4999.94	3275204
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p30-s19690873.cnf	? (TO)	5000.13	5000.03	3276419
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34309.cnf	? (TO)	5000.14	5000.02	3275679
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf	? (TO)	5000.15	4999.96	3276294
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34308.cnf	? (TO)	5000.17	5000.01	3275669

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

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

Category "crafted instances" (CRAFTED)

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

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

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