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.06199	0.0617489	3394915
crafted/skvortsov/battleship/ battleship-5-8-unsat.cnf	UNSAT	0.065989	0.0653089	3394529
SAT03/handmade/bevan/cnf/ marg3x3add8ch.shuffled-as.sat03-1448.cnf	UNSAT	0.078987	0.132734	3394753
SAT03/handmade/bevan/cnf/ marg3x3add8.shuffled-as.sat03-1449.cnf	UNSAT	0.083987	0.138436	3394751
SAT02/handmade/chu-min-li/urquhart/ urquhart3_25bis.shuffled.cnf	UNSAT	0.087986	0.0923171	3394935
SAT02/handmade/zhang-lintao/ xor-chain/x1_40.shuffled.cnf	UNSAT	0.091985	0.091111	3394933
crafted/skvortsov/battleship/ battleship-6-9-unsat.cnf	UNSAT	0.095984	0.098376	3394545
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-010-008.shuffled-as.sat05-1171.cnf	UNSAT	0.096984	0.0977779	3394847
SAT02/handmade/zhang-lintao/ xor-chain/x1_80.shuffled.cnf	UNSAT	0.25596	0.25585	3394931
SAT05/crafted/sorge05/QG8/ gensys-ukn007.shuffled-as.sat05-3586.cnf	UNSAT	0.58491	0.537355	3394885
crafted/skvortsov/battleship/ battleship-10-10-unsat.cnf	UNSAT	1.04184	1.03648	3394521
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-020-019.shuffled-as.sat05-1190.cnf	UNSAT	1.58376	1.57962	3394851
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-020-019.shuffled-as.sat05-1232.cnf	UNSAT	2.08668	2.07065	3394855
SAT05/crafted/sabharwal05/planning/logistics/unsat/ logistics-rotate-07t5.shuffled-as.sat05-1137.cnf	UNSAT	4.68129	4.60664	3394843
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_060.shuffled.cnf	UNSAT	10.7004	10.5804	3394917
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-030-029.shuffled-as.sat05-1234.cnf	UNSAT	17.0914	16.999	3394853
crafted/skvortsov/ automata-synchronization/crn_11_99_u.cnf	UNSAT	17.6983	16.9436	3394499
crafted/skvortsov/battleship/ battleship-12-12-unsat.cnf	UNSAT	33.025	32.4277	3394537
crafted/skvortsov/battleship/ battleship-7-12-unsat.cnf	UNSAT	37.9122	37.3241	3394533
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-045-035.shuffled-as.sat05-1181.cnf	UNSAT	44.4792	44.317	3394845
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-040-039.shuffled-as.sat05-1194.cnf	UNSAT	45.1361	44.9735	3394849
SAT05/crafted/sorge05/QG6/ dead-dnd002.shuffled-as.sat05-2713.cnf	UNSAT	62.1616	60.5436	3394889
crafted/skvortsov/ automata-synchronization/rnd_100_28_u.cnf	UNSAT	266.803	259.396	3394497
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_381.cnf	UNSAT	268.574	264.519	3394599
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-19_348.cnf	UNSAT	332.453	327.845	3394591
SAT03/handmade/markstrom/UNSATISFIABLE/ mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf	UNSAT	386.236	382.015	3394749
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf	UNSAT	442.285	437.541	3394629
crafted/skvortsov/ automata-synchronization/rnd_150_29_u.cnf	UNSAT	602.377	587.759	3394505
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf	UNSAT	870.448	863.928	3394731
SAT05/crafted/sorge05/QG7/ dead-dnd003.shuffled-as.sat05-3109.cnf	UNSAT	1187.53	1171.89	3394883
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_401.cnf	UNSAT	1205.01	1190.21	3394597
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_390.cnf	UNSAT	1328.26	1313.79	3394601
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_528.cnf	UNSAT	1399.59	1388.23	3394579
SAT05/crafted/sorge05/QG7/ gensys-icl007.shuffled-as.sat05-3133.cnf	UNSAT	1703.13	1686.88	3394881
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	UNSAT	2525.72	2508.7	3394035
crafted/skvortsov/battleship/ battleship-11-11-unsat.cnf	UNSAT	3442.97	3405.16	3394515
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf	UNSAT	3470.12	3441.21	3394719

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/handmade/pehoushek/twentyvars/ 7cnf20_90000_90000_7.shuffled.cnf	SAT	0.071988	0.0761071	3394913
crafted/mosoi/289/ 289-sat-4x8.cnf	SAT	0.12098	0.123102	3394435
SAT04/handmade/anton/l5k3/ lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf	SAT	0.136978	0.137561	3394789
crafted/skvortsov/battleship/ battleship-8-15-sat.cnf	SAT	0.138978	0.139982	3394517
crafted/mosoi/289/ 289-sat-5x8.cnf	SAT	0.166974	0.167292	3394465
crafted/mosoi/289/ 289-sat-7x6.cnf	SAT	0.168974	0.24281	3394463
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	SAT	0.182971	0.190525	3394147
crafted/mosoi/ 289/289-sat-11x4.cnf	SAT	0.19097	0.191623	3394475
SAT05/crafted/sorge05/QG7/ iso-ukn004.shuffled-as.sat05-3385.cnf	SAT	0.197968	0.193138	3394879
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p15-s58217873.cnf	SAT	0.228965	0.218784	3395011
SAT05/crafted/sorge05/QG8/ iso-ukn009.shuffled-as.sat05-3632.cnf	SAT	0.229964	0.218886	3394887
crafted/mosoi/289/ 289-sat-6x8.cnf	SAT	0.250961	0.24807	3394479
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p30-s39712998.cnf	SAT	0.277957	0.258482	3395005
crafted/mosoi/289/ 289-sat-6x9.cnf	SAT	0.290955	0.293801	3394485
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf	SAT	0.38594	0.357077	3395033
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf	SAT	0.45593	0.424472	3395015
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf	SAT	0.466928	0.457742	3395039
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf	SAT	0.728888	0.672945	3394989
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf	SAT	0.832873	0.758767	3395009
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf	SAT	0.84887	0.75628	3395021
crafted/skvortsov/battleship/ battleship-7-13-sat.cnf	SAT	0.939856	0.929317	3394551
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf	SAT	0.945855	0.965005	3394995
crafted/mosoi/ 289/289-sat-11x9.cnf	SAT	1.08883	1.07893	3394483
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p30-s67876261.cnf	SAT	1.25181	1.10507	3395029
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p30-s19690873.cnf	SAT	1.3308	1.18666	3395043
crafted/mosoi/ 289/289-sat-11x10.cnf	SAT	1.39879	1.40017	3394461
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p15-s72490337.cnf	SAT	1.39879	1.24987	3395031
crafted/mosoi/ 289/289-sat-14x8.cnf	SAT	1.46278	1.45641	3394449
crafted/mosoi/ 289/289-sat-6x19.cnf	SAT	1.78273	1.7924	3394429
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf	SAT	1.9447	1.71597	3395027
crafted/mosoi/ 289/289-sat-6x20.cnf	SAT	1.99469	1.95862	3394451
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf	SAT	2.00269	1.7648	3395017
crafted/mosoi/ 289/289-sat-9x13.cnf	SAT	2.02569	2.01354	3394455
SAT04/handmade/anton/l4k4/ lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf	SAT	2.09668	2.06502	3394791
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf	SAT	2.24266	1.96873	3395003
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf	SAT	2.26466	2.00062	3395007
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf	SAT	2.74258	2.38201	3394999
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf	SAT	3.23351	2.87722	3395041
crafted/mosoi/ 289/289-sat-4x35.cnf	SAT	3.57146	3.53769	3394437
crafted/mosoi/ 289/289-sat-12x14.cnf	SAT	4.37433	4.3358	3394471
SAT04/handmade/anton/l5k3/ lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf	SAT	4.65529	4.60714	3394787
CRAFTED/sgi/ satsgi-n26himBHm28-p0-q293.cnf	SAT	5.40118	5.48992	3394039
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf	SAT	5.56415	4.89127	3395023
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf	SAT	5.64714	4.95889	3395001
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf	SAT	6.96894	6.14761	3395019
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf	SAT	7.09192	6.31598	3394991
crafted/mosoi/ 289/289-sat-12x15.cnf	SAT	7.33088	7.28912	3394441
SAT05/crafted/sorge05/QG7a/ gensys-brn002.shuffled-as.sat05-3935.cnf	SAT	8.11577	7.98466	3394867
crafted/skvortsov/battleship/ battleship-9-17-sat.cnf	SAT	8.19375	8.16219	3394557
crafted/skvortsov/battleship/ battleship-10-18-sat.cnf	SAT	11.4823	11.3944	3394525
crafted/skvortsov/battleship/ battleship-10-19-sat.cnf	SAT	12.992	12.8981	3394549
crafted/skvortsov/ automata-synchronization/crn_11_100_s.cnf	SAT	13.298	12.8538	3394493
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g5.cnf	SAT	18.6812	18.3849	3394051
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	21.9087	21.9248	3393977
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p30-s70617701.cnf	SAT	27.6148	27.1845	3394997
crafted/skvortsov/ automata-synchronization/rnd_100_27_s.cnf	SAT	27.6348	27.3615	3394503
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	41.4137	41.4423	3394031
crafted/skvortsov/battleship/ battleship-14-27-sat.cnf	SAT	44.5642	44.3128	3394541
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes8.cnf	SAT	44.7622	44.0967	3394119
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf	SAT	50.0514	49.3098	3395013
crafted/skvortsov/ automata-synchronization/rnd_100_28_s.cnf	SAT	50.4633	49.4166	3394487
crafted/skvortsov/ automata-synchronization/rnd_150_42_s.cnf	SAT	81.6906	81.2463	3394489
crafted/skvortsov/ automata-synchronization/rnd_100_32_s.cnf	SAT	87.9396	85.3382	3394507
crafted/spence/sgen/ sgen3-n120-s12930489-sat.cnf	SAT	167.524	165.399	3394417
SAT04/handmade/kexu/frb-0.8/ frb45-21-1.used-as.sat04-883.cnf	SAT	234.997	231.58	3394781
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_399.cnf	SAT	248.176	244.911	3394581
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p15-s2076598.cnf	SAT	415.169	410.897	3395025
crafted/skvortsov/battleship/ battleship-24-57-sat.cnf	SAT	441.362	440.53	3394519
crafted/spence/sgen/ sgen3-n140-s18527668-sat.cnf	SAT	475.073	469.314	3394423
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g7.cnf	SAT	644.94	636.595	3394059
SAT04/handmade/andrew/composite/ Composite-024BitPrimes-1.used-as.sat04-861.cnf	SAT	659.564	651.497	3394801
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g7.cnf	SAT	803.379	791.624	3394049
SAT03/handmade/anton/SAT/ SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf	SAT	1066.95	1060.57	3394739
crafted/skvortsov/battleship/ battleship-10-17-sat.cnf	SAT	1259	1249.11	3394511
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_527.cnf	SAT	1277.54	1266.63	3394573
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_404.cnf	SAT	1452.71	1440.35	3394589
crafted/skvortsov/ automata-synchronization/crn_20_361_s.cnf	SAT	3533.64	3380.98	3394501
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p15-s54275047.cnf	SAT	3800.01	3774.22	3395035
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g4.cnf	SAT	4695.88	4646.64	3394045

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/skvortsov/battleship/ battleship-11-21-sat.cnf	? (TO)	5000.04	4942.42	3394555
SAT04/handmade/marijn/equilarge-l/ equilarge_l4.used-as.sat04-896.cnf	? (TO)	5000.04	4944.33	3394805
crafted/skvortsov/battleship/ battleship-17-33-sat.cnf	? (TO)	5000.05	4930.82	3394547
crafted/mosoi/289/ 289-unsat-21x33.cnf	? (TO)	5000.05	4991.94	3394443
crafted/mosoi/289/ 289-unsat-13x32.cnf	? (TO)	5000.05	4988.65	3394431
crafted/mosoi/289/ 289-unsat-6x34.cnf	? (TO)	5000.05	4976.64	3394427
crafted/spence/sgen/ sgen3-n280-s93756482-sat.cnf	? (TO)	5000.05	4967.35	3394411
crafted/mosoi/289/ 289-unsat-17x30.cnf	? (TO)	5000.05	4990.34	3394457
crafted/mosoi/289/ 289-unsat-7x39.cnf	? (TO)	5000.06	4984.64	3394453
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_507.cnf	? (TO)	5000.06	4960.15	3394587
SAT02/handmade/simon/satex-challenges/ par32-3.shuffled.cnf	? (TO)	5000.06	4951.93	3394929
SAT03/handmade/stanion/hwb/ hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf	? (TO)	5000.06	4963.75	3394743
SAT03/handmade/stanion/hwb/ hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf	? (TO)	5000.06	4965.85	3394741
crafted/spence/sgen/ sgen3-n130-s30940966-unsat.cnf	? (TO)	5000.06	4934.85	3394409
SAT03/handmade/anton/UNSAT/ SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf	? (TO)	5000.06	4946.56	3394697
crafted/spence/sgen/ sgen3-n140-s20078956-unsat.cnf	? (TO)	5000.06	4945.94	3394413
SAT05/crafted/sorge05/QG7a/ gensys-icl005.shuffled-as.sat05-3826.cnf	? (TO)	5000.06	4955.85	3394871
SAT04/handmade/connamacher/connm-d0.02/ connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf	? (TO)	5000.06	4888.72	3394793
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/ grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf	? (TO)	5000.06	4999.23	3394857
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_406.cnf	? (TO)	5000.07	4961.35	3394605
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes1.cnf	? (TO)	5000.07	4950.16	3394125
crafted/mosoi/289/ 289-unsat-21x39.cnf	? (TO)	5000.07	4992.55	3394481
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf	? (TO)	5000.07	4966.45	3394841
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf	? (TO)	5000.07	4966.75	3394623
crafted/mosoi/289/ 289-unsat-9x32.cnf	? (TO)	5000.07	4981.15	3394467
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf	? (TO)	5000.07	4971.25	3394833
crafted/mosoi/289/ 289-unsat-6x40.cnf	? (TO)	5000.07	4982.65	3394469
SAT05/crafted/sorge05/QG7a/ gensys-ukn004.shuffled-as.sat05-3844.cnf	? (TO)	5000.07	4949.35	3394875
SAT03/handmade/anton/UNSAT/ SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf	? (TO)	5000.07	4952.85	3394723
crafted/spence/sgen/ sgen3-n150-s89334302-unsat.cnf	? (TO)	5000.07	4954.85	3394399
SAT03/handmade/anton/UNSAT/ SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf	? (TO)	5000.07	4947.55	3394711
SAT02/handmade/simon/ satex-challenges/f600.shuffled.cnf	? (TO)	5000.07	4949.54	3394925
crafted/spence/sgen/ sgen3-n160-s73223945-unsat.cnf	? (TO)	5000.07	4940.55	3394401
crafted/skvortsov/battleship/ battleship-15-15-unsat.cnf	? (TO)	5000.08	4965.96	3394543
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g6.cnf	? (TO)	5000.08	4947.65	3394055
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g7.cnf	? (TO)	5000.08	4949.86	3394067
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g2.cnf	? (TO)	5000.08	4947.75	3394107
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_505.cnf	? (TO)	5000.08	4961.85	3394609
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_445.cnf	? (TO)	5000.08	4955.96	3394607
crafted/skvortsov/battleship/ battleship-16-16-unsat.cnf	? (TO)	5000.08	4969.26	3394535
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_512.cnf	? (TO)	5000.08	4974.16	3394563
crafted/skvortsov/battleship/ battleship-13-13-unsat.cnf	? (TO)	5000.09	4919.42	3394527
crafted/mosoi/289/ 289-unsat-6x30.cnf	? (TO)	5000.09	4967.16	3394433
CRAFTED/rbsat/crafted/ forced/rbsat-v2100c215164gyes4.cnf	? (TO)	5000.09	4952.88	3394117
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g9.cnf	? (TO)	5000.09	4943.95	3394097
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	5000.09	4948.28	3394087
SAT03/handmade/stanion/hwb/ hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf	? (TO)	5000.09	4965.85	3394747
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g1.cnf	? (TO)	5000.09	4947.05	3394047
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes5.cnf	? (TO)	5000.09	4943.58	3394073
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf	? (TO)	5000.09	4946.77	3394737
SAT04/handmade/connamacher/connm-d-0.02/ connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf	? (TO)	5000.09	4884.73	3394797
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf	? (TO)	5000.09	4973.75	3394837
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf	? (TO)	5000.09	4967.76	3394619
crafted/mosoi/289/ 289-unsat-17x27.cnf	? (TO)	5000.09	4989.05	3394459
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	5000.1	4953.39	3393979
SAT03/handmade/anton/UNSAT/ SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf	? (TO)	5000.1	4961.19	3394717
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf	? (TO)	5000.1	4947.15	3394707
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf	? (TO)	5000.1	4957.58	3394703
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf	? (TO)	5000.1	4962.96	3394615
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_462.cnf	? (TO)	5000.1	4963.65	3394611
crafted/mosoi/289/ 289-unsat-21x40.cnf	? (TO)	5000.1	4992.97	3394445
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes7.cnf	? (TO)	5000.1	4951.79	3394071
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	5000.1	4955.07	3394037
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	5000.1	4959.59	3394127
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes5.cnf	? (TO)	5000.11	4939.45	3394109
SAT03/handmade/anton/UNSAT/ SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf	? (TO)	5000.11	4934.85	3394701
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf	? (TO)	5000.11	4962.66	3394627
SAT03/handmade/anton/UNSAT/ SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf	? (TO)	5000.11	4934.75	3394725
CRAFTED/rbsat/random/forced/ rbsat-v1375c111739gyes10.cnf	? (TO)	5000.11	4945.46	3394081
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g10.cnf	? (TO)	5000.11	4950.97	3394043
SAT04/handmade/kexu/frb-0.6/ frb75-13-2.used-as.sat04-878.cnf	? (TO)	5000.11	4931.45	3394777
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes2.cnf	? (TO)	5000.11	4948.77	3394069
SAT05/crafted/lynce05/social-golfer-problem/ sgp_5-6-8.shuffled-as.sat05-2669.cnf	? (TO)	5000.11	4951.21	3394861
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2072.cnf	? (TO)	5000.11	4961.86	3394561
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g4.cnf	? (TO)	5000.11	4949.26	3394061
SAT03/handmade/stanion/hwb/ hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf	? (TO)	5000.11	4964.04	3394745
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf	? (TO)	5000.11	4967.15	3394831
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf	? (TO)	5000.11	4932.55	3394713
SAT04/handmade/marijn/equilarge-l/ equilarge_l2.used-as.sat04-894.cnf	? (TO)	5000.11	4943.73	3394803
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf	? (TO)	5000.11	4970.25	3394835
SAT04/handmade/kexu/frb-0.6/ frb80-14-2.used-as.sat04-880.cnf	? (TO)	5000.11	4940.85	3394779
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes1.cnf	? (TO)	5000.11	4946.77	3394093
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes2.cnf	? (TO)	5000.11	4953.58	3394131
SAT02/handmade/simon/ satex-challenges/c6288.shuffled.cnf	? (TO)	5000.11	4987.85	3394927
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g3.cnf	? (TO)	5000.11	4942.15	3394057
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_506.cnf	? (TO)	5000.11	4968.86	3394595
SAT03/handmade/anton/UNSAT/ SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf	? (TO)	5000.11	4954.49	3394699
SAT05/crafted/sorge05/QG7a/ gensys-ukn006.shuffled-as.sat05-3846.cnf	? (TO)	5000.12	4927.54	3394873
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4232.cnf	? (TO)	5000.12	4958.56	3394577
crafted/skvortsov/battleship/ battleship-12-23-sat.cnf	? (TO)	5000.12	4966.52	3394539
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes6.cnf	? (TO)	5000.12	4948.75	3394121
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf	? (TO)	5000.12	4968.06	3394613
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf	? (TO)	5000.12	4969.66	3394631
crafted/spence/sgen/ sgen3-n240-s78945233-sat.cnf	? (TO)	5000.12	4962.85	3394421
CRAFTED/rbsat/crafted/unforced/ rbsat-v945c61409g3.cnf	? (TO)	5000.12	4949.14	3394101
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes1.cnf	? (TO)	5000.12	4952.75	3394123
crafted/spence/sgen/ sgen3-n300-s12830984-sat.cnf	? (TO)	5000.12	4964.45	3394391
crafted/spence/sgen/ sgen3-n220-s24359701-sat.cnf	? (TO)	5000.12	4957.77	3394405
SAT05/crafted/sorge05/QG7a/ gensys-ukn009.shuffled-as.sat05-3849.cnf	? (TO)	5000.12	4946.14	3394869
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes3.cnf	? (TO)	5000.12	4957.7	3394113
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g6.cnf	? (TO)	5000.12	4958.71	3394099
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g3.cnf	? (TO)	5000.12	4950.49	3394041
SAT05/crafted/markstrom05/eulcbip/ eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf	? (TO)	5000.12	4961.86	3394865
SAT04/handmade/connamacher/connm-d0.04/ connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf	? (TO)	5000.12	4857.33	3394795
SAT04/handmade/hirsch03/ hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf	? (TO)	5000.12	4954.85	3394799
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	5000.12	4947.56	3394063
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_511.cnf	? (TO)	5000.12	4972.15	3394569
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_443.cnf	? (TO)	5000.12	4956.06	3394603
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g7.cnf	? (TO)	5000.12	4942.45	3394103
crafted/skvortsov/battleship/ battleship-14-14-unsat.cnf	? (TO)	5000.12	4963.47	3394523
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf	? (TO)	5000.12	4966.76	3394621
SAT04/handmade/kexu/frb-0.8/ frb59-26-1.used-as.sat04-891.cnf	? (TO)	5000.13	4950.08	3394785
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf	? (TO)	5000.13	4972.25	3394829
SAT03/handmade/anton/UNSAT/ SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf	? (TO)	5000.13	4938.05	3394733
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2071.cnf	? (TO)	5000.13	4964.38	3394575
SAT05/crafted/roussel05/visbmc-PHNF/ phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf	? (TO)	5000.13	4963.79	3394863
crafted/mosoi/289/ 289-unsat-14x34.cnf	? (TO)	5000.13	4991.04	3394477
SAT05/crafted/sorge05/QG7a/ gensys-ukn003.shuffled-as.sat05-3843.cnf	? (TO)	5000.13	4955.94	3394877
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_170.shuffled.cnf	? (TO)	5000.13	4956.03	3394919
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_220.shuffled.cnf	? (TO)	5000.13	4964.04	3394921
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_110.shuffled.cnf	? (TO)	5000.13	4960.83	3394923
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf	? (TO)	5000.13	4963.45	3394625
crafted/spence/sgen/ sgen3-n260-s62321009-sat.cnf	? (TO)	5000.13	4963.55	3394419
crafted/spence/sgen/ sgen3-n160-s40283905-sat.cnf	? (TO)	5000.13	4957.55	3394389
crafted/spence/sgen/ sgen3-n180-s33098896-unsat.cnf	? (TO)	5000.13	4946.34	3394393
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (TO)	5000.13	4946.78	3394143
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	5000.13	4973.37	3393973
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	5000.13	4957.67	3393975
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf	? (TO)	5000.13	4945.75	3394709
CRAFTED/rbsat/random/ forced/rbsat-v1820c171155gyes3.cnf	? (TO)	5000.13	4944.08	3394085
crafted/spence/ hard/s113-100.cnf	? (TO)	5000.13	4947.45	3393875
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g5.cnf	? (TO)	5000.13	4952.86	3394095
crafted/spence/sgen/ sgen3-n200-s00813792-unsat.cnf	? (TO)	5000.13	4940.45	3394415
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/ mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf	? (TO)	5000.13	4914.23	3394827
SAT03/handmade/gomes/bqwh/ bqwh.60.1152.shuffled-as.sat03-1650.cnf	? (TO)	5000.14	4978	3394695
crafted/spence/sgen/ sgen3-n120-s55656844-unsat.cnf	? (TO)	5000.14	4936.45	3394407
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g9.cnf	? (TO)	5000.14	4958.69	3394105
crafted/mosoi/289/ 289-unsat-21x14.cnf	? (TO)	5000.14	4982.15	3394447
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_508.cnf	? (TO)	5000.14	4966.58	3394593
crafted/spence/sgen/ sgen3-n200-s39840374-sat.cnf	? (TO)	5000.14	4955.75	3394397
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	5000.14	4967.56	3394033
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes6.cnf	? (TO)	5000.14	4951.2	3394075
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes5.cnf	? (TO)	5000.14	4950.37	3394083
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g9.cnf	? (TO)	5000.14	4951.09	3394053
crafted/mosoi/289/ 289-unsat-14x38.cnf	? (TO)	5000.14	4992.05	3394473
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes7.cnf	? (TO)	5000.14	4948.58	3394077
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_464.cnf	? (TO)	5000.14	4963.55	3394585
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-24_567.cnf	? (TO)	5000.14	4964.15	3394583
SAT03/handmade/anton/UNSAT/ SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf	? (TO)	5000.14	4959.49	3394727
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf	? (TO)	5000.14	4961.35	3394617
crafted/spence/sgen/ sgen3-n190-s29985700-unsat.cnf	? (TO)	5000.14	4948.45	3394425
SAT03/handmade/anton/UNSAT/ SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf	? (TO)	5000.14	4955.18	3394735
crafted/mosoi/289/ 289-unsat-5x41.cnf	? (TO)	5000.14	4980.45	3394439
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes10.cnf	? (TO)	5000.14	4950.46	3394115
crafted/spence/sgen/ sgen3-n170-s56409011-unsat.cnf	? (TO)	5000.15	4942.36	3394403
SAT03/handmade/gomes/bqwh/ bqwh.50.825.shuffled-as.sat03-1648.cnf	? (TO)	5000.15	4977.5	3394693
crafted/spence/sgen/ sgen3-n180-s34713902-sat.cnf	? (TO)	5000.15	4957.67	3394395
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	5000.15	4952.96	3394091
crafted/skvortsov/automata-synchronization/ crn_40_1520_u.cnf	? (TO)	5000.15	4873.14	3394509
SAT03/handmade/anton/UNSAT/ SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf	? (TO)	5000.15	4970.32	3394705
SAT03/handmade/anton/UNSAT/ SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf	? (TO)	5000.16	4961.29	3394729
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4231.cnf	? (TO)	5000.16	4959.91	3394565
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	? (TO)	5000.16	4933.96	3393971
crafted/skvortsov/ automata-synchronization/crn_20_360_u.cnf	? (TO)	5000.16	4784.99	3394491
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	? (TO)	5000.16	4903.47	3394145
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes1.cnf	? (TO)	5000.16	4948.89	3394079
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes7.cnf	? (TO)	5000.16	4950.76	3394111
SAT05/crafted/sabharwal05/ordering/gt-ordering/ sat/gt-030.shuffled-as.sat05-1295.cnf	? (TO)	5000.16	4966.26	3394859
SAT04/handmade/kexu/frb-0.8/ frb59-26-2.used-as.sat04-892.cnf	? (TO)	5000.16	4951.96	3394783
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf	? (TO)	5000.17	4974.64	3395037
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g4.cnf	? (TO)	5000.17	4941.77	3394065
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34308.cnf	? (TO)	5000.18	4972.43	3394567
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes10.cnf	? (TO)	5000.18	4958.09	3394129
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf	? (TO)	5000.18	4968.67	3394839
crafted/manthey/sudoku-single-hard/ sudoku_81x81_unknown.cnf	? (TO)	5000.19	4956.11	3394559
crafted/skvortsov/automata-synchronization/ crn_40_1521_s.cnf	? (TO)	5000.19	4858.83	3394495
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34309.cnf	? (TO)	5000.19	4973.12	3394571
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf	? (TO)	5000.21	4967.65	3394993
CRAFTED/rbsat/random/forced/ rbsat-v2640c305320gyes10.cnf	? (TO)	5000.21	4952.2	3394089
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf	? (TO)	5000.29	4958.3	3394721
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf	? (TO)	5000.31	4955.7	3394715

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/skvortsov/battleship/ battleship-15-29-sat.cnf	Signal 6	2114.07	2105.56	3394553
crafted/skvortsov/battleship/ battleship-14-26-sat.cnf	Signal 6	2935.6	2919.41	3394531
crafted/skvortsov/battleship/ battleship-16-31-sat.cnf	Signal 6	3283.61	3269.53	3394513

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

Result page for solver Sol 2011-04-04 (complete)

Category "crafted instances" (CRAFTED)

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

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

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

Solver was terminated by a signal (3 runs) [Show/Hide]