SAT 2007 Competition Phase 1: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	1.51477	1.46818	331939
industrial/babic/xinetd/ xinetd_vc56687.cnf	UNSAT	1.52077	1.4718	331927
industrial/babic/ xinetd/itox_vc965.cnf	UNSAT	1.58576	1.60786	331933
industrial/babic/ xinetd/itox_vc979.cnf	UNSAT	1.69874	1.65146	331945
industrial/babic/ xinetd/itox_vc1216.cnf	UNSAT	2.01769	1.90618	331937
industrial/jarvisalo/ eq.atree.braun.7.unsat.cnf	UNSAT	6.77097	6.45383	331845
industrial/babic/hsatv17/ hsat_vc12072.cnf	UNSAT	9.8385	9.50536	331823
industrial/babic/hsatv17/ hsat_vc11944.cnf	UNSAT	14.6918	14.0969	331835
industrial/babic/hsatv17/ hsat_vc11935.cnf	UNSAT	18.5192	18.3766	331831
industrial/babic/dspam/ dspam_dump_vc973.cnf	UNSAT	20.2059	20.0271	331813
industrial/palacios/medium/ cube-9-h10-unsat.cnf	UNSAT	24.9312	24.4686	331783
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	27.9178	27.5659	331841
industrial/babic/hsatv17/ hsat_vc12070.cnf	UNSAT	31.4032	30.7651	331827
industrial/babic/hsatv17/ hsat_vc12016.cnf	UNSAT	34.7567	34.2393	331837
industrial/babic/hsatv17/ hsat_vc11773.cnf	UNSAT	43.9223	43.6345	331825
industrial/babic/hsatv17/ hsat_vc11817.cnf	UNSAT	56.9523	56.641	331839
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	76.2224	75.9197	331853
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	91.1051	90.6037	331625
industrial/anbulagan/ medium-unsat/dated-10-15-u.cnf	UNSAT	95.4415	94.9432	331627
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	242.425	241.937	331833
industrial/palacios/uts/ uts-l06-ipc5-h29-unknown.cnf	UNSAT	254.551	254.026	331765
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	287.643	287.097	331633
industrial/narain/ clauses-10.cnf	UNSAT	314.709	296.66	331923
industrial/anbulagan/ medium-unsat/total-10-11-u.cnf	UNSAT	320.088	319.607	331629
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	365.229	364.972	331829
industrial/babic/ dspam/dspam_dump_vc1093.cnf	UNSAT	395.219	396.622	331803
industrial/fuhs/medium/ AProVE07-22.cnf	UNSAT	400.11	399.69	331723
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	421.426	421.003	331781
industrial/palacios/medium/ cube-11-h13-unsat.cnf	UNSAT	465.561	463.961	331787
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k25.cnf	UNSAT	568.11	567.687	332007
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	UNSAT	625.126	624.798	331631
industrial/fuhs/medium/ AProVE07-15.cnf	UNSAT	642.595	642.307	331727
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	670.19	669.917	331769
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT	811.033	810.658	331777
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	923.567	923.479	331849
industrial/fuhs/medium/ AProVE07-20.cnf	UNSAT	978.57	978.082	331731
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	979.881	979.576	331801
industrial/fuhs/medium/ AProVE07-06.cnf	UNSAT	1009.63	1010.29	331729
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	1164.41	1163.98	331779
industrial/fuhs/medium/ AProVE07-16.cnf	UNSAT	1173.86	1173.12	331735
industrial/palacios/uts/ uts-l06-ipc5-h30-unknown.cnf	UNSAT	1197.85	1197.51	331771

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/narain/ clauses-2.cnf	SAT	13.404	12.8105	331917
industrial/babic/ xinetd/itox_vc1138.cnf	SAT	20.2279	19.6672	331943
industrial/babic/ xinetd/itox_vc909.cnf	SAT	21.0438	20.7163	331935
industrial/babic/ xinetd/itox_vc1033.cnf	SAT	24.1683	23.6541	331941
industrial/babic/ xinetd/itox_vc1044.cnf	SAT	26.249	25.6589	331931
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	62.2705	61.6291	331767
industrial/babic/ xinetd/itox_vc1130.cnf	SAT	74.4987	73.8718	331929
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	SAT	108.142	90.8961	332073
industrial/palacios/ medium/cube-9-h11-sat.cnf	SAT	114.782	114.256	331791
industrial/crypto/ mizh-sha0-35-2.cnf	SAT	169.646	169.133	331871
industrial/grieu/ vmpc_24.cnf	SAT	172.101	171.726	331885
industrial/palacios/medium/ emptyroom-4-h22-sat.cnf	SAT	243.752	243.243	331793
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug3.cnf	SAT	245.154	228	332085
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug10.cnf	SAT	307.221	289.803	332075
industrial/narain/ clauses-4.cnf	SAT	324.834	323.147	331921
industrial/grieu/ vmpc_27.cnf	SAT	385.291	384.959	331879
industrial/crypto/ mizh-sha0-35-4.cnf	SAT	403.816	403.467	331859
industrial/crypto/ mizh-sha0-35-3.cnf	SAT	572.542	571.77	331857
industrial/crypto/ mizh-sha0-35-5.cnf	SAT	593.987	593.149	331867
industrial/anbulagan/ medium-sat/dated-10-13-s.cnf	SAT	676.207	674.885	331661
industrial/narain/ clauses-6.cnf	SAT	698.979	695.149	331925
industrial/ crypto/mizh-md5-47-4.cnf	SAT	718.718	717.851	331863
industrial/grieu/ vmpc_25.cnf	SAT	972.985	972.507	331877
industrial/ crypto/mizh-md5-47-3.cnf	SAT	1061.15	1060.42	331865
industrial/anbulagan/ medium-sat/total-5-19-s.cnf	SAT	1086.26	1084.63	331659

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/palacios/ medium/sortnet-7-ipc5-h16-sat.cnf	? (TO)	1200.06	1199.74	331797
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.06	1199.85	331751
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k40.cnf	? (TO)	1200.07	1199.36	331991
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.08	1199.07	331701
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.08	1199.57	331883
industrial/grieu/ vmpc_26.cnf	? (TO)	1200.08	1199.96	331895
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1200.09	1199.16	331739
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	? (TO)	1200.09	1199.07	331707
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	? (TO)	1200.09	1200.07	331855
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	? (TO)	1200.09	1199.36	331949
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.09	1199.29	331713
industrial/fuhs/medium/ AProVE07-21.cnf	? (TO)	1200.1	1199.87	331725
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1200.1	1198.47	331759
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.1	1199.77	331743
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.1	1199.58	331843
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k15.cnf	? (TO)	1200.1	1199.77	331951
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k75.cnf	? (TO)	1200.1	1199.37	332013
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k30.cnf	? (TO)	1200.1	1199.48	332047
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k25.cnf	? (TO)	1200.1	1199.58	332041
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k95.cnf	? (TO)	1200.1	1199.07	332027
industrial/anbulagan/ hard-sat/partial-5-19-s.cnf	? (TO)	1200.11	1198.19	331639
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.11	1198.67	331669
industrial/grieu/ vmpc_30.cnf	? (TO)	1200.11	1200.01	331881
industrial/ crypto/mizh-md5-48-2.cnf	? (TO)	1200.11	1199.18	331861
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	? (TO)	1200.11	1199.59	331965
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k70.cnf	? (TO)	1200.11	1199.57	331959
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k90.cnf	? (TO)	1200.11	1199.29	332015
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k45.cnf	? (TO)	1200.11	1199.5	332017
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k10.cnf	? (TO)	1200.11	1199.61	331969
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k85.cnf	? (TO)	1200.11	1199.26	331997
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k50.cnf	? (TO)	1200.11	1199.58	331971
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k50.cnf	? (TO)	1200.11	1199.27	332003
industrial/palacios/hard/ sortnet-6-ipc5-h11-unsat.cnf	? (TO)	1200.12	1199.84	331761
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	1200.12	1197.09	331755
industrial/palacios/medium/ safe-30-h30-sat.cnf	? (TO)	1200.12	1199.11	331795
industrial/babic/dspam/ dspam_dump_vc962.cnf	? (TO)	1200.12	1198.79	331805
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k95.cnf	? (TO)	1200.12	1199.11	331999
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k70.cnf	? (TO)	1200.12	1199.19	331995
industrial/anbulagan/ hard-unsat/total-5-19-u.cnf	? (TO)	1200.12	1199.07	331691
industrial/anbulagan/ medium-sat/total-10-19-s.cnf	? (TO)	1200.13	1198.01	331651
industrial/anbulagan/ medium-sat/total-10-17-s.cnf	? (TO)	1200.13	1198.12	331657
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k35.cnf	? (TO)	1200.13	1199.37	332031
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k45.cnf	? (TO)	1200.13	1199.31	331989
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k70.cnf	? (TO)	1200.13	1199.27	332025
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k40.cnf	? (TO)	1200.13	1199.6	331955
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	? (TO)	1200.13	1199.58	331979
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k25.cnf	? (TO)	1200.13	1199.99	331975
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k65.cnf	? (TO)	1200.13	1199.41	332035
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	? (TO)	1200.13	1199.36	332037
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k35.cnf	? (TO)	1200.13	1199.41	332001
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k60.cnf	? (TO)	1200.13	1199.56	331973
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k60.cnf	? (TO)	1200.13	1199.51	332005
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k15.cnf	? (TO)	1200.13	1200.18	332043
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k40.cnf	? (TO)	1200.13	1199.39	332033
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	? (TO)	1200.14	1198.41	331637
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1200.14	1200.07	331737
industrial/fuhs/medium/ AProVE07-02.cnf	? (TO)	1200.14	1199.85	331717
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1200.14	1199.12	331757
industrial/palacios/uts/ uts-l06-ipc5-h34-unknown.cnf	? (TO)	1200.14	1198.98	331763
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1200.14	1200.08	331747
industrial/fuhs/hard/ AProVE07-03.cnf	? (TO)	1200.14	1199.67	331741
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k35.cnf	? (TO)	1200.14	1199.3	331967
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k100.cnf	? (TO)	1200.14	1199.1	332049
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k85.cnf	? (TO)	1200.14	1199.61	331961
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k75.cnf	? (TO)	1200.14	1199.69	331981
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k90.cnf	? (TO)	1200.14	1199.61	331983
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k55.cnf	? (TO)	1200.14	1199.37	331985
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	? (TO)	1200.15	1198.97	331687
industrial/anbulagan/ hard-sat/partial-10-19-s.cnf	? (TO)	1200.15	1199.22	331641
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (TO)	1200.15	1198.5	331663
industrial/palacios/uts/ uts-l06-ipc5-h32-unknown.cnf	? (TO)	1200.15	1199.12	331773
industrial/babic/ dspam/dspam_dump_vc1080.cnf	? (TO)	1200.15	1198.73	331821
industrial/ crypto/mizh-md5-48-5.cnf	? (TO)	1200.15	1199.28	331869
industrial/manolios/ manol-pipe-c10nidw_s.cnf	? (TO)	1200.15	1198.61	331903
industrial/babic/dspam/ dspam_dump_vc972.cnf	? (TO)	1200.15	1198.54	331809
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.15	1199.66	331893
industrial/manolios/ manol-pipe-g10nid.cnf	? (TO)	1200.15	1198.52	331911
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k30.cnf	? (TO)	1200.15	1199.21	331993
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k80.cnf	? (TO)	1200.15	1199.29	331987
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k100.cnf	? (TO)	1200.15	1199.39	332011
industrial/anbulagan/ hard-unsat/total-10-15-u.cnf	? (TO)	1200.15	1198.61	331695
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.15	1200.17	331851
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200.16	1198.73	331679
industrial/anbulagan/ hard-unsat/dated-10-13-u.cnf	? (TO)	1200.16	1199.09	331699
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	1200.16	1200.1	331623
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1200.16	1198.66	331749
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.16	1198.99	331705
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200.16	1199.59	331847
industrial/manolios/ manol-pipe-c7nidw.cnf	? (TO)	1200.16	1199.18	331901
industrial/manolios/ manol-pipe-g10bidw.cnf	? (TO)	1200.16	1198.33	331905
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k20.cnf	? (TO)	1200.16	1199.88	332029
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1200.16	1193.75	332067
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k85.cnf	? (TO)	1200.16	1199.16	332051
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k60.cnf	? (TO)	1200.16	1199.37	332019
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k95.cnf	? (TO)	1200.16	1199.58	331963
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k50.cnf	? (TO)	1200.16	1199.41	332021
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k30.cnf	? (TO)	1200.16	1199.68	331957
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k65.cnf	? (TO)	1200.16	1199.5	332009
industrial/crypto/ mizh-sha0-36-2.cnf	? (TO)	1200.16	1199.14	331873
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1200.17	1198.5	331643
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.17	1199.3	331675
industrial/manolios/ manol-pipe-f7idw.cnf	? (TO)	1200.17	1199.12	331897
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k55.cnf	? (TO)	1200.17	1199.69	331947
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	? (TO)	1200.17	1199.69	331953
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (TO)	1200.18	1198.99	331697
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	? (TO)	1200.18	1198.41	331653
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.18	1198.23	331671
industrial/manolios/ manol-pipe-c7bidw_i.cnf	? (TO)	1200.18	1199.71	331913
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	? (TO)	1200.18	1199.2	331799
industrial/grieu/ vmpc_29.cnf	? (TO)	1200.18	1199.69	331889
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k65.cnf	? (TO)	1200.18	1199.57	331977
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	? (TO)	1200.18	1199.3	332023
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (TO)	1200.18	1192.06	332065
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200.18	1198.39	331709
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200.19	1198.29	331635
industrial/anbulagan/ medium-sat/partial-5-11-s.cnf	? (TO)	1200.19	1199.1	331655
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.19	1197.92	331715
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	? (TO)	1200.19	1199.01	331775
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.19	1199.61	331789
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1200.19	1197.82	331785
industrial/babic/ dspam/dspam_dump_vc1081.cnf	? (TO)	1200.19	1198.94	331817
industrial/ manolios/manol-pipe-f9n.cnf	? (TO)	1200.19	1199.1	331909
industrial/ crypto/mizh-md5-47-5.cnf	? (TO)	1200.19	1199.5	331875
industrial/grieu/ vmpc_31.cnf	? (TO)	1200.19	1199.7	331887
industrial/ manolios/manol-pipe-f9b.cnf	? (TO)	1200.19	1199.11	331899
industrial/manolios/ manol-pipe-f10ni.cnf	? (TO)	1200.19	1198.3	331915
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k75.cnf	? (TO)	1200.19	1199.28	332039
industrial/fuhs/medium/ AProVE07-04.cnf	? (TO)	1200.19	1199.8	331733
industrial/anbulagan/ hard-unsat/partial-10-17-u.cnf	? (TO)	1200.2	1197.84	331681
industrial/anbulagan/ medium-sat/dated-10-17-s.cnf	? (TO)	1200.2	1198.23	331665
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200.2	1198.5	331645
industrial/anbulagan/ hard-sat/partial-10-11-s.cnf	? (TO)	1200.2	1199.24	331647
industrial/anbulagan/ hard-unsat/partial-10-15-u.cnf	? (TO)	1200.2	1198.4	331677
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	1200.2	1198.71	331745
industrial/manolios/ manol-pipe-c6nidw_i.cnf	? (TO)	1200.2	1199.49	331907
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k90.cnf	? (TO)	1200.2	1199.4	332045
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.21	1198.54	331685
industrial/fuhs/medium/ AProVE07-11.cnf	? (TO)	1200.21	1194.05	331721
industrial/anbulagan/ hard-unsat/dated-10-11-u.cnf	? (TO)	1200.21	1207.53	331693
industrial/babic/dspam/ dspam_dump_vc950.cnf	? (TO)	1200.21	1199.02	331815
industrial/palacios/hard/ safe-50-h50-sat.cnf	? (TO)	1200.21	1197.41	331753
industrial/anbulagan/ hard-unsat/partial-10-11-u.cnf	? (TO)	1200.21	1198.73	331703
industrial/anbulagan/ medium-sat/total-10-15-s.cnf	? (TO)	1200.22	1198.13	331667
industrial/anbulagan/ hard-unsat/partial-5-19-u.cnf	? (TO)	1200.22	1198.63	331673
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	1200.23	1196.84	332063
industrial/anbulagan/ medium-sat/total-5-17-s.cnf	? (TO)	1200.24	1198.54	331649
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.24	1198.76	331711
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	1200.24	1195.11	332053
industrial/narain/ clauses-8.cnf	? (TO)	1200.24	1188.05	331919
industrial/babic/dspam/ dspam_dump_vc949.cnf	? (TO)	1200.26	1198.76	331819
industrial/babic/ dspam/dspam_dump_vc1104.cnf	? (TO)	1200.26	1198.06	331811
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	1200.26	1195.9	332061
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	1200.26	1196.3	332069
industrial/grieu/ vmpc_28.cnf	? (TO)	1200.83	1200.31	331891
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	1200.83	1192.88	332059
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1201.26	1199.48	331683
industrial/fuhs/medium/ AProVE07-09.cnf	? (TO)	1201.38	1200.13	331719
industrial/babic/ dspam/dspam_dump_vc1103.cnf	? (TO)	1201.54	1199.82	331807
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1201.74	1199.83	331689
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	1202.16	1197.93	332057

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	? (MO)	39.696	33.2767	332071
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (MO)	47.3768	36.7818	332055
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug2.cnf	? (MO)	47.4298	37.128	332087
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	? (MO)	47.6428	37.2277	332089
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug4.cnf	? (MO)	47.7807	37.5544	332079
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug9.cnf	? (MO)	47.8477	37.811	332077
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug7.cnf	? (MO)	47.8617	37.6515	332081
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug1.cnf	? (MO)	47.9547	37.5483	332083

SAT 2007 Competition Phase 1: benchmarks results per solver

Result page for solver SAT4J JVM PARAM CHANGED SAT 2007

Category "industrial instances" (INDUST)

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

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

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

Solver exceeded the memory limit (no solution given) (8 runs) [Show/Hide]