SAT 2007 Competition Phase 2: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	0.31995	0.322467	356585
industrial/babic/xinetd/ xinetd_vc56687.cnf	UNSAT	0.332949	0.337306	356561
industrial/babic/ xinetd/itox_vc965.cnf	UNSAT	0.364943	0.370551	356573
industrial/babic/dspam/ dspam_dump_vc962.cnf	UNSAT	2.15867	2.16161	356390
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	2.26765	2.27103	356415
industrial/babic/dspam/ dspam_dump_vc950.cnf	UNSAT	2.35464	2.36346	356409
industrial/babic/ dspam/dspam_dump_vc1093.cnf	UNSAT	2.39064	2.50974	356387
industrial/babic/ dspam/dspam_dump_vc1080.cnf	UNSAT	2.77958	2.78328	356419
industrial/babic/ dspam/dspam_dump_vc1081.cnf	UNSAT	2.80157	2.82339	356412
industrial/babic/hsatv17/ hsat_vc11944.cnf	UNSAT	3.70244	3.70548	356446
industrial/babic/hsatv17/ hsat_vc11935.cnf	UNSAT	3.88741	3.89699	356438
industrial/babic/hsatv17/ hsat_vc12016.cnf	UNSAT	4.08838	4.33341	356450
industrial/babic/ xinetd/itox_vc979.cnf	UNSAT	4.14337	4.15112	356597
industrial/babic/ xinetd/itox_vc1216.cnf	UNSAT	5.00024	5.00993	356581
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	5.18321	5.18694	356458
industrial/babic/dspam/ dspam_dump_vc973.cnf	UNSAT	5.21121	5.22312	356405
industrial/babic/hsatv17/ hsat_vc12070.cnf	UNSAT	5.44817	5.46552	356430
industrial/babic/ dspam/dspam_dump_vc1103.cnf	UNSAT	5.65914	5.66945	356394
industrial/jarvisalo/ eq.atree.braun.7.unsat.cnf	UNSAT	6.28104	6.2999	356461
industrial/babic/dspam/ dspam_dump_vc972.cnf	UNSAT	7.49786	7.50693	356397
industrial/babic/hsatv17/ hsat_vc12072.cnf	UNSAT	7.85381	7.86031	356422
industrial/babic/hsatv17/ hsat_vc11773.cnf	UNSAT	8.25375	8.26868	356426
industrial/babic/ dspam/dspam_dump_vc1104.cnf	UNSAT	8.28374	8.29372	356401
industrial/babic/hsatv17/ hsat_vc11817.cnf	UNSAT	8.84166	8.85486	356454
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	9.42457	9.46012	356442
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	13.45	13.4713	356434
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	UNSAT	21.2898	21.3245	356242
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	UNSAT	28.4617	28.5243	356326
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	UNSAT	30.3254	30.3665	356349
industrial/anbulagan/ medium-unsat/dated-10-15-u.cnf	UNSAT	33.6729	33.6959	356246
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	34.3688	34.444	356373
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	UNSAT	35.9555	35.9989	356345
industrial/palacios/uts/ uts-l06-ipc5-h29-unknown.cnf	UNSAT	47.7567	47.7885	356318
industrial/palacios/medium/ cube-9-h10-unsat.cnf	UNSAT	51.9541	51.9973	356353
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	UNSAT	63.2484	63.2793	356369
industrial/palacios/uts/ uts-l06-ipc5-h30-unknown.cnf	UNSAT	68.3346	68.4062	356330
industrial/anbulagan/ medium-unsat/total-10-11-u.cnf	UNSAT	81.8376	81.8841	356250
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	UNSAT	88.6435	88.724	356258
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	106.136	106.174	356468
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	UNSAT	158.666	158.726	356341
industrial/palacios/uts/ uts-l06-ipc5-h32-unknown.cnf	UNSAT	188.013	188.465	356334
industrial/manolios/ manol-pipe-c10nidw_s.cnf	UNSAT	203.911	204.038	356529
industrial/fuhs/medium/ AProVE07-15.cnf	UNSAT	252.881	252.98	356297
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	UNSAT	282.282	282.372	356356
industrial/manolios/ manol-pipe-c6nidw_i.cnf	UNSAT	289.121	289.327	356536
industrial/manolios/ manol-pipe-f7idw.cnf	UNSAT	297.527	297.656	356522
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	UNSAT	300.384	300.6	356254
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k25.cnf	UNSAT	319.181	319.286	356601
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	UNSAT	454.645	454.842	356617
industrial/manolios/ manol-pipe-g10bidw.cnf	UNSAT	458.616	458.986	356532
industrial/fuhs/medium/ AProVE07-22.cnf	UNSAT	484.479	484.658	356292
industrial/manolios/ manol-pipe-g10nid.cnf	UNSAT	491.979	492.122	356541
industrial/palacios/medium/ cube-11-h13-unsat.cnf	UNSAT	619.807	620.241	356355
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k15.cnf	UNSAT	697.585	697.862	356614
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	UNSAT	725.638	725.875	356337
industrial/fuhs/medium/ AProVE07-16.cnf	UNSAT	732.592	732.875	356309
industrial/fuhs/medium/ AProVE07-06.cnf	UNSAT	839.581	839.853	356301
industrial/narain/ clauses-10.cnf	UNSAT	867.721	868.512	356555
industrial/manolios/ manol-pipe-c7nidw.cnf	UNSAT	957.236	957.586	356526
industrial/ manolios/manol-pipe-f9n.cnf	UNSAT	1165.02	1165.44	356539
industrial/manolios/ manol-pipe-c7bidw_i.cnf	UNSAT	1182.49	1183.38	355799
industrial/fuhs/medium/ AProVE07-04.cnf	UNSAT	1246.83	1247.62	355768
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	1280.95	1281.51	355786
industrial/fuhs/medium/ AProVE07-20.cnf	UNSAT	1283.41	1283.78	355767
industrial/ manolios/manol-pipe-f9b.cnf	UNSAT	1284.8	1285.23	355798
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	UNSAT	1494.44	1494.81	355856
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	UNSAT	2252.89	2253.62	355860
industrial/fuhs/medium/ AProVE07-02.cnf	UNSAT	3349.2	3350.1	355764
industrial/manolios/ manol-pipe-f10ni.cnf	UNSAT	3465.29	3466.83	355800
industrial/fuhs/medium/ AProVE07-21.cnf	UNSAT	3854.48	3855.48	355766
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	UNSAT	4918.98	4922.63	355730
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	UNSAT	4997	4998.97	355749
industrial/anbulagan/ hard-unsat/dated-10-13-u.cnf	UNSAT	7838.09	7840.78	355755
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	UNSAT	8853.81	8856.73	355754
industrial/palacios/hard/ sortnet-6-ipc5-h11-unsat.cnf	UNSAT	9741.9	9745.55	355781

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/narain/ clauses-2.cnf	SAT	4.33234	4.36083	356547
industrial/grieu/ vmpc_24.cnf	SAT	4.66829	4.67152	356512
industrial/babic/ xinetd/itox_vc909.cnf	SAT	5.9451	6.00347	356577
industrial/babic/ xinetd/itox_vc1033.cnf	SAT	6.42202	6.5385	356589
industrial/babic/ xinetd/itox_vc1044.cnf	SAT	7.13192	7.14423	356569
industrial/babic/ xinetd/itox_vc1130.cnf	SAT	7.65583	7.68291	356565
industrial/babic/ xinetd/itox_vc1138.cnf	SAT	7.72682	7.81656	356593
industrial/anbulagan/ medium-sat/dated-10-17-s.cnf	SAT	15.8256	15.8437	356280
industrial/anbulagan/ medium-sat/total-10-17-s.cnf	SAT	17.5383	17.5693	356270
industrial/anbulagan/ medium-sat/dated-10-13-s.cnf	SAT	19.0121	19.0343	356276
industrial/anbulagan/ medium-sat/total-10-19-s.cnf	SAT	32.687	32.7202	356264
industrial/palacios/medium/ safe-30-h30-sat.cnf	SAT	56.3934	56.445	356363
industrial/anbulagan/ medium-sat/total-5-17-s.cnf	SAT	58.2291	58.2697	356262
industrial/palacios/uts/ uts-l06-ipc5-h34-unknown.cnf	SAT	59.9589	60.1394	356314
industrial/anbulagan/ medium-sat/total-5-19-s.cnf	SAT	65.2111	65.2772	356273
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	SAT	81.9215	82.0364	356266
industrial/palacios/ medium/cube-9-h11-sat.cnf	SAT	89.8673	89.9151	356358
industrial/grieu/ vmpc_27.cnf	SAT	90.4223	90.4594	356507
industrial/narain/ clauses-4.cnf	SAT	94.8546	94.9781	356551
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	SAT	100.003	100.126	356322
industrial/anbulagan/ medium-sat/total-10-15-s.cnf	SAT	110.489	110.554	356282
industrial/fuhs/medium/ AProVE07-11.cnf	SAT	172.167	173.214	356288
industrial/ crypto/mizh-md5-47-5.cnf	SAT	197.693	197.86	356499
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	SAT	271.524	271.714	356656
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug7.cnf	SAT	275.244	275.485	356640
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug3.cnf	SAT	278.621	278.996	356648
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug9.cnf	SAT	312.678	313.002	356632
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	SAT	329.725	330.303	356624
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug2.cnf	SAT	337.554	337.93	356652
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug10.cnf	SAT	340.417	340.709	356628
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug1.cnf	SAT	352.649	352.871	356644
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	390.484	391.873	356620
industrial/palacios/medium/ emptyroom-4-h22-sat.cnf	SAT	427.075	427.249	356360
industrial/grieu/ vmpc_26.cnf	SAT	427.522	427.709	356520
industrial/ crypto/mizh-md5-48-5.cnf	SAT	453.359	453.675	356491
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug4.cnf	SAT	458.747	459.212	356636
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k75.cnf	SAT	558.765	559.026	356611
industrial/crypto/ mizh-sha0-35-5.cnf	SAT	571.321	571.51	356488
industrial/grieu/ vmpc_25.cnf	SAT	628.621	628.857	356503
industrial/crypto/ mizh-sha0-35-4.cnf	SAT	633.876	634.168	356476
industrial/crypto/ mizh-sha0-35-2.cnf	SAT	729.864	730.141	356494
industrial/crypto/ mizh-sha0-35-3.cnf	SAT	809.234	809.48	356472
industrial/grieu/ vmpc_28.cnf	SAT	866.676	867.092	356516
industrial/palacios/hard/ safe-50-h50-sat.cnf	SAT	1290.08	1290.79	355777
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k85.cnf	SAT	1493.87	1494.41	355852
industrial/narain/ clauses-6.cnf	SAT	1584.55	1585.6	355802
industrial/palacios/medium/ cube-11-h14-sat.cnf	SAT	1614.73	1615.78	355782
industrial/anbulagan/ medium-sat/partial-5-11-s.cnf	SAT	1668.8	1670.09	355738
industrial/ crypto/mizh-md5-47-3.cnf	SAT	1769.55	1770.01	355791
industrial/ crypto/mizh-md5-47-4.cnf	SAT	2507.76	2509.03	355790
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k90.cnf	SAT	3078.55	3079.59	355849
industrial/crypto/ mizh-sha0-36-2.cnf	SAT	3123.45	3125.84	355792
industrial/palacios/ medium/sortnet-7-ipc5-h16-sat.cnf	SAT	3248.26	3249.37	355783
industrial/ crypto/mizh-md5-48-2.cnf	SAT	6853.36	6856.02	355789
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	SAT	7461.9	7466.96	355840

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k75.cnf	? (TO)	10000	10004	355835
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k25.cnf	? (TO)	10000	10003.1	355817
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k65.cnf	? (TO)	10000	10003.5	355818
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	? (TO)	10000	10003.1	355819
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k75.cnf	? (TO)	10000	10003.3	355820
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k55.cnf	? (TO)	10000	10003.2	355822
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k80.cnf	? (TO)	10000	10007.1	355823
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k45.cnf	? (TO)	10000	10003	355824
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k40.cnf	? (TO)	10000	10003.1	355825
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k70.cnf	? (TO)	10000	10002.8	355827
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	10000	10005.4	355750
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	10000	10002.8	355740
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	10000	10002.9	355747
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	? (TO)	10000	10002.7	355759
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k30.cnf	? (TO)	10000	10003.1	355808
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	10000	10002.9	355743
industrial/anbulagan/ hard-unsat/total-5-19-u.cnf	? (TO)	10000	10003.3	355751
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	10000	10003.8	355758
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	10000	10003.1	355762
industrial/fuhs/medium/ AProVE07-09.cnf	? (TO)	10000	10006	355765
industrial/fuhs/hard/ AProVE07-03.cnf	? (TO)	10000	10003	355771
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	10000	10002.8	355774
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	10000	10003.3	355779
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	10000	10005.7	355780
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	10000	10003	355787
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	10000	10003.8	355785
industrial/grieu/ vmpc_31.cnf	? (TO)	10000	10002.9	355795
industrial/grieu/ vmpc_34.cnf	? (TO)	10000	10003	355797
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k55.cnf	? (TO)	10000	10006.7	355803
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k40.cnf	? (TO)	10000	10002.5	355807
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	? (TO)	10000	10003.1	355812
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k10.cnf	? (TO)	10000	10003.8	355814
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k50.cnf	? (TO)	10000	10003	355815
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k60.cnf	? (TO)	10000	10004.3	355816
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k60.cnf	? (TO)	10000	10004	355832
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	? (TO)	10000	10003.5	355804
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k20.cnf	? (TO)	10000	10002.8	355843
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k35.cnf	? (TO)	10000	10004.6	355844
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k40.cnf	? (TO)	10000	10002.9	355845
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	? (TO)	10000	10002.6	355847
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k30.cnf	? (TO)	10000	10003	355850
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k100.cnf	? (TO)	10000	10005.5	355851
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k25.cnf	? (TO)	10000.1	10003.2	355848
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	10000.1	10002.9	355770
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k90.cnf	? (TO)	10000.1	10003.3	355821
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k30.cnf	? (TO)	10000.1	10005.8	355826
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k85.cnf	? (TO)	10000.1	10002.7	355828
industrial/anbulagan/ hard-unsat/dated-10-11-u.cnf	? (TO)	10000.1	10006	355752
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k50.cnf	? (TO)	10000.1	10006.3	355839
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k60.cnf	? (TO)	10000.1	10002.8	355838
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k45.cnf	? (TO)	10000.1	10002.8	355837
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k65.cnf	? (TO)	10000.1	10003.1	355833
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k50.cnf	? (TO)	10000.1	10003.3	355831
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	? (TO)	10000.1	10003.1	355806
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	10000.1	10003	355756
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	10000.1	10002.7	355769
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	10000.1	10005.5	355772
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	10000.1	10002.9	355773
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	10000.1	10002.8	355775
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	10000.1	10003	355776
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	10000.1	10002.6	355784
industrial/grieu/ vmpc_29.cnf	? (TO)	10000.1	10003.8	355796
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	? (TO)	10000.1	10002.8	355788
industrial/grieu/ vmpc_30.cnf	? (TO)	10000.1	10002.7	355793
industrial/grieu/ vmpc_33.cnf	? (TO)	10000.1	10007.5	355794
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k70.cnf	? (TO)	10000.1	10002.9	355809
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k85.cnf	? (TO)	10000.1	10003	355810
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k95.cnf	? (TO)	10000.1	10006.4	355811
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k35.cnf	? (TO)	10000.1	10003.3	355813
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k15.cnf	? (TO)	10000.1	10002.9	355805
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k95.cnf	? (TO)	10000.1	10007	355829
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k35.cnf	? (TO)	10000.1	10007.1	355830
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k100.cnf	? (TO)	10000.1	10006.3	355834
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k90.cnf	? (TO)	10000.1	10007	355836
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k95.cnf	? (TO)	10000.1	10003.2	355842
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k65.cnf	? (TO)	10000.1	10003.5	355846
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	10000.1	10003.2	355778

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (MO)	1428.76	1429.21	355858
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (MO)	1447.26	1448.51	355855
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (MO)	2190.76	2192.11	355854
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (MO)	2847.39	2848.11	355763
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (MO)	3021.62	3022.51	355859
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (MO)	3373.32	3374.51	355853
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (MO)	3556.09	3557.21	355745
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (MO)	3716.91	3719.61	355760
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (MO)	3816.61	3817.81	355735
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	? (MO)	3844.56	3845.91	355732
industrial/anbulagan/ hard-unsat/partial-5-19-u.cnf	? (MO)	3883.32	3884.81	355742
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (MO)	3888.18	3889.41	355736
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (MO)	4265.63	4267.41	355857
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (MO)	4265.75	4267.51	355739
industrial/anbulagan/ hard-unsat/partial-10-15-u.cnf	? (MO)	4304.53	4305.81	355744
industrial/anbulagan/ hard-sat/partial-5-19-s.cnf	? (MO)	4388.99	4390.21	355733
industrial/anbulagan/ hard-sat/partial-10-11-s.cnf	? (MO)	4428.42	4431.11	355737
industrial/anbulagan/ hard-unsat/partial-10-11-u.cnf	? (MO)	4439.96	4441.41	355757
industrial/anbulagan/ hard-unsat/partial-10-17-u.cnf	? (MO)	4477.48	4478.91	355746
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (MO)	4600.98	4602.21	355748
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (MO)	4673.26	4674.71	355741
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (MO)	4724.58	4726.01	355731
industrial/anbulagan/ hard-unsat/total-10-15-u.cnf	? (MO)	5492.71	5494.42	355753
industrial/anbulagan/ hard-sat/partial-10-19-s.cnf	? (MO)	5513.62	5517.72	355734
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (MO)	6147.9	6150.31	355761
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k70.cnf	? (MO)	6785.5	6787.41	355841
industrial/narain/ clauses-8.cnf	? (MO)	8331.13	8334.72	355801

SAT 2007 Competition Phase 2: benchmarks results per solver

Result page for solver TiniSatELite 2007-02-08

Category "industrial instances" (INDUST)

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

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

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

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