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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/industrial/biere/ dinphil/dp04u03.shuffled.cnf	UNSAT	0.011997	0.011914	3309179
application/leberre/ 2dimensionalstrippacking/E07N15.cnf	UNSAT	0.031994	0.0322831	3309032
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	UNSAT	0.075987	0.076686	3309035
SAT02/industrial/goldberg/rand_net/ rand_net60-30-1.shuffled.cnf	UNSAT	0.154975	0.161261	3309155
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf	UNSAT	0.365944	0.367006	3308786
APPLICATIONS/bitverif/ minandmaxor/minandmaxor016.cnf	UNSAT	0.38994	0.397074	3308438
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf	UNSAT	1.09983	1.10061	3308819
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	1.3068	1.31177	3308360
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf	UNSAT	1.48877	1.49102	3308822
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf	UNSAT	1.56676	1.57019	3308843
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf	UNSAT	1.99969	2.00019	3308810
application/leberre/ 2dimensionalstrippacking/E03N17.cnf	UNSAT	2.10668	2.11102	3308999
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	UNSAT	2.44963	2.45671	3309023
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	3.23951	3.24293	3308363
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	UNSAT	3.68144	3.6834	3308804
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	UNSAT	4.35134	4.35895	3308828
SAT04/industrial/hoonsang/vis-bmc/ dekker.used-as.sat04-989.cnf	UNSAT	5.44017	5.44469	3309083
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	UNSAT	6.20706	6.20997	3308840
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	UNSAT	6.42002	6.42273	3308807
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf	UNSAT	6.68498	6.68865	3308726
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf	UNSAT	7.42187	7.42446	3308789
SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf	UNSAT	8.86865	33.0223	3309206
APPLICATIONS/diagnosis/ UTI-20-10t0.cnf	UNSAT	9.8565	9.85935	3308522
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf	UNSAT	10.3774	10.3794	3308816
SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf	UNSAT	11.6702	11.6735	3309209
SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf	UNSAT	11.7572	11.759	3309212
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step15.cnf	UNSAT	11.9782	11.9776	3308732
application/rintanen/SATPlanning/ grid-strips-grid-y-4.025-NOTKNOWN.cnf	UNSAT	12.7311	12.7366	3308696
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	13.5169	14.7257	3308357
SAT02/industrial/goldberg/rand_net/ rand_net60-25-10.shuffled.cnf	UNSAT	14.6198	14.6204	3309161
manol-pipe-c6bidw_i.cnf	UNSAT	22.5766	22.5809	3308420
application/fuhs/ AProVE11/AProVE11-11.cnf	UNSAT	23.3954	23.3988	3308615
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-nlzbe256-tseitin.cnf	UNSAT	26.055	26.0586	3308768
SAT04/industrial/hoonsang/vis-bmc/ all.used-as.sat04-986.cnf	UNSAT	33.7079	33.7128	3309086
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf	UNSAT	33.7119	33.7169	3308846
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	UNSAT	35.3606	35.3636	3308315
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf	UNSAT	36.8794	36.8881	3308813
APPLICATIONS/diagnosis/ ACG-10-10p0.cnf	UNSAT	40.5808	40.5965	3308516
application/leberre/ 2dimensionalstrippacking/E05X15.cnf	UNSAT	40.8628	40.865	3309020
application/leberre/ 2dimensionalstrippacking/E02F17.cnf	UNSAT	42.3456	42.355	3308996
SAT-Race-2010-CNF/hardware-verification/ manolios/c10idw_i.cnf	UNSAT	44.1713	44.1785	3309188
industrial/manolios/ manol-pipe-f7idw.cnf	UNSAT	45.2541	45.2574	3308375
manol-pipe-f7nidw.cnf	UNSAT	51.7091	51.7143	3308426
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	61.8636	61.863	3308525
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step13.cnf	UNSAT	73.4138	73.4152	3308738
application/leberre/ 2dimensionalstrippacking/korf-15.cnf	UNSAT	79.182	79.1899	3308990
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf	UNSAT	95.7154	95.7195	3308825
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	106.892	106.896	3308504
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom12.cnf	UNSAT	111.821	111.823	3308912
application/rintanen/SATPlanning/ blocks-blocks-37-1.120-NOTKNOWN.cnf	UNSAT	116.061	116.061	3308624
SAT03/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	UNSAT	125.994	125.999	3309041
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf	UNSAT	138.324	138.328	3308699
industrial/fuhs/medium/ AProVE07-21.cnf	UNSAT	168.908	168.917	3308339
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	209.093	209.093	3308501
application/manthey/traffic/ traffic_pcb_unknown.cnf	UNSAT	211.799	211.801	3308870
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf	UNSAT	212.071	212.076	3308750
application/manthey/traffic/ traffic_kkb_unknown.cnf	UNSAT	216.873	216.873	3308858
application/manthey/traffic/ traffic_f_unknown.cnf	UNSAT	217.816	217.817	3308861
application/manthey/traffic/ traffic_fb_unknown.cnf	UNSAT	227.41	227.417	3308852
application/manthey/traffic/ traffic_b_unsat.cnf	UNSAT	233.233	233.231	3308873
application/manthey/traffic/ traffic_3b_unknown.cnf	UNSAT	266.303	266.299	3308876
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	294.96	294.988	3308510
manol-pipe-c10nidw.cnf	UNSAT	308.344	308.345	3308414
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step15.cnf	UNSAT	346.005	346.002	3308714
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	UNSAT	376.281	376.292	3308381
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf	UNSAT	388.852	388.845	3308834
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf	UNSAT	431.327	431.321	3308837
velev-pipe-o-uns-1.0-7.cnf	UNSAT	482.016	482.003	3308585
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	UNSAT	488.508	488.503	3308387
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf	UNSAT	496.295	496.278	3308759
APPLICATIONS/ bitverif/maxxor/maxxor032.cnf	UNSAT	518.031	518.029	3308474
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	UNSAT	536.601	536.593	3308378
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	578.371	578.363	3308537
industrial/fuhs/hard/ AProVE07-03.cnf	UNSAT	585.547	585.541	3308345
application/rintanen/SATPlanning/ grid-strips-grid-y-3.035-NOTKNOWN.cnf	UNSAT	618.034	618.025	3308687
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf	UNSAT	763.664	763.648	3308801
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf	UNSAT	946.739	946.758	3308720
SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf	UNSAT	952.2	952.183	3309140
SAT02/industrial/goldberg/rand_net/ rand_net60-40-10.shuffled.cnf	UNSAT	971.945	971.936	3309158
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	UNSAT	1145.28	1145.25	3308384
application/leberre/ 2dimensionalstrippacking/korf-17.cnf	UNSAT	1196.25	1196.21	3309017
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	UNSAT	1239.11	1239.07	3308534
velev-pipe-o-uns-1.1-6.cnf	UNSAT	1263.84	1263.81	3308582
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf	UNSAT	1278	1277.97	3308753

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/maris05/DriverLog/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT	0.005998	0.043116	3309122
SAT05/industrial/maris05/DriverLog/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT	0.009997	0.00928902	3309125
SAT02/industrial/aloul/ Bart/bart17.shuffled.cnf	SAT	0.009998	0.009599	3309137
application/kullmann/AES/Benchmarks/ 32/aes_32_1_keyfind_1.cnf	SAT	0.012998	0.014445	3308978
SAT02/industrial/biere/ dinphil/dp04s04.shuffled.cnf	SAT	0.016997	0.017004	3309173
SAT05/industrial/maris05/Rovers/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT	0.018996	0.021419	3309128
SAT05/industrial/maris05/Ferry/ ferry5_ks99i.renamed-as.sat05-3994.cnf	SAT	0.050991	0.0553181	3309131
SAT02/industrial/goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT	0.506922	0.509153	3309149
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf	SAT	0.633903	0.636009	3309176
application/fuhs/ AProVE11/AProVE11-09.cnf	SAT	1.14782	1.15138	3308603
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf	SAT	1.43978	1.44292	3308735
application/fuhs/ AProVE11/AProVE11-16.cnf	SAT	1.74973	2.0139	3308597
APPLICATIONS/diagnosis/ UTI-10-5t1.cnf	SAT	2.06869	2.06894	3308528
application/fuhs/ AProVE11/AProVE11-12.cnf	SAT	2.42663	2.43096	3308591
application/fuhs/ AProVE11/AProVE11-15.cnf	SAT	2.68559	2.69012	3308594
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf	SAT	3.03854	3.0483	3308780
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf	SAT	3.67344	3.8594	3308762
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf	SAT	3.76843	3.76922	3308777
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf	SAT	5.07623	5.09439	3308771
application/leberre/ 2dimensionalstrippacking/E05F18.cnf	SAT	5.12322	5.12577	3309005
application/fuhs/ AProVE11/AProVE11-07.cnf	SAT	5.30819	5.32604	3308600
velev-pipe-sat-1.0-b9.cnf	SAT	5.52216	5.5233	3308579
application/fuhs/ AProVE11/AProVE11-02.cnf	SAT	5.80012	5.81121	3308618
application/manthey/ traffic/traffic_r_sat.cnf	SAT	7.29589	7.30081	3308867
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	SAT	7.44187	7.44753	3308402
APPLICATIONS/diagnosis/ UTI-20-10t1.cnf	SAT	8.33373	8.3468	3308555
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	14.3928	14.428	3308399
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	SAT	15.9526	15.9629	3308408
application/fuhs/ AProVE11/AProVE11-13.cnf	SAT	17.0274	17.0324	3308612
ibm-2004-01-k90.cnf	SAT	19.65	19.6545	3308432
ibm-2002-21r-k95.cnf	SAT	20.0739	20.0922	3308588
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf	SAT	22.3096	22.3184	3308765
SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf	SAT	22.5546	22.5559	3309110
application/leberre/ 2dimensionalstrippacking/E05F20.cnf	SAT	25.9351	25.9406	3309038
application/leberre/ 2dimensionalstrippacking/E04F20.cnf	SAT	27.7098	27.7167	3309014
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	SAT	34.2168	34.2371	3308507
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	35.0497	35.0588	3308483
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	35.5516	35.5577	3308492
application/leberre/ 2dimensionalstrippacking/E04F19.cnf	SAT	42.3236	42.3271	3309002
application/leberre/ 2dimensionalstrippacking/E02F20.cnf	SAT	45.5401	45.5423	3308993
application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf	SAT	49.5995	49.5989	3308648
APPLICATIONS/diagnosis/ UR-10-10p1.cnf	SAT	50.0444	50.0485	3308549
application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf	SAT	50.6263	50.6268	3308708
application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf	SAT	50.6673	50.699	3308639
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-30-step11.cnf	SAT	57.7992	57.806	3308717
application/kullmann/AES/Benchmarks/ 32/aes_32_2_keyfind_1.cnf	SAT	63.7603	63.7641	3308975
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf	SAT	66.091	66.099	3308633
APPLICATIONS/diagnosis/ ACG-15-5p1.cnf	SAT	68.5656	68.582	3308552
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step16.cnf	SAT	82.4775	82.4801	3308711
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	84.7701	84.7724	3308513
application/manthey/traffic/ traffic_3_uc_sat.cnf	SAT	90.2033	90.2071	3308864
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step16.cnf	SAT	119.485	119.515	3308729
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step14.cnf	SAT	136.022	136.024	3308723
application/leberre/ 2dimensionalstrippacking/E02F22.cnf	SAT	185.14	185.146	3309011
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	SAT	186.389	186.401	3308390
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_18_SAT.cnf	SAT	195.402	195.402	3308561
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug4_q0.used-as.sat04-723.cnf	SAT	201.593	201.595	3309101
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	211.713	211.71	3308498
ibm-2004-23-k100.cnf	SAT	215.227	215.233	3308423
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug6_q0.used-as.sat04-725.cnf	SAT	228.92	228.925	3309098
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf	SAT	244.121	244.115	3308567
application/manthey/traffic/ traffic_r_uc_sat.cnf	SAT	244.859	244.886	3308855
application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf	SAT	261.093	261.089	3308693
SAT_RACE08/Q1/ SAT_dat.k85.cnf	SAT	320.986	320.986	3308405
ibm-2002-30r-k85.cnf	SAT	345.76	345.755	3308429
application/rintanen/SATPlanning/ transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf	SAT	404.521	404.531	3308663
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	436.625	436.616	3308540
SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf	SAT	465.691	465.715	3309107
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step21.cnf	SAT	479.427	479.422	3308744
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	SAT	495.058	495.054	3308393
application/fuhs/ AProVE11/AProVE11-10.cnf	SAT	595.757	595.766	3308606
application/rintanen/SATPlanning/ transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf	SAT	800.104	800.136	3308702
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	849.647	849.693	3308519
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	SAT	1175.29	1175.29	3308321
industrial/palacios/medium/ cube-11-h14-sat.cnf	SAT	1248.43	1248.42	3308354

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_11_ooo.cnf	? (TO)	1299.7	1300.01	3309197
SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf	? (TO)	1299.94	1300.01	3309065
application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf	? (TO)	1299.94	1300.01	3308684
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1299.94	1300.01	3308630
APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf	? (TO)	1299.96	1300.01	3308459
APPLICATIONS/diagnosis/ UR-20-10p0.cnf	? (TO)	1299.96	1300.01	3308531
application/kullmann/AES/Benchmarks/ 64/aes_64_4_keyfind_1.cnf	? (TO)	1299.96	1300.01	3308963
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1299.96	1300.01	3308351
SAT-Race-2010-CNF/cryptography/ mizh/md5_48_3.cnf	? (TO)	1299.96	1300.01	3309185
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	? (TO)	1299.97	1300.01	3308318
APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf	? (TO)	1299.97	1300.01	3308447
application/rintanen/SATPlanning/ blocks-blocks-36-0.120-NOTKNOWN.cnf	? (TO)	1299.98	1300.01	3308642
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_k.cnf	? (TO)	1299.98	1300.01	3309203
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf	? (TO)	1299.98	1300.01	3308849
SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf	? (TO)	1299.98	1300.01	3309152
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1299.98	1300.01	3308705
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom21.cnf	? (TO)	1299.99	1300.01	3308945
SAT03/industrial/schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	? (TO)	1299.99	1300.01	3309071
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf	? (TO)	1299.99	1300.01	3308657
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1299.99	1300.01	3308342
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1299.99	1300.01	3308558
SAT03/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf	? (TO)	1299.99	1300.01	3309056
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf	? (TO)	1299.99	1300.01	3308798
SAT05/industrial/grieu05/vmpc/ vmpc_36.renamed-as.sat05-1922.cnf	? (TO)	1299.99	1300.01	3309119
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1299.99	1300.01	3308546
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1299.99	1300.01	3308480
application/leberre/ 2dimensionalstrippacking/E00X23.cnf	? (TO)	1300	1300.01	3309026
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf	? (TO)	1300	1300.01	3308879
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf	? (TO)	1300	1300.01	3308672
SAT04/industrial/vangelder/ cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf	? (TO)	1300	1300.01	3309077
APPLICATIONS/bitverif/ maxxororand/maxxororand064.cnf	? (TO)	1300	1300.01	3308456
application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf	? (TO)	1300	1300.01	3308954
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom25.cnf	? (TO)	1300	1300.01	3308891
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1300.01	1300.01	3308411
SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	? (TO)	1300.01	1300.01	3309068
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1300.01	1300.01	3308327
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.080-SAT.cnf	? (TO)	1300.01	1300.01	3308681
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1300.01	1300.01	3308471
SAT-Race-2010-CNF/hardware-verification/ velev/2dlx_ca_bp_f_liveness.cnf	? (TO)	1300.01	1300.01	3309200
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf	? (TO)	1300.01	1300.01	3308570
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf	? (TO)	1300.01	1300.01	3308636
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1300.01	1300.01	3308396
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf	? (TO)	1300.01	1300.01	3308621
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1300.01	1300.01	3308333
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf	? (TO)	1300.01	1300.01	3308627
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf	? (TO)	1300.01	1300.01	3308666
application/leberre/ 2dimensionalstrippacking/E00N23.cnf	? (TO)	1300.01	1300.01	3309029
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom26.cnf	? (TO)	1300.01	1300.01	3308885
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf	? (TO)	1300.02	1300.01	3308654
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf	? (TO)	1300.02	1300.01	3308756
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1300.02	1300.01	3308543
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1300.02	1300.01	3308336
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	? (TO)	1300.02	1300.01	3308330
application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf	? (TO)	1300.02	1300.01	3308960
SAT03/industrial/li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	? (TO)	1300.02	1300.01	3309059
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf	? (TO)	1300.02	1300.01	3308669
SAT-Race-2010-CNF/cryptography/ mizh/sha0_36_5.cnf	? (TO)	1300.02	1300.01	3309182
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1300.02	1300.01	3308462
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf	? (TO)	1300.02	1300.01	3309095
industrial/crypto/ mizh-sha0-36-2.cnf	? (TO)	1300.02	1300.02	3308372
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1300.02	1300.01	3308468
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-countbits128-tseitin.cnf	? (TO)	1300.02	1300.01	3308783
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf	? (TO)	1300.02	1300.01	3308927
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf	? (TO)	1300.02	1300.01	3308741
APPLICATIONS/crypto/ md5gen/gus-md5-12.cnf	? (TO)	1300.02	1300.01	3308477
application/fuhs/ AProVE11/AProVE11-06.cnf	? (TO)	1300.03	1300.01	3308609
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf	? (TO)	1300.03	1300.01	3309194
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf	? (TO)	1300.03	1300.01	3309089
SAT04/industrial/vangelder/cnf-color/ abb313GPIA-9-tr.used-as.sat04-321.cnf	? (TO)	1300.03	1300.01	3309074
SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	? (TO)	1300.03	1300.01	3309053
application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf	? (TO)	1300.03	1300.01	3308951
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom23.cnf	? (TO)	1300.03	1300.01	3308948
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top29.cnf	? (TO)	1300.03	1300.01	3308918
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top24.cnf	? (TO)	1300.03	1300.01	3308906
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf	? (TO)	1300.03	1300.01	3308900
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom20.cnf	? (TO)	1300.03	1300.01	3308894
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf	? (TO)	1300.03	1300.01	3308831
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-13-step17.cnf	? (TO)	1300.03	1300.01	3308747
SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf	? (TO)	1300.03	1300.01	3309116
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf	? (TO)	1300.03	1300.01	3308675
velev-npe-1.0-9dlx-b71.cnf	? (TO)	1300.03	1300.01	3308576
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf	? (TO)	1300.03	1300.01	3308774
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1300.03	1300.01	3308324
APPLICATIONS/bitverif/ smulo/smulo064.cnf	? (TO)	1300.03	1300.01	3308453
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf	? (TO)	1300.03	1300.01	3308645
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf	? (TO)	1300.04	1300.01	3308897
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf	? (TO)	1300.04	1300.01	3308903
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.04	1300.01	3308651
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom18.cnf	? (TO)	1300.04	1300.01	3308933
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf	? (TO)	1300.04	1300.01	3308936
application/kullmann/AES/Benchmarks/ 128/aes_128_1_keyfind_1.cnf	? (TO)	1300.04	1300.01	3308957
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf	? (TO)	1300.04	1300.02	3309191
application/kullmann/AES/Benchmarks/ 64/aes_64_1_keyfind_1.cnf	? (TO)	1300.04	1300.01	3308969
application/leberre/ 2dimensionalstrippacking/korf-18.cnf	? (TO)	1300.04	1300.01	3309008
SAT03/industrial/maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf	? (TO)	1300.04	1300.01	3309044
mizh-sha0-36-4.cnf	? (TO)	1300.04	1300.01	3308417
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1300.04	1300.01	3308435
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1300.04	1300.01	3308441
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	? (TO)	1300.04	1300.01	3309170
SAT03/industrial/kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	? (TO)	1300.04	1300.01	3309062
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf	? (TO)	1300.04	1300.02	3309092
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1300.04	1300.01	3308486
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1300.04	1300.01	3308489
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1300.04	1300.01	3308495
SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf	? (TO)	1300.04	1300.01	3309146
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf	? (TO)	1300.04	1300.01	3308660
SAT05/industrial/grieu05/vmpc/ vmpc_32.renamed-as.sat05-1919.cnf	? (TO)	1300.04	1300.01	3309113
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf	? (TO)	1300.04	1300.01	3308678
SAT02/industrial/dellacherie/ comb/comb1.shuffled.cnf	? (TO)	1300.04	1300.01	3309164
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.04	1300.01	3308690
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom15.cnf	? (TO)	1300.04	1300.01	3308888
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1300.04	1300.01	3308573
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom19.cnf	? (TO)	1300.04	1300.01	3308915
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1300.04	1300.01	3308564
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf	? (TO)	1300.04	1300.01	3308795
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf	? (TO)	1300.04	1300.01	3308792
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top30.cnf	? (TO)	1300.04	1300.01	3308930
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom13.cnf	? (TO)	1300.05	1300.02	3308909
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	? (TO)	1300.05	1300.01	3309167
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1300.05	1300.01	3308366
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1300.05	1300.01	3308369
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom17.cnf	? (TO)	1300.05	1300.01	3308942
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1300.05	1300.01	3308450
SAT05/industrial/narain05/vpn/ clauses-8.renamed-as.sat05-1964.cnf	? (TO)	1300.05	1300.02	3309134
application/kullmann/AES/Benchmarks/ 64/aes_64_3_keyfind_1.cnf	? (TO)	1300.05	1300.01	3308972
application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf	? (TO)	1300.05	1300.01	3308981
application/kullmann/AES/Benchmarks/ 32/aes_32_4_keyfind_1.cnf	? (TO)	1300.05	1300.01	3308984
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1300.05	1300.01	3308348
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top28.cnf	? (TO)	1300.05	1300.01	3308924
SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf	? (TO)	1300.05	1300.01	3309080
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom24.cnf	? (TO)	1300.05	1300.01	3308882
APPLICATIONS/bitverif/countbitsarray/ countbitsarray04_32.cnf	? (TO)	1300.05	1300.01	3308465
SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf	? (TO)	1300.05	1300.01	3309104
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1300.05	1300.01	3308444
SAT02/industrial/aloul/ Homer/homer16.shuffled.cnf	? (TO)	1300.06	1300.01	3309143
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top25.cnf	? (TO)	1300.06	1300.01	3308921
SAT03/industrial/goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf	? (TO)	1300.06	1300.01	3309050
application/kullmann/AES/Benchmarks/ 32/aes_32_3_keyfind_1.cnf	? (TO)	1300.06	1300.01	3308987
SAT03/industrial/goldberg/hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	? (TO)	1300.06	1300.01	3309047
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom22.cnf	? (TO)	1300.06	1300.01	3308939
application/kullmann/AES/Benchmarks/ 64/aes_64_2_keyfind_1.cnf	? (TO)	1300.06	1300.01	3308966

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

Result page for solver SAT09 reference solver:glucose 1.0 (complete)

Category "applications instances" (APPLICATION)

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

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

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