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.008998	0.021514	3439620
crafted/skvortsov/battleship/ battleship-5-8-unsat.cnf	UNSAT	0.089985	0.092681	3438965
SAT05/crafted/sabharwal05/ordering/gt-ordering/ sat/gt-030.shuffled-as.sat05-1295.cnf	UNSAT	0.180971	0.183007	3439535
SAT05/crafted/sorge05/QG8/ gensys-ukn007.shuffled-as.sat05-3586.cnf	UNSAT	0.230964	0.24052	3439600
SAT03/handmade/bevan/cnf/ marg3x3add8.shuffled-as.sat03-1449.cnf	UNSAT	0.31795	0.320725	3439370
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/ grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf	UNSAT	1.20182	1.20582	3439530
crafted/skvortsov/battleship/ battleship-6-9-unsat.cnf	UNSAT	2.41363	2.42724	3439005
SAT05/crafted/sabharwal05/planning/logistics/unsat/ logistics-rotate-07t5.shuffled-as.sat05-1137.cnf	UNSAT	3.17552	3.17653	3439495
SAT03/handmade/bevan/cnf/ marg3x3add8ch.shuffled-as.sat03-1448.cnf	UNSAT	4.39433	4.39393	3439375
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-010-008.shuffled-as.sat05-1171.cnf	UNSAT	7.72083	7.72115	3439505
crafted/skvortsov/ automata-synchronization/crn_11_99_u.cnf	UNSAT	17.8123	17.8174	3438890
SAT05/crafted/sorge05/QG6/ dead-dnd002.shuffled-as.sat05-2713.cnf	UNSAT	28.5457	28.5465	3439610
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_060.shuffled.cnf	UNSAT	68.6156	68.6334	3439625
crafted/skvortsov/battleship/ battleship-10-10-unsat.cnf	UNSAT	173.423	173.423	3438945
crafted/skvortsov/ automata-synchronization/rnd_150_29_u.cnf	UNSAT	359.937	359.946	3438905
SAT02/handmade/chu-min-li/urquhart/ urquhart3_25bis.shuffled.cnf	UNSAT	421.809	421.801	3439670
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	UNSAT	473.033	473.034	3438355
crafted/skvortsov/ automata-synchronization/rnd_100_28_u.cnf	UNSAT	486.489	486.47	3438885
SAT02/handmade/zhang-lintao/ xor-chain/x1_40.shuffled.cnf	UNSAT	649.253	649.242	3439665
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-19_348.cnf	UNSAT	845.077	845.079	3439120
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf	UNSAT	1328.95	1328.93	3439215
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_381.cnf	UNSAT	1384.82	1384.78	3439140
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_401.cnf	UNSAT	3112.94	3112.83	3439135

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/skvortsov/battleship/ battleship-7-13-sat.cnf	SAT	0.008997	0.019733	3439020
crafted/skvortsov/battleship/ battleship-10-19-sat.cnf	SAT	0.009997	0.029023	3439015
crafted/mosoi/289/ 289-sat-4x8.cnf	SAT	0.010997	0.019714	3438730
crafted/skvortsov/battleship/ battleship-8-15-sat.cnf	SAT	0.011997	0.0210709	3438935
crafted/mosoi/289/ 289-sat-5x8.cnf	SAT	0.012997	0.0189079	3438805
crafted/skvortsov/battleship/ battleship-10-18-sat.cnf	SAT	0.012997	0.033656	3438955
crafted/mosoi/ 289/289-sat-11x4.cnf	SAT	0.014997	0.0145591	3438830
SAT02/handmade/pehoushek/twentyvars/ 7cnf20_90000_90000_7.shuffled.cnf	SAT	0.016996	0.0217511	3439615
crafted/mosoi/289/ 289-sat-7x6.cnf	SAT	0.016996	0.0318379	3438800
crafted/skvortsov/battleship/ battleship-12-23-sat.cnf	SAT	0.016997	0.045795	3438990
crafted/skvortsov/battleship/ battleship-11-21-sat.cnf	SAT	0.017997	0.020166	3439030
crafted/skvortsov/battleship/ battleship-9-17-sat.cnf	SAT	0.017997	0.019497	3439035
crafted/mosoi/289/ 289-sat-6x8.cnf	SAT	0.018996	0.047227	3438840
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_110.shuffled.cnf	SAT	0.019996	0.0245109	3439640
crafted/mosoi/289/ 289-sat-6x9.cnf	SAT	0.021995	0.0209161	3438855
crafted/skvortsov/battleship/ battleship-24-57-sat.cnf	SAT	0.039993	0.0407559	3438940
CRAFTED/sgi/ satsgi-n26himBHm28-p0-q293.cnf	SAT	0.050992	0.072868	3438365
SAT05/crafted/sorge05/QG7/ iso-ukn004.shuffled-as.sat05-3385.cnf	SAT	0.052991	0.0719221	3439585
SAT05/crafted/sorge05/QG8/ iso-ukn009.shuffled-as.sat05-3632.cnf	SAT	0.062989	0.065178	3439605
crafted/mosoi/ 289/289-sat-11x9.cnf	SAT	0.070988	0.0702619	3438850
crafted/mosoi/ 289/289-sat-14x8.cnf	SAT	0.084986	0.088435	3438765
crafted/mosoi/ 289/289-sat-6x19.cnf	SAT	0.084986	0.0854171	3438715
crafted/mosoi/ 289/289-sat-11x10.cnf	SAT	0.086986	0.0916639	3438795
crafted/skvortsov/battleship/ battleship-16-31-sat.cnf	SAT	0.089985	0.115408	3438925
crafted/mosoi/ 289/289-sat-9x13.cnf	SAT	0.094984	0.094228	3438780
crafted/mosoi/ 289/289-sat-6x20.cnf	SAT	0.100983	0.102817	3438770
crafted/skvortsov/battleship/ battleship-14-27-sat.cnf	SAT	0.12398	0.1248	3438995
crafted/mosoi/ 289/289-sat-4x35.cnf	SAT	0.12498	0.125471	3438735
crafted/skvortsov/battleship/ battleship-15-29-sat.cnf	SAT	0.155975	0.155514	3439025
crafted/skvortsov/battleship/ battleship-17-33-sat.cnf	SAT	0.217966	0.254633	3439010
crafted/mosoi/ 289/289-sat-12x14.cnf	SAT	0.241962	0.240902	3438820
crafted/mosoi/289/ 289-unsat-6x30.cnf	SAT	0.267958	0.268242	3438725
crafted/mosoi/ 289/289-sat-12x15.cnf	SAT	0.279956	0.281322	3438745
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	0.38694	0.414071	3438345
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_443.cnf	SAT	0.438932	0.439814	3439150
crafted/skvortsov/battleship/ battleship-14-26-sat.cnf	SAT	0.480926	0.496538	3438970
crafted/skvortsov/battleship/ battleship-10-17-sat.cnf	SAT	0.626904	0.630613	3438920
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_220.shuffled.cnf	SAT	0.732887	0.734684	3439635
SAT05/crafted/sorge05/QG7a/ gensys-brn002.shuffled-as.sat05-3935.cnf	SAT	1.01984	1.02107	3439555
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_527.cnf	SAT	1.21881	1.21845	3439075
SAT04/handmade/anton/l4k4/ lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf	SAT	2.04769	2.0474	3439415
crafted/spence/sgen/ sgen3-n120-s12930489-sat.cnf	SAT	5.46017	5.46363	3438685
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	6.60999	6.64748	3438335
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_170.shuffled.cnf	SAT	7.06592	7.06612	3439630
SAT04/handmade/andrew/composite/ Composite-024BitPrimes-1.used-as.sat04-861.cnf	SAT	11.4853	11.5016	3439440
crafted/skvortsov/ automata-synchronization/crn_11_100_s.cnf	SAT	12.0192	12.019	3438875
SAT04/handmade/anton/l5k3/ lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf	SAT	13.172	13.1825	3439405
SAT02/handmade/simon/ satex-challenges/f600.shuffled.cnf	SAT	21.9557	21.9564	3439645
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g5.cnf	SAT	35.9715	35.9951	3438395
SAT03/handmade/anton/SAT/ SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf	SAT	38.1682	38.1747	3439340
crafted/skvortsov/ automata-synchronization/rnd_150_42_s.cnf	SAT	41.3247	41.3398	3438865
crafted/skvortsov/ automata-synchronization/rnd_100_28_s.cnf	SAT	41.5517	41.5506	3438860
SAT04/handmade/anton/l5k3/ lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf	SAT	43.0375	43.0404	3439410
crafted/skvortsov/ automata-synchronization/rnd_100_32_s.cnf	SAT	54.4747	54.4715	3438910
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p30-s70617701.cnf	SAT	82.7074	82.7049	3439695
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	SAT	160.949	160.976	3438320
crafted/spence/sgen/ sgen3-n140-s18527668-sat.cnf	SAT	178.111	178.141	3438700
crafted/skvortsov/ automata-synchronization/rnd_100_27_s.cnf	SAT	214.967	214.981	3438900
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p15-s58217873.cnf	SAT	309.579	309.594	3439730
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes6.cnf	SAT	324.063	324.066	3438570
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_506.cnf	SAT	446.848	446.845	3439130
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf	SAT	518.942	518.967	3439785
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_404.cnf	SAT	564.568	564.572	3439115
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf	SAT	630.369	630.374	3439735
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	SAT	668.836	668.837	3438605
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g4.cnf	SAT	681.019	681.065	3438380
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g7.cnf	SAT	958.564	958.566	3438415
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes5.cnf	SAT	1008.32	1008.3	3438450
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_399.cnf	SAT	1208.35	1208.32	3439095
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p30-s39712998.cnf	SAT	1482.68	1482.66	3439715
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf	SAT	1575.18	1575.13	3439740
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf	SAT	2226.98	2226.93	3439675
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_511.cnf	SAT	4995.77	4995.68	3439065

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/rbsat/random/ forced/rbsat-v1820c171155gyes3.cnf	? (TO)	5000	5000.03	3438480
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_390.cnf	? (TO)	5000	4999.93	3439145
SAT05/crafted/sorge05/QG7a/ gensys-ukn009.shuffled-as.sat05-3849.cnf	? (TO)	5000	4999.93	3439560
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	5000	4999.93	3438325
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf	? (TO)	5000	4999.93	3439755
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g2.cnf	? (TO)	5000	4999.92	3438535
crafted/mosoi/289/ 289-unsat-21x39.cnf	? (TO)	5000	4999.82	3438845
crafted/manthey/sudoku-single-hard/ sudoku_81x81_unknown.cnf	? (TO)	5000.01	4999.93	3439040
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_445.cnf	? (TO)	5000.01	4999.93	3439160
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34308.cnf	? (TO)	5000.01	4999.92	3439060
SAT03/handmade/anton/UNSAT/ SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf	? (TO)	5000.01	4999.93	3439305
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g6.cnf	? (TO)	5000.01	4999.93	3438515
SAT04/handmade/kexu/frb-0.8/ frb59-26-2.used-as.sat04-892.cnf	? (TO)	5000.01	4999.93	3439395
crafted/spence/sgen/ sgen3-n170-s56409011-unsat.cnf	? (TO)	5000.01	4999.92	3438650
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf	? (TO)	5000.01	5000.03	3439795
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes7.cnf	? (TO)	5000.01	4999.92	3438545
crafted/spence/sgen/ sgen3-n180-s34713902-sat.cnf	? (TO)	5000.01	4999.93	3438630
crafted/spence/ hard/s113-100.cnf	? (TO)	5000.01	5000.03	3438315
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf	? (TO)	5000.01	4999.91	3439180
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g10.cnf	? (TO)	5000.01	4999.93	3438375
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g7.cnf	? (TO)	5000.01	4999.92	3438435
CRAFTED/rbsat/crafted/unforced/ rbsat-v945c61409g3.cnf	? (TO)	5000.01	4999.93	3438520
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g4.cnf	? (TO)	5000.01	4999.93	3438420
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf	? (TO)	5000.01	4999.93	3439465
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf	? (TO)	5000.01	4999.93	3439470
SAT03/handmade/anton/UNSAT/ SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf	? (TO)	5000.01	4999.93	3439235
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf	? (TO)	5000.02	4999.92	3439205
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf	? (TO)	5000.02	4999.92	3439185
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g5.cnf	? (TO)	5000.02	4999.93	3438505
crafted/spence/sgen/ sgen3-n190-s29985700-unsat.cnf	? (TO)	5000.02	4999.92	3438705
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf	? (TO)	5000.02	4999.93	3439485
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes2.cnf	? (TO)	5000.02	4999.91	3438440
SAT05/crafted/sorge05/QG7/ dead-dnd003.shuffled-as.sat05-3109.cnf	? (TO)	5000.02	4999.93	3439595
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g9.cnf	? (TO)	5000.02	4999.93	3438530
SAT05/crafted/markstrom05/eulcbip/ eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf	? (TO)	5000.02	4999.92	3439550
SAT05/crafted/roussel05/visbmc-PHNF/ phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf	? (TO)	5000.02	4999.93	3439545
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g3.cnf	? (TO)	5000.02	4999.92	3438410
crafted/mosoi/289/ 289-unsat-7x39.cnf	? (TO)	5000.02	5000.03	3438775
SAT04/handmade/connamacher/connm-d-0.02/ connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf	? (TO)	5000.02	4999.93	3439430
SAT04/handmade/hirsch03/ hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf	? (TO)	5000.02	4999.93	3439435
SAT03/handmade/stanion/hwb/ hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf	? (TO)	5000.02	4999.93	3439345
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf	? (TO)	5000.03	4999.93	3439280
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	5000.03	5000.03	3438495
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes10.cnf	? (TO)	5000.03	5000.03	3438590
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes2.cnf	? (TO)	5000.03	4999.93	3438595
crafted/spence/sgen/ sgen3-n180-s33098896-unsat.cnf	? (TO)	5000.03	4999.93	3438625
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf	? (TO)	5000.03	4999.93	3439720
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf	? (TO)	5000.03	4999.93	3439725
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes1.cnf	? (TO)	5000.03	5000.23	3438465
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g1.cnf	? (TO)	5000.03	5000.03	3438385
crafted/skvortsov/battleship/ battleship-11-11-unsat.cnf	? (TO)	5000.03	4999.93	3438930
crafted/mosoi/289/ 289-unsat-21x40.cnf	? (TO)	5000.03	4999.93	3438755
SAT03/handmade/anton/UNSAT/ SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf	? (TO)	5000.03	5000.13	3439255
SAT03/handmade/anton/UNSAT/ SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf	? (TO)	5000.03	5000.03	3439325
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_507.cnf	? (TO)	5000.03	4999.93	3439110
SAT03/handmade/stanion/hwb/ hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf	? (TO)	5000.03	4999.93	3439350
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes1.cnf	? (TO)	5000.03	4999.92	3438500
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	5000.03	4999.92	3438350
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-24_567.cnf	? (TO)	5000.04	4999.93	3439100
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf	? (TO)	5000.04	4999.92	3439200
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g6.cnf	? (TO)	5000.04	4999.92	3438405
crafted/mosoi/289/ 289-unsat-17x30.cnf	? (TO)	5000.04	4999.92	3438785
SAT04/handmade/kexu/frb-0.6/ frb75-13-2.used-as.sat04-878.cnf	? (TO)	5000.04	4999.93	3439380
SAT04/handmade/marijn/equilarge-l/ equilarge_l2.used-as.sat04-894.cnf	? (TO)	5000.04	4999.93	3439445
crafted/spence/sgen/ sgen3-n150-s89334302-unsat.cnf	? (TO)	5000.04	4999.93	3438640
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes3.cnf	? (TO)	5000.04	4999.92	3438550
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_528.cnf	? (TO)	5000.04	5000.03	3439090
crafted/spence/sgen/ sgen3-n160-s40283905-sat.cnf	? (TO)	5000.04	4999.93	3438615
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p15-s54275047.cnf	? (TO)	5000.04	4999.93	3439790
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf	? (TO)	5000.04	5000.03	3439320
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/ mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf	? (TO)	5000.05	5000.03	3439455
crafted/spence/sgen/ sgen3-n280-s93756482-sat.cnf	? (TO)	5000.05	4999.92	3438670
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf	? (TO)	5000.05	5000.03	3439710
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf	? (TO)	5000.05	4999.93	3439705
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf	? (TO)	5000.05	4999.93	3439700
SAT02/handmade/zhang-lintao/ xor-chain/x1_80.shuffled.cnf	? (TO)	5000.05	5000.03	3439660
SAT05/crafted/sorge05/QG7/ gensys-icl007.shuffled-as.sat05-3133.cnf	? (TO)	5000.05	4999.92	3439590
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf	? (TO)	5000.05	4999.92	3439290
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf	? (TO)	5000.05	5000.03	3439210
crafted/mosoi/289/ 289-unsat-9x32.cnf	? (TO)	5000.05	5000.03	3438810
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-020-019.shuffled-as.sat05-1232.cnf	? (TO)	5000.05	4999.93	3439525
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-045-035.shuffled-as.sat05-1181.cnf	? (TO)	5000.05	4999.93	3439500
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes5.cnf	? (TO)	5000.05	5000.03	3438475
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g9.cnf	? (TO)	5000.05	5000.03	3438400
crafted/skvortsov/battleship/ battleship-13-13-unsat.cnf	? (TO)	5000.05	4999.93	3438960
crafted/skvortsov/ automata-synchronization/crn_20_361_s.cnf	? (TO)	5000.05	5000.03	3438895
crafted/spence/sgen/ sgen3-n220-s24359701-sat.cnf	? (TO)	5000.05	5000.02	3438655
crafted/spence/sgen/ sgen3-n160-s73223945-unsat.cnf	? (TO)	5000.05	4999.93	3438645
SAT04/handmade/connamacher/connm-d0.04/ connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf	? (TO)	5000.05	5000.03	3439425
SAT04/handmade/kexu/frb-0.8/ frb45-21-1.used-as.sat04-883.cnf	? (TO)	5000.05	4999.93	3439390
SAT03/handmade/markstrom/UNSATISFIABLE/ mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf	? (TO)	5000.05	5000.03	3439365
SAT05/crafted/lynce05/social-golfer-problem/ sgp_5-6-8.shuffled-as.sat05-2669.cnf	? (TO)	5000.05	4999.93	3439540
SAT02/handmade/simon/ satex-challenges/c6288.shuffled.cnf	? (TO)	5000.06	5000.13	3439650
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf	? (TO)	5000.06	4999.93	3439335
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	5000.06	5000.03	3438340
SAT03/handmade/anton/UNSAT/ SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf	? (TO)	5000.06	4999.93	3439285
crafted/mosoi/289/ 289-unsat-6x40.cnf	? (TO)	5000.06	5000.03	3438815
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_508.cnf	? (TO)	5000.06	4999.92	3439125
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf	? (TO)	5000.06	4999.93	3439680
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g9.cnf	? (TO)	5000.06	5000.03	3438510
crafted/mosoi/289/ 289-unsat-21x14.cnf	? (TO)	5000.06	5000.13	3438760
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes7.cnf	? (TO)	5000.06	5000.03	3438460
crafted/mosoi/289/ 289-unsat-17x27.cnf	? (TO)	5000.06	5000.03	3438790
crafted/spence/sgen/ sgen3-n240-s78945233-sat.cnf	? (TO)	5000.06	4999.93	3438695
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf	? (TO)	5000.06	5000.03	3439195
crafted/spence/sgen/ sgen3-n130-s30940966-unsat.cnf	? (TO)	5000.06	4999.92	3438665
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf	? (TO)	5000.06	4999.93	3439750
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g7.cnf	? (TO)	5000.06	5000.03	3438525
crafted/skvortsov/battleship/ battleship-12-12-unsat.cnf	? (TO)	5000.07	4999.93	3438985
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-020-019.shuffled-as.sat05-1190.cnf	? (TO)	5000.07	5000.03	3439515
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf	? (TO)	5000.07	5000.03	3439805
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_406.cnf	? (TO)	5000.07	5000.03	3439155
crafted/spence/sgen/ sgen3-n200-s39840374-sat.cnf	? (TO)	5000.07	4999.93	3438635
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p15-s2076598.cnf	? (TO)	5000.07	5000.02	3439765
CRAFTED/rbsat/random/forced/ rbsat-v2640c305320gyes10.cnf	? (TO)	5000.07	5000.03	3438490
CRAFTED/rbsat/random/forced/ rbsat-v1375c111739gyes10.cnf	? (TO)	5000.07	5000.12	3438470
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g7.cnf	? (TO)	5000.07	4999.93	3438390
SAT03/handmade/stanion/hwb/ hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf	? (TO)	5000.07	4999.93	3439360
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	5000.07	5000.03	3438360
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	5000.07	5000.03	3438330
crafted/spence/sgen/ sgen3-n140-s20078956-unsat.cnf	? (TO)	5000.07	4999.93	3438675
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf	? (TO)	5000.07	5000.03	3439770
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	5000.07	5000.03	3438585
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf	? (TO)	5000.07	5000.03	3439745
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes1.cnf	? (TO)	5000.07	4999.93	3438580
SAT04/handmade/kexu/frb-0.6/ frb80-14-2.used-as.sat04-880.cnf	? (TO)	5000.07	4999.93	3439385
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf	? (TO)	5000.07	4999.93	3439490
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf	? (TO)	5000.07	5000.03	3439190
CRAFTED/rbsat/crafted/ forced/rbsat-v2100c215164gyes4.cnf	? (TO)	5000.07	5000.03	3438560
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes5.cnf	? (TO)	5000.08	5000.02	3438540
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p30-s19690873.cnf	? (TO)	5000.08	5000.03	3439810
SAT03/handmade/gomes/bqwh/ bqwh.50.825.shuffled-as.sat03-1648.cnf	? (TO)	5000.08	5000.02	3439225
crafted/mosoi/289/ 289-unsat-5x41.cnf	? (TO)	5000.08	5000.03	3438740
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	5000.08	5000.02	3438425
SAT04/handmade/marijn/equilarge-l/ equilarge_l4.used-as.sat04-896.cnf	? (TO)	5000.08	5000.13	3439450
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes7.cnf	? (TO)	5000.08	4999.93	3438445
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-040-039.shuffled-as.sat05-1194.cnf	? (TO)	5000.08	5000.13	3439510
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf	? (TO)	5000.08	5000.03	3439275
SAT04/handmade/kexu/frb-0.8/ frb59-26-1.used-as.sat04-891.cnf	? (TO)	5000.08	5000.03	3439400
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf	? (TO)	5000.08	5000.03	3439295
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_462.cnf	? (TO)	5000.08	5000.03	3439170
crafted/skvortsov/battleship/ battleship-7-12-unsat.cnf	? (TO)	5000.08	5000.03	3438975
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_464.cnf	? (TO)	5000.08	5000.03	3439105
SAT03/handmade/anton/UNSAT/ SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf	? (TO)	5000.08	5000.03	3439315
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_512.cnf	? (TO)	5000.08	5000.02	3439050
crafted/skvortsov/automata-synchronization/ crn_40_1521_s.cnf	? (TO)	5000.08	5000.03	3438880
crafted/skvortsov/automata-synchronization/ crn_40_1520_u.cnf	? (TO)	5000.08	4999.92	3438915
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf	? (TO)	5000.08	5000.02	3439220
crafted/mosoi/289/ 289-unsat-21x33.cnf	? (TO)	5000.08	5000.02	3438750
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf	? (TO)	5000.08	5000.03	3439685
crafted/spence/sgen/ sgen3-n120-s55656844-unsat.cnf	? (TO)	5000.08	5000.03	3438660
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf	? (TO)	5000.08	5000.02	3439460
SAT04/handmade/connamacher/connm-d0.02/ connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf	? (TO)	5000.08	5000.03	3439420
SAT05/crafted/sorge05/QG7a/ gensys-ukn004.shuffled-as.sat05-3844.cnf	? (TO)	5000.09	5000.03	3439575
SAT03/handmade/anton/UNSAT/ SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf	? (TO)	5000.09	5000.02	3439240
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf	? (TO)	5000.09	4999.93	3439475
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	5000.09	5000.03	3438485
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf	? (TO)	5000.09	5000.03	3439260
SAT03/handmade/anton/UNSAT/ SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf	? (TO)	5000.09	5000.02	3439270
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf	? (TO)	5000.09	5000.03	3439265
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2071.cnf	? (TO)	5000.09	5000.01	3439080
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2072.cnf	? (TO)	5000.09	5000.03	3439045
crafted/skvortsov/ automata-synchronization/crn_20_360_u.cnf	? (TO)	5000.09	5000.13	3438870
crafted/mosoi/289/ 289-unsat-6x34.cnf	? (TO)	5000.09	5000.03	3438710
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes10.cnf	? (TO)	5000.09	5000.03	3438555
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (TO)	5000.09	5000.03	3438600
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf	? (TO)	5000.09	5000.03	3439760
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes1.cnf	? (TO)	5000.09	5000.03	3438575
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p30-s67876261.cnf	? (TO)	5000.09	5000.03	3439775
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf	? (TO)	5000.09	5000.02	3439800
crafted/spence/sgen/ sgen3-n260-s62321009-sat.cnf	? (TO)	5000.09	4999.91	3438690
crafted/mosoi/289/ 289-unsat-14x34.cnf	? (TO)	5000.09	5000.02	3438835
SAT03/handmade/stanion/hwb/ hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf	? (TO)	5000.09	4999.93	3439355
SAT03/handmade/anton/UNSAT/ SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf	? (TO)	5000.09	4999.93	3439330
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4231.cnf	? (TO)	5000.09	5000.02	3439055
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34309.cnf	? (TO)	5000.09	5000.03	3439070
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-030-029.shuffled-as.sat05-1234.cnf	? (TO)	5000.1	5000.02	3439520
SAT05/crafted/sorge05/QG7a/ gensys-icl005.shuffled-as.sat05-3826.cnf	? (TO)	5000.1	5000.03	3439565
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p15-s72490337.cnf	? (TO)	5000.1	5000.02	3439780
crafted/spence/sgen/ sgen3-n200-s00813792-unsat.cnf	? (TO)	5000.1	5000.03	3438680
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes8.cnf	? (TO)	5000.1	5000.02	3438565
crafted/mosoi/289/ 289-unsat-14x38.cnf	? (TO)	5000.1	5000.02	3438825
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4232.cnf	? (TO)	5000.1	5000.02	3439085
SAT02/handmade/simon/satex-challenges/ par32-3.shuffled.cnf	? (TO)	5000.1	5000.03	3439655
SAT05/crafted/sorge05/QG7a/ gensys-ukn003.shuffled-as.sat05-3843.cnf	? (TO)	5000.1	5000.02	3439580
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g4.cnf	? (TO)	5000.1	5000.03	3438430
SAT05/crafted/sorge05/QG7a/ gensys-ukn006.shuffled-as.sat05-3846.cnf	? (TO)	5000.1	5000.03	3439570
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes6.cnf	? (TO)	5000.1	5000.03	3438455
SAT03/handmade/gomes/bqwh/ bqwh.60.1152.shuffled-as.sat03-1650.cnf	? (TO)	5000.1	5000.05	3439230
SAT03/handmade/anton/UNSAT/ SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf	? (TO)	5000.1	5000.03	3439310
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g3.cnf	? (TO)	5000.1	5000.03	3438370
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf	? (TO)	5000.1	4999.91	3439175
crafted/skvortsov/battleship/ battleship-16-16-unsat.cnf	? (TO)	5000.1	5000.02	3438980
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf	? (TO)	5000.1	5000.03	3439250
crafted/skvortsov/battleship/ battleship-15-15-unsat.cnf	? (TO)	5000.1	4999.93	3439000
SAT03/handmade/anton/UNSAT/ SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf	? (TO)	5000.1	5000.03	3439300
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	? (TO)	5000.11	5000.03	3438610
SAT03/handmade/anton/UNSAT/ SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf	? (TO)	5000.11	5000.03	3439245
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf	? (TO)	5000.11	5000.02	3439480
crafted/skvortsov/battleship/ battleship-14-14-unsat.cnf	? (TO)	5000.11	5000.03	3438950
crafted/mosoi/289/ 289-unsat-13x32.cnf	? (TO)	5000.11	5000.14	3438720
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_505.cnf	? (TO)	5000.11	5000.03	3439165
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf	? (TO)	5000.11	5000.03	3439690
crafted/spence/sgen/ sgen3-n300-s12830984-sat.cnf	? (TO)	5000.12	5000.02	3438620

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

Result page for solver sathys 2011-04-01 (complete)

Category "crafted instances" (CRAFTED)

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

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

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