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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/handmade/zhang-lintao/ xor-chain/x1_40.shuffled.cnf	UNSAT	0.001999	0.015721	3445885
SAT02/handmade/chu-min-li/urquhart/ urquhart3_25bis.shuffled.cnf	UNSAT	0.001999	0.0156321	3445886
SAT02/handmade/zhang-lintao/ xor-chain/x1_80.shuffled.cnf	UNSAT	0.002998	0.0160071	3445884
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3500_3500_30f1.shuffled.cnf	UNSAT	0.018996	0.0188339	3445876
crafted/skvortsov/battleship/ battleship-5-8-unsat.cnf	UNSAT	0.078987	0.081251	3445745
SAT05/crafted/markstrom05/eulcbip/ eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf	UNSAT	0.082986	0.0853651	3445862
SAT03/handmade/bevan/cnf/ marg3x3add8.shuffled-as.sat03-1449.cnf	UNSAT	0.117981	0.209821	3445826
SAT05/crafted/sorge05/QG8/ gensys-ukn007.shuffled-as.sat05-3586.cnf	UNSAT	0.229964	0.231123	3445872
crafted/skvortsov/battleship/ battleship-6-9-unsat.cnf	UNSAT	0.436932	0.437876	3445753
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/ grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf	UNSAT	0.769882	0.769498	3445858
SAT05/crafted/sabharwal05/planning/logistics/unsat/ logistics-rotate-07t5.shuffled-as.sat05-1137.cnf	UNSAT	1.79273	1.79467	3445851
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-010-008.shuffled-as.sat05-1171.cnf	UNSAT	3.24351	3.2434	3445853
SAT03/handmade/bevan/cnf/ marg3x3add8ch.shuffled-as.sat03-1448.cnf	UNSAT	4.20736	4.32065	3445827
crafted/skvortsov/battleship/ battleship-10-10-unsat.cnf	UNSAT	5.2552	5.25718	3445741
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_060.shuffled.cnf	UNSAT	43.3334	43.3337	3445877
SAT05/crafted/sorge05/QG6/ dead-dnd002.shuffled-as.sat05-2713.cnf	UNSAT	59.7409	59.7405	3445874
crafted/skvortsov/battleship/ battleship-11-11-unsat.cnf	UNSAT	175.523	175.516	3445738
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf	UNSAT	184.03	184.026	3445795
crafted/skvortsov/ automata-synchronization/rnd_100_28_u.cnf	UNSAT	269.767	269.759	3445729
crafted/skvortsov/ automata-synchronization/crn_11_99_u.cnf	UNSAT	347.599	347.605	3445730
crafted/skvortsov/battleship/ battleship-7-12-unsat.cnf	UNSAT	352.907	352.897	3445747
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-19_348.cnf	UNSAT	473.019	473.013	3445776
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_381.cnf	UNSAT	542.092	542.081	3445780
crafted/skvortsov/battleship/ battleship-12-12-unsat.cnf	UNSAT	747.86	747.849	3445749
SAT03/handmade/markstrom/UNSATISFIABLE/ mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf	UNSAT	779.072	779.044	3445825
crafted/skvortsov/ automata-synchronization/rnd_150_29_u.cnf	UNSAT	923.599	923.631	3445733
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_390.cnf	UNSAT	1528	1527.96	3445781
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_401.cnf	UNSAT	1545.24	1545.21	3445779
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf	UNSAT	1590.79	1590.73	3445789
SAT05/crafted/sorge05/QG7a/ gensys-icl005.shuffled-as.sat05-3826.cnf	UNSAT	1688.28	1688.21	3445865
SAT04/handmade/connamacher/connm-d0.02/ connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf	UNSAT	2315.09	2315.03	3445836
SAT03/handmade/stanion/hwb/ hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf	UNSAT	2522.91	2522.82	3445824
SAT05/crafted/sorge05/QG7a/ gensys-ukn003.shuffled-as.sat05-3843.cnf	UNSAT	2562.08	2562.02	3445868
SAT05/crafted/sorge05/QG7a/ gensys-ukn009.shuffled-as.sat05-3849.cnf	UNSAT	3339.39	3339.32	3445864
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g6.cnf	UNSAT	3439.73	3439.71	3445633
SAT03/handmade/stanion/hwb/ hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf	UNSAT	3593.5	3593.43	3445821
SAT05/crafted/sorge05/QG7/ dead-dnd003.shuffled-as.sat05-3109.cnf	UNSAT	3731.86	3731.76	3445871
SAT05/crafted/sorge05/QG7a/ gensys-ukn004.shuffled-as.sat05-3844.cnf	UNSAT	3741.08	3741.08	3445867
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_445.cnf	UNSAT	4304.24	4304.14	3445784

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/skvortsov/battleship/ battleship-7-13-sat.cnf	SAT	0.005998	0.015777	3445756
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/ mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf	SAT	0.005998	0.020586	3445843
crafted/skvortsov/battleship/ battleship-8-15-sat.cnf	SAT	0.011997	0.0204201	3445739
crafted/mosoi/289/ 289-sat-4x8.cnf	SAT	0.011998	0.0184371	3445698
crafted/skvortsov/battleship/ battleship-10-18-sat.cnf	SAT	0.012997	0.014707	3445743
crafted/skvortsov/battleship/ battleship-10-19-sat.cnf	SAT	0.013997	0.015868	3445755
crafted/mosoi/289/ 289-sat-7x6.cnf	SAT	0.022995	0.028223	3445712
crafted/mosoi/289/ 289-sat-5x8.cnf	SAT	0.022995	0.022935	3445713
SAT02/handmade/pehoushek/twentyvars/ 7cnf20_90000_90000_7.shuffled.cnf	SAT	0.022995	0.024027	3445875
crafted/skvortsov/battleship/ battleship-12-23-sat.cnf	SAT	0.022996	0.024958	3445750
crafted/mosoi/ 289/289-sat-11x4.cnf	SAT	0.024995	0.025613	3445718
crafted/mosoi/289/ 289-sat-6x8.cnf	SAT	0.031995	0.0340899	3445720
crafted/mosoi/289/ 289-sat-6x9.cnf	SAT	0.041993	0.0427039	3445723
crafted/skvortsov/battleship/ battleship-17-33-sat.cnf	SAT	0.044993	0.0466429	3445754
SAT05/crafted/sorge05/QG8/ iso-ukn009.shuffled-as.sat05-3632.cnf	SAT	0.05599	0.089856	3445873
SAT05/crafted/sorge05/QG7/ iso-ukn004.shuffled-as.sat05-3385.cnf	SAT	0.067989	0.100317	3445869
CRAFTED/sgi/ satsgi-n26himBHm28-p0-q293.cnf	SAT	0.082986	0.116736	3445625
crafted/skvortsov/battleship/ battleship-9-17-sat.cnf	SAT	0.090985	0.091468	3445759
crafted/mosoi/ 289/289-sat-4x35.cnf	SAT	0.092985	0.0970441	3445699
crafted/mosoi/ 289/289-sat-11x9.cnf	SAT	0.182971	0.185319	3445722
crafted/mosoi/ 289/289-sat-12x15.cnf	SAT	0.18997	0.191144	3445701
crafted/mosoi/ 289/289-sat-12x14.cnf	SAT	0.195969	0.196616	3445716
crafted/mosoi/ 289/289-sat-11x10.cnf	SAT	0.236963	0.237195	3445711
crafted/mosoi/ 289/289-sat-6x19.cnf	SAT	0.242962	0.244494	3445695
crafted/mosoi/ 289/289-sat-14x8.cnf	SAT	0.245962	0.248917	3445705
crafted/mosoi/ 289/289-sat-6x20.cnf	SAT	0.276957	0.278387	3445706
crafted/mosoi/ 289/289-sat-9x13.cnf	SAT	0.278957	0.280989	3445708
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	0.505922	0.507321	3445621
crafted/spence/sgen/ sgen3-n120-s12930489-sat.cnf	SAT	0.802877	0.80416	3445689
crafted/spence/sgen/ sgen3-n140-s18527668-sat.cnf	SAT	0.840871	0.8422	3445692
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_110.shuffled.cnf	SAT	0.853869	0.853974	3445880
SAT02/handmade/simon/ satex-challenges/f600.shuffled.cnf	SAT	0.974851	0.974603	3445881
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_170.shuffled.cnf	SAT	1.04884	1.04918	3445878
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_220.shuffled.cnf	SAT	1.11783	1.11897	3445879
crafted/spence/sgen/ sgen3-n160-s40283905-sat.cnf	SAT	1.22581	1.2267	3445675
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_511.cnf	SAT	1.27781	1.28045	3445765
SAT04/handmade/anton/l5k3/ lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf	SAT	1.43878	1.44031	3445833
crafted/skvortsov/ automata-synchronization/rnd_100_27_s.cnf	SAT	2.08868	2.09461	3445732
crafted/spence/sgen/ sgen3-n200-s39840374-sat.cnf	SAT	2.56261	2.56266	3445679
crafted/spence/sgen/ sgen3-n180-s34713902-sat.cnf	SAT	2.66959	2.6711	3445678
SAT04/handmade/anton/l4k4/ lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf	SAT	6.63199	6.63337	3445835
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf	SAT	6.80096	6.801	3445909
SAT04/handmade/anton/l5k3/ lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf	SAT	6.86196	6.86277	3445834
SAT05/crafted/sorge05/QG7a/ gensys-brn002.shuffled-as.sat05-3935.cnf	SAT	10.0265	10.0306	3445863
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	SAT	10.9083	10.9094	3445674
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-24_567.cnf	SAT	13.8079	13.8131	3445772
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	16.7065	16.9744	3445619
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	SAT	25.1642	25.3431	3445616
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	SAT	25.4311	25.4311	3445620
crafted/spence/sgen/ sgen3-n220-s24359701-sat.cnf	SAT	29.4405	29.4404	3445683
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p30-s39712998.cnf	SAT	38.5801	38.5811	3445895
crafted/skvortsov/ automata-synchronization/rnd_100_28_s.cnf	SAT	47.0308	47.0295	3445724
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_527.cnf	SAT	54.0098	54.0096	3445767
crafted/skvortsov/ automata-synchronization/rnd_150_42_s.cnf	SAT	57.5982	57.5958	3445725
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	SAT	61.2837	61.2844	3445617
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_399.cnf	SAT	63.0224	63.0282	3445771
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g5.cnf	SAT	70.0314	70.0661	3445631
crafted/spence/sgen/ sgen3-n240-s78945233-sat.cnf	SAT	73.8668	73.8708	3445691
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g7.cnf	SAT	80.0548	80.1323	3445635
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p30-s70617701.cnf	SAT	102.686	102.716	3445891
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p15-s58217873.cnf	SAT	107.31	107.309	3445898
crafted/skvortsov/ automata-synchronization/rnd_100_32_s.cnf	SAT	117.629	117.626	3445734
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf	SAT	118.243	118.26	3445887
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	SAT	127.27	127.268	3445672
SAT02/handmade/simon/satex-challenges/ par32-3.shuffled.cnf	SAT	137.305	137.303	3445883
crafted/skvortsov/battleship/ battleship-10-17-sat.cnf	SAT	172.194	172.19	3445736
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p15-s54275047.cnf	SAT	173.567	173.56	3445910
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf	SAT	184.975	184.972	3445890
crafted/spence/sgen/ sgen3-n260-s62321009-sat.cnf	SAT	216.266	216.267	3445690
crafted/skvortsov/battleship/ battleship-11-21-sat.cnf	SAT	246.762	246.756	3445758
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	SAT	333.04	333.132	3445618
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes5.cnf	SAT	334.057	334.149	3445660
crafted/spence/sgen/ sgen3-n280-s93756482-sat.cnf	SAT	348.867	348.861	3445686
crafted/skvortsov/ automata-synchronization/crn_11_100_s.cnf	SAT	354.082	354.068	3445727
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf	SAT	386.112	386.105	3445899
SAT04/handmade/andrew/composite/ Composite-024BitPrimes-1.used-as.sat04-861.cnf	SAT	494.407	494.433	3445840
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p15-s2076598.cnf	SAT	589.535	589.525	3445905
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	SAT	794.048	794.124	3445673
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes8.cnf	SAT	831.581	831.545	3445665
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf	SAT	941.136	941.108	3445900
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes5.cnf	SAT	1186.47	1186.47	3445642
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g4.cnf	SAT	1726.86	1726.95	3445628
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g7.cnf	SAT	1739.82	1739.81	3445630
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_443.cnf	SAT	1865.67	1865.62	3445782
SAT03/handmade/anton/SAT/ SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf	SAT	2053.41	2053.39	3445820
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf	SAT	2186.14	2186.11	3445847
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g9.cnf	SAT	2776.25	2776.25	3445654
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_404.cnf	SAT	2969.2	2969.12	3445775
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_462.cnf	SAT	3357.35	3357.36	3445786
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_505.cnf	SAT	3489.18	3489.09	3445785
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g1.cnf	SAT	4041	4041	3445629
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf	SAT	4220.26	4220.17	3445844
SAT04/handmade/kexu/frb-0.6/ frb75-13-2.used-as.sat04-878.cnf	SAT	4810.2	4810.16	3445828

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/mosoi/289/ 289-unsat-5x41.cnf	? (TO)	5000.02	4999.92	3445700
SAT04/handmade/kexu/frb-0.8/ frb45-21-1.used-as.sat04-883.cnf	? (TO)	5000.02	4999.92	3445830
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes3.cnf	? (TO)	5000.03	4999.92	3445662
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g4.cnf	? (TO)	5000.03	4999.92	3445638
crafted/skvortsov/battleship/ battleship-14-27-sat.cnf	? (TO)	5000.03	4999.92	3445751
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2072.cnf	? (TO)	5000.03	5000.03	3445761
SAT03/handmade/anton/UNSAT/ SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf	? (TO)	5000.03	4999.92	3445809
SAT04/handmade/marijn/equilarge-l/ equilarge_l4.used-as.sat04-896.cnf	? (TO)	5000.03	4999.92	3445842
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf	? (TO)	5000.03	4999.92	3445903
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g7.cnf	? (TO)	5000.03	4999.92	3445639
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes1.cnf	? (TO)	5000.03	4999.92	3445645
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p30-s19690873.cnf	? (TO)	5000.03	4999.91	3445914
SAT03/handmade/gomes/bqwh/ bqwh.60.1152.shuffled-as.sat03-1650.cnf	? (TO)	5000.03	4999.92	3445798
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf	? (TO)	5000.03	4999.82	3445805
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf	? (TO)	5000.03	4999.91	3445811
CRAFTED/rbsat/random/ forced/rbsat-v1820c171155gyes3.cnf	? (TO)	5000.03	4999.92	3445648
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf	? (TO)	5000.04	4999.92	3445808
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes2.cnf	? (TO)	5000.04	4999.93	3445640
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes7.cnf	? (TO)	5000.04	4999.92	3445641
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes7.cnf	? (TO)	5000.04	5000.02	3445661
SAT05/crafted/sabharwal05/ordering/gt-ordering/ sat/gt-030.shuffled-as.sat05-1295.cnf	? (TO)	5000.04	4999.92	3445859
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	5000.04	4999.92	3445637
SAT04/handmade/marijn/equilarge-l/ equilarge_l2.used-as.sat04-894.cnf	? (TO)	5000.04	4999.92	3445841
SAT04/handmade/connamacher/connm-d-0.02/ connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf	? (TO)	5000.04	4999.92	3445838
SAT04/handmade/hirsch03/ hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf	? (TO)	5000.04	4999.92	3445839
SAT05/crafted/lynce05/social-golfer-problem/ sgp_5-6-8.shuffled-as.sat05-2669.cnf	? (TO)	5000.04	5000.03	3445860
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	5000.04	4999.93	3445669
SAT03/handmade/gomes/bqwh/ bqwh.50.825.shuffled-as.sat03-1648.cnf	? (TO)	5000.04	4999.92	3445797
crafted/mosoi/289/ 289-unsat-7x39.cnf	? (TO)	5000.04	4999.91	3445707
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf	? (TO)	5000.04	4999.94	3445911
crafted/spence/sgen/ sgen3-n170-s56409011-unsat.cnf	? (TO)	5000.04	5000.12	3445682
crafted/spence/sgen/ sgen3-n140-s20078956-unsat.cnf	? (TO)	5000.04	4999.92	3445687
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_528.cnf	? (TO)	5000.04	5000.12	3445770
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf	? (TO)	5000.04	4999.92	3445913
crafted/skvortsov/battleship/ battleship-15-15-unsat.cnf	? (TO)	5000.04	4999.92	3445752
crafted/skvortsov/battleship/ battleship-16-16-unsat.cnf	? (TO)	5000.04	4999.92	3445748
SAT05/crafted/sorge05/QG7/ gensys-icl007.shuffled-as.sat05-3133.cnf	? (TO)	5000.04	4999.92	3445870
crafted/spence/sgen/ sgen3-n120-s55656844-unsat.cnf	? (TO)	5000.05	4999.82	3445684
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf	? (TO)	5000.05	4999.92	3445787
crafted/skvortsov/battleship/ battleship-24-57-sat.cnf	? (TO)	5000.05	4999.93	3445740
crafted/mosoi/289/ 289-unsat-17x30.cnf	? (TO)	5000.05	5000.12	3445709
SAT03/handmade/anton/UNSAT/ SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf	? (TO)	5000.05	4999.92	3445803
SAT05/crafted/roussel05/visbmc-PHNF/ phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf	? (TO)	5000.05	4999.93	3445861
crafted/skvortsov/battleship/ battleship-13-13-unsat.cnf	? (TO)	5000.05	4999.92	3445744
SAT03/handmade/anton/UNSAT/ SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf	? (TO)	5000.05	4999.92	3445818
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes1.cnf	? (TO)	5000.05	4999.82	3445667
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	5000.05	5000.22	3445651
crafted/mosoi/289/ 289-unsat-17x27.cnf	? (TO)	5000.05	4999.94	3445710
crafted/skvortsov/automata-synchronization/ crn_40_1520_u.cnf	? (TO)	5000.05	4999.92	3445735
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4232.cnf	? (TO)	5000.05	4999.82	3445769
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_508.cnf	? (TO)	5000.06	4999.92	3445777
SAT03/handmade/anton/UNSAT/ SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf	? (TO)	5000.06	4999.82	3445800
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf	? (TO)	5000.06	4999.93	3445894
crafted/spence/sgen/ sgen3-n300-s12830984-sat.cnf	? (TO)	5000.06	4999.91	3445676
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_406.cnf	? (TO)	5000.06	4999.92	3445783
crafted/mosoi/289/ 289-unsat-21x33.cnf	? (TO)	5000.06	4999.93	3445702
SAT03/handmade/anton/UNSAT/ SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf	? (TO)	5000.06	5000.02	3445814
crafted/spence/sgen/ sgen3-n200-s00813792-unsat.cnf	? (TO)	5000.06	5000.02	3445688
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_512.cnf	? (TO)	5000.06	4999.91	3445762
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf	? (TO)	5000.06	5000.32	3445849
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g5.cnf	? (TO)	5000.06	5000.02	3445653
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf	? (TO)	5000.06	4999.92	3445807
crafted/skvortsov/battleship/ battleship-16-31-sat.cnf	? (TO)	5000.06	4999.94	3445737
SAT04/handmade/kexu/frb-0.8/ frb59-26-2.used-as.sat04-892.cnf	? (TO)	5000.06	4999.92	3445831
SAT03/handmade/anton/UNSAT/ SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf	? (TO)	5000.07	4999.92	3445815
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_506.cnf	? (TO)	5000.07	5000.02	3445778
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes2.cnf	? (TO)	5000.07	4999.91	3445671
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf	? (TO)	5000.07	4999.92	3445810
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf	? (TO)	5000.07	4999.92	3445897
CRAFTED/rbsat/random/forced/ rbsat-v1375c111739gyes10.cnf	? (TO)	5000.07	4999.91	3445646
crafted/spence/sgen/ sgen3-n150-s89334302-unsat.cnf	? (TO)	5000.07	4999.92	3445680
crafted/mosoi/289/ 289-unsat-21x14.cnf	? (TO)	5000.07	4999.92	3445704
SAT03/handmade/anton/UNSAT/ SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf	? (TO)	5000.07	4999.91	3445799
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	5000.07	4999.91	3445622
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf	? (TO)	5000.07	4999.92	3445896
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes6.cnf	? (TO)	5000.07	4999.92	3445643
crafted/manthey/sudoku-single-hard/ sudoku_81x81_unknown.cnf	? (TO)	5000.07	4999.92	3445760
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2071.cnf	? (TO)	5000.07	5000.02	3445768
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes10.cnf	? (TO)	5000.07	5000.02	3445663
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-020-019.shuffled-as.sat05-1190.cnf	? (TO)	5000.07	4999.92	3445855
crafted/mosoi/289/ 289-unsat-13x32.cnf	? (TO)	5000.07	4999.92	3445696
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf	? (TO)	5000.07	4999.93	3445889
SAT03/handmade/anton/UNSAT/ SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf	? (TO)	5000.07	4999.91	3445812
crafted/skvortsov/automata-synchronization/ crn_40_1521_s.cnf	? (TO)	5000.08	4999.92	3445728
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf	? (TO)	5000.08	4999.93	3445888
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf	? (TO)	5000.08	4999.92	3445901
SAT03/handmade/stanion/hwb/ hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf	? (TO)	5000.08	5000.01	3445822
crafted/spence/sgen/ sgen3-n190-s29985700-unsat.cnf	? (TO)	5000.08	5000.02	3445693
SAT04/handmade/kexu/frb-0.6/ frb80-14-2.used-as.sat04-880.cnf	? (TO)	5000.08	4999.92	3445829
crafted/skvortsov/battleship/ battleship-15-29-sat.cnf	? (TO)	5000.08	4999.92	3445757
crafted/mosoi/289/ 289-unsat-21x40.cnf	? (TO)	5000.08	4999.93	3445703
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes1.cnf	? (TO)	5000.08	4999.92	3445668
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf	? (TO)	5000.08	5000.02	3445850
crafted/spence/ hard/s113-100.cnf	? (TO)	5000.08	5000.11	3445615
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf	? (TO)	5000.08	4999.93	3445816
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g3.cnf	? (TO)	5000.08	4999.93	3445626
CRAFTED/rbsat/crafted/ forced/rbsat-v2100c215164gyes4.cnf	? (TO)	5000.09	5000.12	3445664
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g2.cnf	? (TO)	5000.09	5000.02	3445659
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf	? (TO)	5000.09	4999.92	3445804
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf	? (TO)	5000.09	4999.92	3445796
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf	? (TO)	5000.09	4999.94	3445904
crafted/skvortsov/battleship/ battleship-14-26-sat.cnf	? (TO)	5000.09	5000.12	3445746
SAT03/handmade/anton/UNSAT/ SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf	? (TO)	5000.09	4999.92	3445806
CRAFTED/rbsat/crafted/unforced/ rbsat-v945c61409g3.cnf	? (TO)	5000.09	4999.92	3445656
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes5.cnf	? (TO)	5000.09	5000.12	3445647
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes7.cnf	? (TO)	5000.09	5000.02	3445644
crafted/mosoi/289/ 289-unsat-14x38.cnf	? (TO)	5000.09	5000.23	3445717
crafted/skvortsov/battleship/ battleship-14-14-unsat.cnf	? (TO)	5000.1	4999.92	3445742
SAT03/handmade/stanion/hwb/ hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf	? (TO)	5000.1	5000.01	3445823
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf	? (TO)	5000.1	5000.02	3445791
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf	? (TO)	5000.1	4999.92	3445802
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf	? (TO)	5000.1	4999.92	3445819
SAT04/handmade/kexu/frb-0.8/ frb59-26-1.used-as.sat04-891.cnf	? (TO)	5000.1	5000.02	3445832
SAT04/handmade/connamacher/connm-d0.04/ connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf	? (TO)	5000.1	4999.92	3445837
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g3.cnf	? (TO)	5000.1	4999.92	3445634
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf	? (TO)	5000.1	5000.02	3445846
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf	? (TO)	5000.1	5000.02	3445845
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf	? (TO)	5000.1	5000.02	3445848
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g9.cnf	? (TO)	5000.1	4999.92	3445658
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-030-029.shuffled-as.sat05-1234.cnf	? (TO)	5000.1	5000.02	3445856
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	5000.1	4999.92	3445623
SAT03/handmade/anton/UNSAT/ SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf	? (TO)	5000.1	5000.02	3445813
SAT02/handmade/simon/ satex-challenges/c6288.shuffled.cnf	? (TO)	5000.1	5000.02	3445882
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf	? (TO)	5000.1	5000.03	3445892
crafted/spence/sgen/ sgen3-n130-s30940966-unsat.cnf	? (TO)	5000.1	4999.92	3445685
crafted/spence/sgen/ sgen3-n160-s73223945-unsat.cnf	? (TO)	5000.1	4999.92	3445681
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf	? (TO)	5000.1	4999.92	3445912
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34308.cnf	? (TO)	5000.11	5000.06	3445764
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34309.cnf	? (TO)	5000.11	4999.93	3445766
SAT03/handmade/anton/UNSAT/ SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf	? (TO)	5000.11	4999.92	3445817
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	5000.11	5000.13	3445624
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p30-s67876261.cnf	? (TO)	5000.11	4999.93	3445907
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p15-s72490337.cnf	? (TO)	5000.11	4999.93	3445908
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g10.cnf	? (TO)	5000.11	4999.93	3445627
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-040-039.shuffled-as.sat05-1194.cnf	? (TO)	5000.11	5000.12	3445854
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-020-019.shuffled-as.sat05-1232.cnf	? (TO)	5000.11	5000.02	3445857
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf	? (TO)	5000.11	4999.92	3445788
crafted/skvortsov/ automata-synchronization/crn_20_361_s.cnf	? (TO)	5000.11	5000.02	3445731
crafted/mosoi/289/ 289-unsat-14x34.cnf	? (TO)	5000.11	5000.03	3445719
crafted/mosoi/289/ 289-unsat-9x32.cnf	? (TO)	5000.11	4999.92	3445714
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-045-035.shuffled-as.sat05-1181.cnf	? (TO)	5000.11	4999.93	3445852
crafted/mosoi/289/ 289-unsat-6x40.cnf	? (TO)	5000.11	4999.92	3445715
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g4.cnf	? (TO)	5000.12	5000.02	3445636
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf	? (TO)	5000.12	5000.33	3445893
SAT05/crafted/sorge05/QG7a/ gensys-ukn006.shuffled-as.sat05-3846.cnf	? (TO)	5000.12	4999.92	3445866
SAT03/handmade/anton/UNSAT/ SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf	? (TO)	5000.12	4999.92	3445801
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf	? (TO)	5000.12	5000.02	3445794
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf	? (TO)	5000.12	5000.02	3445793
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf	? (TO)	5000.12	5000.02	3445792
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf	? (TO)	5000.12	5000.12	3445790
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf	? (TO)	5000.12	4999.93	3445906
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf	? (TO)	5000.12	5000.03	3445902
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_507.cnf	? (TO)	5000.12	5000.02	3445774
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_464.cnf	? (TO)	5000.12	5000.02	3445773
crafted/mosoi/289/ 289-unsat-6x30.cnf	? (TO)	5000.12	5000.02	3445697
crafted/mosoi/289/ 289-unsat-6x34.cnf	? (TO)	5000.12	5000.02	3445694
crafted/spence/sgen/ sgen3-n180-s33098896-unsat.cnf	? (TO)	5000.12	5000.12	3445677
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes10.cnf	? (TO)	5000.12	4999.92	3445670
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g6.cnf	? (TO)	5000.12	4999.93	3445655
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	5000.12	5000.12	3445649
CRAFTED/rbsat/random/forced/ rbsat-v2640c305320gyes10.cnf	? (TO)	5000.12	5000.12	3445650
crafted/skvortsov/ automata-synchronization/crn_20_360_u.cnf	? (TO)	5000.12	4999.92	3445726
crafted/mosoi/289/ 289-unsat-21x39.cnf	? (TO)	5000.12	5000.04	3445721
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g9.cnf	? (TO)	5000.12	5000.02	3445632
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes6.cnf	? (TO)	5000.12	4999.92	3445666
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g7.cnf	? (TO)	5000.12	5000.02	3445657
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes1.cnf	? (TO)	5000.13	5000.54	3445652
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4231.cnf	? (TO)	5000.13	5000.05	3445763

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

Result page for solver MPhaseSAT 2011-02-15 (complete)

Category "crafted instances" (CRAFTED)

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

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

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