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.003999	0.011399	3439619
crafted/skvortsov/battleship/ battleship-5-8-unsat.cnf	UNSAT	0.021995	0.022415	3438964
SAT05/crafted/sorge05/QG8/ gensys-ukn007.shuffled-as.sat05-3586.cnf	UNSAT	0.076987	0.0765941	3439599
crafted/skvortsov/battleship/ battleship-6-9-unsat.cnf	UNSAT	0.118981	0.118723	3439004
SAT03/handmade/bevan/cnf/ marg3x3add8.shuffled-as.sat03-1449.cnf	UNSAT	0.432933	0.433175	3439369
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-010-008.shuffled-as.sat05-1171.cnf	UNSAT	0.544916	0.54524	3439504
SAT05/crafted/sabharwal05/planning/logistics/unsat/ logistics-rotate-07t5.shuffled-as.sat05-1137.cnf	UNSAT	0.617905	0.618856	3439494
crafted/skvortsov/battleship/ battleship-10-10-unsat.cnf	UNSAT	1.21281	1.21363	3438944
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_060.shuffled.cnf	UNSAT	1.36979	1.37459	3439624
SAT03/handmade/bevan/cnf/ marg3x3add8ch.shuffled-as.sat03-1448.cnf	UNSAT	1.41179	1.41277	3439374
SAT02/handmade/chu-min-li/urquhart/ urquhart3_25bis.shuffled.cnf	UNSAT	8.41172	8.41183	3439669
SAT02/handmade/zhang-lintao/ xor-chain/x1_40.shuffled.cnf	UNSAT	43.3344	43.334	3439664
crafted/skvortsov/battleship/ battleship-7-12-unsat.cnf	UNSAT	45.6781	45.6785	3438974
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_381.cnf	UNSAT	174.545	174.542	3439139
crafted/skvortsov/ automata-synchronization/crn_11_99_u.cnf	UNSAT	196.057	196.095	3438889
crafted/skvortsov/battleship/ battleship-11-11-unsat.cnf	UNSAT	215.324	215.319	3438929
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-19_348.cnf	UNSAT	228.863	228.856	3439119
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf	UNSAT	325.046	325.038	3439214
crafted/skvortsov/ automata-synchronization/rnd_100_28_u.cnf	UNSAT	333.221	333.212	3438884
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/ grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf	UNSAT	396.935	396.953	3439529
crafted/skvortsov/battleship/ battleship-12-12-unsat.cnf	UNSAT	437.947	438.023	3438984
SAT03/handmade/stanion/hwb/ hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf	UNSAT	668.579	668.643	3439359
crafted/skvortsov/ automata-synchronization/rnd_150_29_u.cnf	UNSAT	668.608	668.585	3438904
SAT03/handmade/markstrom/UNSATISFIABLE/ mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf	UNSAT	668.692	668.677	3439364
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_390.cnf	UNSAT	857.948	858.003	3439144
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_401.cnf	UNSAT	903.037	903.085	3439134
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_528.cnf	UNSAT	977.581	977.554	3439089
SAT03/handmade/stanion/hwb/ hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf	UNSAT	1325.32	1325.27	3439344
SAT05/crafted/sorge05/QG6/ dead-dnd002.shuffled-as.sat05-2713.cnf	UNSAT	1327.41	1327.38	3439609
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf	UNSAT	1329.43	1329.41	3439259
SAT03/handmade/anton/UNSAT/ SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf	UNSAT	2657.34	2657.25	3439244
SAT04/handmade/connamacher/connm-d0.02/ connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf	UNSAT	3045.55	3045.48	3439419
SAT03/handmade/stanion/hwb/ hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf	UNSAT	3326.88	3326.87	3439354
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf	UNSAT	3393.79	3393.7	3439334
SAT03/handmade/anton/UNSAT/ SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf	UNSAT	3803.24	3803.15	3439234
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf	UNSAT	4260	4259.89	3439184
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf	UNSAT	4293.71	4293.74	3439274
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	UNSAT	4527.99	4528	3438354
SAT05/crafted/sorge05/QG7/ gensys-icl007.shuffled-as.sat05-3133.cnf	UNSAT	4777.94	4777.73	3439589
SAT05/crafted/sorge05/QG7/ dead-dnd003.shuffled-as.sat05-3109.cnf	UNSAT	4900.91	4900.68	3439594

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/mosoi/ 289/289-sat-11x4.cnf	SAT	0.000999	0.00573191	3438829
crafted/mosoi/289/ 289-sat-4x8.cnf	SAT	0.000999	0.017989	3438729
crafted/mosoi/289/ 289-sat-5x8.cnf	SAT	0.001998	0.0188131	3438804
crafted/mosoi/289/ 289-sat-7x6.cnf	SAT	0.001999	0.018979	3438799
crafted/mosoi/289/ 289-sat-6x9.cnf	SAT	0.002999	0.017298	3438854
crafted/skvortsov/battleship/ battleship-8-15-sat.cnf	SAT	0.002999	0.00573491	3438934
crafted/skvortsov/battleship/ battleship-7-13-sat.cnf	SAT	0.003999	0.0157909	3439019
crafted/mosoi/289/ 289-sat-6x8.cnf	SAT	0.004998	0.01774	3438839
crafted/skvortsov/battleship/ battleship-10-18-sat.cnf	SAT	0.004999	0.0757699	3438954
SAT02/handmade/pehoushek/twentyvars/ 7cnf20_90000_90000_7.shuffled.cnf	SAT	0.005999	0.011724	3439614
CRAFTED/sgi/ satsgi-n26himBHm28-p0-q293.cnf	SAT	0.006998	0.053759	3438364
crafted/mosoi/ 289/289-sat-4x35.cnf	SAT	0.007998	0.0180759	3438734
crafted/mosoi/ 289/289-sat-11x9.cnf	SAT	0.008997	0.017489	3438849
crafted/mosoi/ 289/289-sat-6x19.cnf	SAT	0.010997	0.012647	3438714
crafted/skvortsov/battleship/ battleship-10-19-sat.cnf	SAT	0.010998	0.034755	3439014
crafted/mosoi/ 289/289-sat-6x20.cnf	SAT	0.010998	0.054439	3438769
crafted/mosoi/ 289/289-sat-11x10.cnf	SAT	0.010998	0.0448011	3438794
crafted/mosoi/ 289/289-sat-9x13.cnf	SAT	0.012997	0.019641	3438779
crafted/mosoi/ 289/289-sat-14x8.cnf	SAT	0.012997	0.054421	3438764
SAT05/crafted/sorge05/QG8/ iso-ukn009.shuffled-as.sat05-3632.cnf	SAT	0.021996	0.0238049	3439604
crafted/mosoi/ 289/289-sat-12x14.cnf	SAT	0.026995	0.0276149	3438819
SAT05/crafted/sorge05/QG7/ iso-ukn004.shuffled-as.sat05-3385.cnf	SAT	0.028995	0.030867	3439584
crafted/skvortsov/battleship/ battleship-12-23-sat.cnf	SAT	0.034993	0.119419	3438989
crafted/mosoi/ 289/289-sat-12x15.cnf	SAT	0.084986	0.0851931	3438744
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	0.114981	0.247656	3438344
crafted/skvortsov/battleship/ battleship-9-17-sat.cnf	SAT	0.202968	0.202629	3439034
SAT04/handmade/anton/l4k4/ lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf	SAT	1.21281	1.21281	3439414
crafted/spence/sgen/ sgen3-n120-s12930489-sat.cnf	SAT	1.60376	1.60341	3438684
crafted/spence/sgen/ sgen3-n160-s40283905-sat.cnf	SAT	1.9797	2.00425	3438614
crafted/skvortsov/battleship/ battleship-10-17-sat.cnf	SAT	4.07738	4.07878	3438919
crafted/skvortsov/battleship/ battleship-11-21-sat.cnf	SAT	5.56715	5.56725	3439029
SAT04/handmade/anton/l5k3/ lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf	SAT	5.83411	5.83526	3439409
SAT05/crafted/sorge05/QG7a/ gensys-brn002.shuffled-as.sat05-3935.cnf	SAT	6.80896	6.81623	3439554
crafted/spence/sgen/ sgen3-n140-s18527668-sat.cnf	SAT	8.24675	8.24654	3438699
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p15-s58217873.cnf	SAT	11.7772	11.8214	3439729
crafted/skvortsov/ automata-synchronization/rnd_100_28_s.cnf	SAT	12.3941	12.3938	3438859
crafted/skvortsov/battleship/ battleship-14-27-sat.cnf	SAT	14.0969	14.1145	3438994
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	17.9523	18.063	3438334
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_399.cnf	SAT	21.8547	21.8943	3439094
crafted/skvortsov/ automata-synchronization/rnd_150_42_s.cnf	SAT	24.2343	24.2344	3438864
crafted/skvortsov/ automata-synchronization/rnd_100_27_s.cnf	SAT	38.5161	38.5166	3438899
crafted/skvortsov/ automata-synchronization/rnd_100_32_s.cnf	SAT	41.5127	41.5189	3438909
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p30-s70617701.cnf	SAT	41.6187	41.6693	3439694
SAT04/handmade/anton/l5k3/ lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf	SAT	49.8834	49.8829	3439404
SAT04/handmade/andrew/composite/ Composite-024BitPrimes-1.used-as.sat04-861.cnf	SAT	50.1204	50.1323	3439439
crafted/skvortsov/battleship/ battleship-24-57-sat.cnf	SAT	51.3152	51.3146	3438939
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	SAT	82.1195	82.1184	3438599
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_443.cnf	SAT	94.4536	94.4527	3439149
crafted/skvortsov/ automata-synchronization/crn_11_100_s.cnf	SAT	151.767	151.762	3438874
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_404.cnf	SAT	169.279	169.282	3439114
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p15-s2076598.cnf	SAT	201.764	201.765	3439764
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_527.cnf	SAT	278.253	278.306	3439074
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g7.cnf	SAT	364.822	364.811	3438524
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g5.cnf	SAT	372.515	372.519	3438394
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_505.cnf	SAT	399.364	399.414	3439164
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_110.shuffled.cnf	SAT	437.486	437.475	3439639
crafted/skvortsov/battleship/ battleship-14-26-sat.cnf	SAT	621.974	621.952	3438969
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g7.cnf	SAT	681.442	681.434	3438414
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes1.cnf	SAT	701.921	701.91	3438574
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	SAT	709.301	709.316	3438319
crafted/spence/sgen/ sgen3-n180-s34713902-sat.cnf	SAT	731.778	731.756	3438629
crafted/skvortsov/battleship/ battleship-16-31-sat.cnf	SAT	748.27	748.256	3438924
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	SAT	801.18	801.157	3438604
crafted/mosoi/289/ 289-unsat-6x30.cnf	SAT	1130.75	1130.73	3438724
crafted/spence/sgen/ sgen3-n200-s39840374-sat.cnf	SAT	1164.27	1164.23	3438634
SAT03/handmade/anton/SAT/ SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf	SAT	1164.35	1164.39	3439339
crafted/skvortsov/battleship/ battleship-15-29-sat.cnf	SAT	1493.6	1493.56	3439024
SAT04/handmade/kexu/frb-0.6/ frb75-13-2.used-as.sat04-878.cnf	SAT	1631.34	1631.37	3439379
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes8.cnf	SAT	1711.48	1711.45	3438564
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes6.cnf	SAT	1830.62	1830.58	3438569
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes5.cnf	SAT	1891.72	1891.75	3438449
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_462.cnf	SAT	1923.99	1923.93	3439169
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	SAT	2333.91	2333.95	3438339
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g9.cnf	SAT	2491.05	2491.07	3438509
SAT04/handmade/kexu/frb-0.8/ frb45-21-1.used-as.sat04-883.cnf	SAT	2777.26	2777.22	3439389
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf	SAT	3071.78	3071.77	3439784
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_506.cnf	SAT	3613.11	3613	3439129
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g7.cnf	SAT	3750.88	3750.81	3438389
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g4.cnf	SAT	3783.16	3783.26	3438379
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g1.cnf	SAT	4302.87	4302.8	3438384
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes5.cnf	SAT	4949.07	4948.92	3438539

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf	? (TO)	5000.02	4999.92	3439759
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf	? (TO)	5000.02	4999.92	3439674
crafted/spence/sgen/ sgen3-n150-s89334302-unsat.cnf	? (TO)	5000.02	4999.92	3438639
CRAFTED/rbsat/random/forced/ rbsat-v2640c305320gyes10.cnf	? (TO)	5000.02	4999.92	3438489
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes2.cnf	? (TO)	5000.03	4999.92	3438594
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf	? (TO)	5000.03	4999.82	3439679
crafted/spence/sgen/ sgen3-n170-s56409011-unsat.cnf	? (TO)	5000.03	4999.92	3438649
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf	? (TO)	5000.03	4999.82	3439709
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-030-029.shuffled-as.sat05-1234.cnf	? (TO)	5000.03	4999.92	3439519
crafted/spence/sgen/ sgen3-n260-s62321009-sat.cnf	? (TO)	5000.03	4999.92	3438689
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p15-s54275047.cnf	? (TO)	5000.03	4999.92	3439789
SAT04/handmade/hirsch03/ hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf	? (TO)	5000.03	4999.92	3439434
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf	? (TO)	5000.03	4999.92	3439459
crafted/skvortsov/ automata-synchronization/crn_20_360_u.cnf	? (TO)	5000.03	4999.92	3438869
crafted/spence/ hard/s113-100.cnf	? (TO)	5000.03	4999.92	3438314
crafted/spence/sgen/ sgen3-n130-s30940966-unsat.cnf	? (TO)	5000.03	5000.02	3438664
SAT05/crafted/roussel05/visbmc-PHNF/ phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf	? (TO)	5000.03	5000.02	3439544
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes1.cnf	? (TO)	5000.03	4999.92	3438579
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g10.cnf	? (TO)	5000.03	4999.92	3438374
SAT04/handmade/kexu/frb-0.8/ frb59-26-2.used-as.sat04-892.cnf	? (TO)	5000.03	4999.92	3439394
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes7.cnf	? (TO)	5000.03	4999.92	3438444
CRAFTED/rbsat/random/ forced/rbsat-v1820c171155gyes3.cnf	? (TO)	5000.03	4999.92	3438479
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g6.cnf	? (TO)	5000.03	4999.92	3438404
SAT05/crafted/markstrom05/eulcbip/ eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf	? (TO)	5000.04	4999.92	3439549
SAT03/handmade/anton/UNSAT/ SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf	? (TO)	5000.04	4999.92	3439239
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g3.cnf	? (TO)	5000.04	4999.92	3438369
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf	? (TO)	5000.04	4999.92	3439219
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf	? (TO)	5000.04	4999.92	3439204
SAT05/crafted/sorge05/QG7a/ gensys-icl005.shuffled-as.sat05-3826.cnf	? (TO)	5000.04	4999.92	3439564
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes6.cnf	? (TO)	5000.04	4999.92	3438454
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-020-019.shuffled-as.sat05-1190.cnf	? (TO)	5000.04	4999.92	3439514
SAT05/crafted/sabharwal05/ordering/gt-ordering/ sat/gt-030.shuffled-as.sat05-1295.cnf	? (TO)	5000.04	4999.92	3439534
CRAFTED/rbsat/crafted/ forced/rbsat-v2100c215164gyes4.cnf	? (TO)	5000.04	4999.92	3438559
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes1.cnf	? (TO)	5000.04	4999.92	3438499
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf	? (TO)	5000.04	5000.02	3439704
crafted/spence/sgen/ sgen3-n160-s73223945-unsat.cnf	? (TO)	5000.04	4999.92	3438644
SAT02/handmade/zhang-lintao/ xor-chain/x1_80.shuffled.cnf	? (TO)	5000.04	4999.92	3439659
SAT02/handmade/simon/ satex-challenges/f600.shuffled.cnf	? (TO)	5000.04	4999.92	3439644
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf	? (TO)	5000.04	4999.82	3439474
SAT04/handmade/marijn/equilarge-l/ equilarge_l2.used-as.sat04-894.cnf	? (TO)	5000.04	4999.92	3439444
SAT04/handmade/kexu/frb-0.6/ frb80-14-2.used-as.sat04-880.cnf	? (TO)	5000.04	4999.92	3439384
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes10.cnf	? (TO)	5000.04	4999.92	3438589
crafted/skvortsov/automata-synchronization/ crn_40_1520_u.cnf	? (TO)	5000.04	4999.93	3438914
SAT03/handmade/anton/UNSAT/ SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf	? (TO)	5000.04	4999.92	3439314
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_507.cnf	? (TO)	5000.04	4999.92	3439109
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	5000.04	5000.23	3438349
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf	? (TO)	5000.04	4999.92	3439294
SAT03/handmade/anton/UNSAT/ SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf	? (TO)	5000.04	4999.92	3439284
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2072.cnf	? (TO)	5000.05	4999.93	3439044
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2071.cnf	? (TO)	5000.05	4999.93	3439079
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf	? (TO)	5000.05	4999.92	3439279
crafted/spence/sgen/ sgen3-n200-s00813792-unsat.cnf	? (TO)	5000.05	4999.91	3438679
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	5000.05	4999.93	3438359
crafted/mosoi/289/ 289-unsat-7x39.cnf	? (TO)	5000.05	4999.93	3438774
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf	? (TO)	5000.05	4999.91	3439724
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf	? (TO)	5000.05	4999.82	3439479
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g5.cnf	? (TO)	5000.05	5000.02	3438504
SAT03/handmade/anton/UNSAT/ SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf	? (TO)	5000.06	4999.92	3439329
crafted/mosoi/289/ 289-unsat-6x34.cnf	? (TO)	5000.06	4999.91	3438709
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-045-035.shuffled-as.sat05-1181.cnf	? (TO)	5000.06	4999.91	3439499
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_406.cnf	? (TO)	5000.06	4999.91	3439154
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf	? (TO)	5000.06	4999.82	3439684
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf	? (TO)	5000.06	4999.92	3439749
crafted/mosoi/289/ 289-unsat-17x27.cnf	? (TO)	5000.06	4999.94	3438789
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-020-019.shuffled-as.sat05-1232.cnf	? (TO)	5000.06	4999.91	3439524
SAT02/handmade/simon/ satex-challenges/c6288.shuffled.cnf	? (TO)	5000.06	4999.92	3439649
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_464.cnf	? (TO)	5000.06	4999.82	3439104
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf	? (TO)	5000.06	4999.92	3439489
crafted/spence/sgen/ sgen3-n120-s55656844-unsat.cnf	? (TO)	5000.06	4999.92	3438659
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf	? (TO)	5000.06	5000.02	3439469
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_508.cnf	? (TO)	5000.06	5000.02	3439124
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf	? (TO)	5000.06	4999.91	3439799
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf	? (TO)	5000.06	4999.92	3439769
SAT04/handmade/marijn/equilarge-l/ equilarge_l4.used-as.sat04-896.cnf	? (TO)	5000.06	5000.02	3439449
crafted/skvortsov/battleship/ battleship-13-13-unsat.cnf	? (TO)	5000.06	4999.92	3438959
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_170.shuffled.cnf	? (TO)	5000.06	4999.91	3439629
crafted/spence/sgen/ sgen3-n240-s78945233-sat.cnf	? (TO)	5000.06	5000.02	3438694
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g3.cnf	? (TO)	5000.06	5000.12	3438409
SAT03/handmade/anton/UNSAT/ SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf	? (TO)	5000.06	5000.02	3439309
crafted/mosoi/289/ 289-unsat-13x32.cnf	? (TO)	5000.07	4999.93	3438719
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	5000.07	5000.02	3438484
crafted/skvortsov/battleship/ battleship-16-16-unsat.cnf	? (TO)	5000.07	4999.92	3438979
crafted/skvortsov/battleship/ battleship-15-15-unsat.cnf	? (TO)	5000.07	4999.92	3438999
crafted/skvortsov/battleship/ battleship-17-33-sat.cnf	? (TO)	5000.07	5000.12	3439009
crafted/spence/sgen/ sgen3-n140-s20078956-unsat.cnf	? (TO)	5000.07	4999.91	3438674
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	? (TO)	5000.07	4999.91	3438609
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf	? (TO)	5000.07	4999.91	3439174
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf	? (TO)	5000.07	4999.91	3439804
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf	? (TO)	5000.07	4999.92	3439794
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes2.cnf	? (TO)	5000.07	4999.91	3438439
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf	? (TO)	5000.07	5000.02	3439744
crafted/spence/sgen/ sgen3-n180-s33098896-unsat.cnf	? (TO)	5000.07	4999.92	3438624
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf	? (TO)	5000.07	4999.91	3439719
SAT02/handmade/simon/satex-challenges/ par32-3.shuffled.cnf	? (TO)	5000.07	4999.91	3439654
SAT04/handmade/kexu/frb-0.8/ frb59-26-1.used-as.sat04-891.cnf	? (TO)	5000.07	4999.91	3439399
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes3.cnf	? (TO)	5000.07	5000.22	3438549
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf	? (TO)	5000.07	4999.92	3439319
CRAFTED/rbsat/crafted/unforced/ rbsat-v945c61409g3.cnf	? (TO)	5000.07	4999.92	3438519
SAT03/handmade/anton/UNSAT/ SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf	? (TO)	5000.07	4999.92	3439269
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf	? (TO)	5000.07	4999.91	3439249
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g4.cnf	? (TO)	5000.07	4999.92	3438429
SAT05/crafted/sorge05/QG7a/ gensys-ukn004.shuffled-as.sat05-3844.cnf	? (TO)	5000.07	5000.02	3439574
crafted/spence/sgen/ sgen3-n190-s29985700-unsat.cnf	? (TO)	5000.07	4999.92	3438704
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes7.cnf	? (TO)	5000.07	4999.92	3438459
crafted/mosoi/289/ 289-unsat-14x38.cnf	? (TO)	5000.07	5000.05	3438824
crafted/mosoi/289/ 289-unsat-17x30.cnf	? (TO)	5000.07	4999.96	3438784
crafted/mosoi/289/ 289-unsat-21x14.cnf	? (TO)	5000.07	5000.03	3438759
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g9.cnf	? (TO)	5000.08	4999.92	3438529
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	5000.08	4999.94	3438324
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g6.cnf	? (TO)	5000.08	5000.02	3438514
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes10.cnf	? (TO)	5000.08	5000.02	3438554
SAT03/handmade/stanion/hwb/ hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf	? (TO)	5000.08	4999.92	3439349
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p30-s19690873.cnf	? (TO)	5000.08	4999.92	3439809
crafted/manthey/sudoku-single-hard/ sudoku_81x81_unknown.cnf	? (TO)	5000.08	4999.93	3439039
SAT05/crafted/lynce05/social-golfer-problem/ sgp_5-6-8.shuffled-as.sat05-2669.cnf	? (TO)	5000.08	4999.97	3439539
SAT05/crafted/sorge05/QG7a/ gensys-ukn009.shuffled-as.sat05-3849.cnf	? (TO)	5000.08	5000.02	3439559
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf	? (TO)	5000.08	4999.92	3439199
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p15-s72490337.cnf	? (TO)	5000.08	5000.01	3439779
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf	? (TO)	5000.09	4999.92	3439179
crafted/skvortsov/battleship/ battleship-14-14-unsat.cnf	? (TO)	5000.09	4999.91	3438949
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	5000.09	4999.93	3438329
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p30-s39712998.cnf	? (TO)	5000.09	4999.92	3439714
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes7.cnf	? (TO)	5000.09	5000.12	3438544
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf	? (TO)	5000.09	5000.02	3439264
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf	? (TO)	5000.09	5000.02	3439209
SAT05/crafted/sorge05/QG7a/ gensys-ukn006.shuffled-as.sat05-3846.cnf	? (TO)	5000.09	5000.02	3439569
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	5000.09	4999.92	3438494
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g7.cnf	? (TO)	5000.09	5000.02	3438434
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g9.cnf	? (TO)	5000.09	4999.92	3438399
crafted/spence/sgen/ sgen3-n280-s93756482-sat.cnf	? (TO)	5000.09	5000.02	3438669
crafted/spence/sgen/ sgen3-n220-s24359701-sat.cnf	? (TO)	5000.09	5000.02	3438654
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes1.cnf	? (TO)	5000.1	4999.91	3438464
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4232.cnf	? (TO)	5000.1	5000.04	3439084
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_512.cnf	? (TO)	5000.1	5000.02	3439049
CRAFTED/rbsat/random/forced/ rbsat-v1375c111739gyes10.cnf	? (TO)	5000.1	4999.91	3438469
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf	? (TO)	5000.1	5000.02	3439699
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/ mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf	? (TO)	5000.1	5000.12	3439454
crafted/skvortsov/automata-synchronization/ crn_40_1521_s.cnf	? (TO)	5000.1	4999.92	3438879
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_445.cnf	? (TO)	5000.1	5000.32	3439159
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-040-039.shuffled-as.sat05-1194.cnf	? (TO)	5000.1	4999.92	3439509
SAT03/handmade/gomes/bqwh/ bqwh.50.825.shuffled-as.sat03-1648.cnf	? (TO)	5000.1	4999.91	3439224
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g2.cnf	? (TO)	5000.1	5000.02	3438534
SAT05/crafted/sorge05/QG7a/ gensys-ukn003.shuffled-as.sat05-3843.cnf	? (TO)	5000.1	4999.92	3439579
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	5000.1	5000.02	3438424
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g4.cnf	? (TO)	5000.1	5000.11	3438419
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_220.shuffled.cnf	? (TO)	5000.1	4999.92	3439634
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf	? (TO)	5000.1	5000.02	3439189
crafted/mosoi/289/ 289-unsat-14x34.cnf	? (TO)	5000.1	4999.93	3438834
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf	? (TO)	5000.1	5000.12	3439734
crafted/mosoi/289/ 289-unsat-21x33.cnf	? (TO)	5000.1	4999.95	3438749
crafted/mosoi/289/ 289-unsat-5x41.cnf	? (TO)	5000.1	5000.03	3438739
crafted/skvortsov/ automata-synchronization/crn_20_361_s.cnf	? (TO)	5000.1	5000.02	3438894
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf	? (TO)	5000.1	5000.02	3439739
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf	? (TO)	5000.1	5000.02	3439754
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p30-s67876261.cnf	? (TO)	5000.1	5000.12	3439774
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf	? (TO)	5000.11	5000.02	3439194
crafted/spence/sgen/ sgen3-n300-s12830984-sat.cnf	? (TO)	5000.11	5000.02	3438619
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes5.cnf	? (TO)	5000.11	5000.02	3438474
SAT03/handmade/anton/UNSAT/ SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf	? (TO)	5000.11	5000.02	3439304
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_511.cnf	? (TO)	5000.11	5000.02	3439064
SAT03/handmade/anton/UNSAT/ SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf	? (TO)	5000.11	5000.02	3439324
SAT04/handmade/connamacher/connm-d-0.02/ connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf	? (TO)	5000.11	5000.02	3439429
SAT04/handmade/connamacher/connm-d0.04/ connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf	? (TO)	5000.11	5000.02	3439424
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf	? (TO)	5000.11	5000.12	3439464
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf	? (TO)	5000.11	5000.02	3439484
SAT03/handmade/gomes/bqwh/ bqwh.60.1152.shuffled-as.sat03-1650.cnf	? (TO)	5000.12	5000.02	3439229
crafted/mosoi/289/ 289-unsat-9x32.cnf	? (TO)	5000.12	5000.04	3438809
SAT03/handmade/anton/UNSAT/ SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf	? (TO)	5000.12	5000.02	3439254
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf	? (TO)	5000.12	5000.02	3439289
SAT03/handmade/anton/UNSAT/ SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf	? (TO)	5000.12	5000.12	3439299
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	5000.12	5000.02	3438584
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf	? (TO)	5000.12	5000.02	3439689
crafted/mosoi/289/ 289-unsat-6x40.cnf	? (TO)	5000.13	5000.03	3438814
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-24_567.cnf	? (TO)	5000.13	4999.92	3439099
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4231.cnf	? (TO)	5000.14	5000.04	3439054
crafted/mosoi/289/ 289-unsat-21x40.cnf	? (TO)	5000.15	4999.98	3438754
crafted/mosoi/289/ 289-unsat-21x39.cnf	? (TO)	5000.18	5000.18	3438844
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34308.cnf	? (TO)	5000.23	5000.16	3439059
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34309.cnf	? (TO)	5000.25	5000.19	3439069

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

Result page for solver PicoSAT 941 (complete)

Category "crafted instances" (CRAFTED)

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

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

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