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.013997	0.0131321	3293363
application/leberre/ 2dimensionalstrippacking/E07N15.cnf	UNSAT	0.094984	0.100794	3291109
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	UNSAT	0.099984	0.100563	3291155
SAT02/industrial/goldberg/rand_net/ rand_net60-30-1.shuffled.cnf	UNSAT	0.230964	0.231793	3292995
APPLICATIONS/bitverif/ minandmaxor/minandmaxor016.cnf	UNSAT	0.341947	0.341774	3282001
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf	UNSAT	1.37479	1.3751	3287889
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	1.55976	1.57761	3280805
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf	UNSAT	1.72274	1.72431	3288211
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf	UNSAT	1.78173	1.79654	3287843
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf	UNSAT	1.86072	1.86074	3287705
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	2.82857	2.82882	3280851
SAT02/industrial/goldberg/rand_net/ rand_net60-25-10.shuffled.cnf	UNSAT	3.64744	3.64953	3293087
SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf	UNSAT	3.9494	3.95279	3293869
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf	UNSAT	4.53131	4.53618	3287337
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	UNSAT	5.00924	5.0103	3287613
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	UNSAT	5.82511	5.82582	3287981
SAT04/industrial/hoonsang/vis-bmc/ dekker.used-as.sat04-989.cnf	UNSAT	6.05908	7.00305	3291891
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	UNSAT	7.11792	7.1217	3290971
APPLICATIONS/diagnosis/ UTI-20-10t0.cnf	UNSAT	7.50086	7.50084	3283289
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf	UNSAT	9.2336	9.23479	3287797
industrial/fuhs/medium/ AProVE07-21.cnf	UNSAT	9.8305	9.83454	3280483
SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf	UNSAT	10.4704	10.4718	3293823
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	UNSAT	13.226	13.244	3288165
SAT02/industrial/goldberg/rand_net/ rand_net60-40-10.shuffled.cnf	UNSAT	14.6848	14.6856	3293041
application/leberre/ 2dimensionalstrippacking/E03N17.cnf	UNSAT	14.7428	14.746	3290603
application/leberre/ 2dimensionalstrippacking/korf-15.cnf	UNSAT	16.3195	16.3233	3290465
SAT03/industrial/goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf	UNSAT	16.6405	16.6414	3291385
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf	UNSAT	21.6507	21.6506	3287383
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf	UNSAT	22.5966	22.5973	3286417
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step15.cnf	UNSAT	22.8065	22.8085	3286509
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-nlzbe256-tseitin.cnf	UNSAT	25.4001	25.413	3287061
application/leberre/ 2dimensionalstrippacking/E02F17.cnf	UNSAT	27.5628	27.5665	3290557
velev-pipe-o-uns-1.1-6.cnf	UNSAT	27.7678	27.771	3284209
application/rintanen/SATPlanning/ grid-strips-grid-y-4.025-NOTKNOWN.cnf	UNSAT	28.4227	28.4216	3285957
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	29.0926	29.0913	3280759
industrial/manolios/ manol-pipe-f7idw.cnf	UNSAT	33.5379	33.5374	3281035
SAT04/industrial/hoonsang/vis-bmc/ all.used-as.sat04-986.cnf	UNSAT	37.1334	37.1566	3291937
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf	UNSAT	38.2752	38.7741	3286785
application/fuhs/ AProVE11/AProVE11-11.cnf	UNSAT	40.4319	40.4337	3284715
SAT02/industrial/dellacherie/ comb/comb1.shuffled.cnf	UNSAT	40.4908	40.4907	3293133
SAT03/industrial/goldberg/hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	UNSAT	42.8615	42.861	3291339
SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	UNSAT	45.3381	45.3368	3291431
SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf	UNSAT	47.8457	55.4959	3293777
manol-pipe-c6bidw_i.cnf	UNSAT	48.4636	48.4627	3281725
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	UNSAT	50.3673	50.3705	3280115
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf	UNSAT	50.4473	50.447	3288257
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	UNSAT	51.4002	51.4042	3287659
SAT03/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	UNSAT	56.4544	56.4539	3291247
SAT-Race-2010-CNF/hardware-verification/ manolios/c10idw_i.cnf	UNSAT	61.4157	61.4156	3293501
SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf	UNSAT	62.4675	62.4676	3292949
manol-pipe-f7nidw.cnf	UNSAT	62.6815	62.6946	3281817
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	64.3982	64.3979	3283335
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf	UNSAT	66.1459	66.1658	3286831
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf	UNSAT	68.7425	68.745	3287751
APPLICATIONS/diagnosis/ ACG-10-10p0.cnf	UNSAT	72.9119	72.9778	3283197
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf	UNSAT	79.9318	79.9431	3287935
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	85.712	85.7142	3283013
APPLICATIONS/ bitverif/maxxor/maxxor032.cnf	UNSAT	107.262	107.262	3282553
application/leberre/ 2dimensionalstrippacking/E05X15.cnf	UNSAT	108.436	109.236	3290925
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf	UNSAT	117.861	117.87	3286923
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	UNSAT	125.271	125.267	3293225
velev-pipe-o-uns-1.0-7.cnf	UNSAT	145.491	145.497	3284255
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step15.cnf	UNSAT	151.607	151.601	3286233
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	166.452	166.555	3283105
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step13.cnf	UNSAT	199.985	199.975	3286601
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	UNSAT	224.467	224.47	3281081
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	UNSAT	224.672	224.689	3281173
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf	UNSAT	234.673	234.678	3286003
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	UNSAT	274.067	274.062	3281127
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	UNSAT	284.878	284.884	3281219
application/rintanen/SATPlanning/ blocks-blocks-37-1.120-NOTKNOWN.cnf	UNSAT	300.827	300.818	3284853
application/rintanen/SATPlanning/ grid-strips-grid-y-3.035-NOTKNOWN.cnf	UNSAT	545.005	545.007	3285819
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	578.07	578.601	3282967
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf	UNSAT	593.057	593.085	3286325
manol-pipe-c10nidw.cnf	UNSAT	672.552	672.551	3281633
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	808.053	808.033	3283519
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf	UNSAT	907.227	907.238	3293593
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf	UNSAT	1100.34	1100.3	3293547
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	UNSAT	1122.67	1122.65	3282507
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_k.cnf	UNSAT	1160.9	1163.33	3293731
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf	UNSAT	1171.57	1171.54	3292029
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf	UNSAT	1205.11	1205.09	3288073
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf	UNSAT	1286.22	1286.19	3288119

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/maris05/DriverLog/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT	0.003998	0.00611495	3292489
SAT02/industrial/aloul/ Bart/bart17.shuffled.cnf	SAT	0.003999	0.00613309	3292719
SAT05/industrial/maris05/DriverLog/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT	0.006998	0.00773691	3292535
application/kullmann/AES/Benchmarks/ 32/aes_32_1_keyfind_1.cnf	SAT	0.012998	0.0130941	3290281
SAT02/industrial/biere/ dinphil/dp04s04.shuffled.cnf	SAT	0.020996	0.027112	3293271
SAT05/industrial/maris05/Rovers/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT	0.020996	0.0217081	3292581
SAT05/industrial/maris05/Ferry/ ferry5_ks99i.renamed-as.sat05-3994.cnf	SAT	0.036993	0.037223	3292627
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf	SAT	0.228964	0.230063	3293317
SAT02/industrial/goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT	0.685895	0.686539	3292903
application/fuhs/ AProVE11/AProVE11-12.cnf	SAT	1.05284	1.05476	3284347
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf	SAT	1.21281	1.2128	3283979
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf	SAT	1.49277	1.49452	3286555
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_18_SAT.cnf	SAT	1.70274	1.70312	3283887
application/fuhs/ AProVE11/AProVE11-09.cnf	SAT	1.82372	1.82427	3284531
APPLICATIONS/diagnosis/ UTI-10-5t1.cnf	SAT	2.24866	2.25292	3283381
application/fuhs/ AProVE11/AProVE11-16.cnf	SAT	2.52262	2.60489	3284439
SAT04/industrial/vangelder/cnf-color/ abb313GPIA-9-tr.used-as.sat04-321.cnf	SAT	2.68859	2.68997	3291753
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf	SAT	4.33234	4.37523	3286969
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf	SAT	4.5783	4.58281	3287245
application/fuhs/ AProVE11/AProVE11-02.cnf	SAT	5.2602	5.29219	3284761
SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf	SAT	5.2632	5.26368	3292305
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf	SAT	5.70313	5.71259	3287199
application/fuhs/ AProVE11/AProVE11-07.cnf	SAT	6.63599	6.64946	3284485
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf	SAT	7.2149	7.2258	3287015
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf	SAT	7.31989	7.33132	3287107
APPLICATIONS/diagnosis/ UTI-20-10t1.cnf	SAT	8.67568	8.68635	3283795
application/fuhs/ AProVE11/AProVE11-10.cnf	SAT	9.42057	9.4312	3284577
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	9.61154	9.61133	3282829
application/kullmann/AES/Benchmarks/ 32/aes_32_2_keyfind_1.cnf	SAT	10.9433	10.9453	3290235
application/fuhs/ AProVE11/AProVE11-15.cnf	SAT	12.2311	12.2345	3284393
application/fuhs/ AProVE11/AProVE11-13.cnf	SAT	15.3777	15.3882	3284669
ibm-2004-01-k90.cnf	SAT	28.8926	28.8985	3281909
application/leberre/ 2dimensionalstrippacking/E05F18.cnf	SAT	33.4909	33.4899	3290695
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug4_q0.used-as.sat04-723.cnf	SAT	33.6229	33.6319	3292167
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug6_q0.used-as.sat04-725.cnf	SAT	34.1368	34.1419	3292121
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	SAT	41.9106	41.9133	3281541
ibm-2002-21r-k95.cnf	SAT	49.2425	49.2647	3284301
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step16.cnf	SAT	59.441	59.4411	3286187
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-30-step11.cnf	SAT	64.5502	64.5551	3286279
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step14.cnf	SAT	73.3838	73.387	3286371
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf	SAT	74.3467	74.3611	3284991
velev-pipe-sat-1.0-b9.cnf	SAT	79.001	79.0022	3284163
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step16.cnf	SAT	80.9157	80.9208	3286463
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	87.8806	87.9029	3281403
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	SAT	97.9301	97.9523	3281449
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	107.218	107.221	3282691
application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf	SAT	109.612	109.65	3285083
APPLICATIONS/diagnosis/ UR-10-10p1.cnf	SAT	128.324	128.331	3283703
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	152.55	152.553	3283151
application/manthey/traffic/ traffic_3_uc_sat.cnf	SAT	154.099	154.101	3288533
application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf	SAT	155.155	155.185	3285221
application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf	SAT	158.461	158.469	3285911
APPLICATIONS/diagnosis/ ACG-15-5p1.cnf	SAT	166.959	167.239	3283749
application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf	SAT	204.116	204.143	3286141
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf	SAT	291.097	291.098	3284025
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	SAT	448.067	448.056	3282737
SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf	SAT	449.231	449.224	3292259
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	449.742	449.744	3283565
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	450.449	450.447	3283243
SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf	SAT	465.819	465.81	3292213
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	575.699	575.683	3282921
application/leberre/ 2dimensionalstrippacking/E02F20.cnf	SAT	632.651	632.668	3290511
application/leberre/ 2dimensionalstrippacking/E05F20.cnf	SAT	644.277	644.259	3291201
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	SAT	671.908	671.893	3281311
application/rintanen/SATPlanning/ transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf	SAT	675.322	675.317	3286049
industrial/palacios/medium/ cube-11-h14-sat.cnf	SAT	716.384	716.435	3280713
application/leberre/ 2dimensionalstrippacking/E04F19.cnf	SAT	744.017	744.031	3290649
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	SAT	745.416	745.407	3280253
mizh-sha0-36-4.cnf	SAT	841.204	841.208	3281679
application/manthey/ traffic/traffic_r_sat.cnf	SAT	1007.65	1007.65	3288579
velev-npe-1.0-9dlx-b71.cnf	SAT	1033.97	1033.99	3284117
ibm-2004-23-k100.cnf	SAT	1155.19	1155.16	3281771
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step21.cnf	SAT	1160.66	1160.61	3286693

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
ibm-2002-30r-k85.cnf	? (TO)	1299.08	1300.02	3281863
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1299.11	1300.03	3282461
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1299.76	1300.03	3281955
SAT-Race-2010-CNF/cryptography/ mizh/md5_48_3.cnf	? (TO)	1299.87	1300.01	3293455
SAT03/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf	? (TO)	1299.97	1300.02	3291477
application/leberre/ 2dimensionalstrippacking/korf-17.cnf	? (TO)	1299.98	1300.01	3290879
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1299.98	1300.03	3283473
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1299.99	1300.01	3280529
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom24.cnf	? (TO)	1299.99	1300.02	3288809
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1299.99	1300.03	3282047
SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf	? (TO)	1300	1300.02	3292397
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf	? (TO)	1300	1300.02	3287521
SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	? (TO)	1300	1300.04	3291661
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf	? (TO)	1300.01	1300.02	3285635
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1300.01	1300.01	3280943
SAT-Race-2010-CNF/hardware-verification/ velev/2dlx_ca_bp_f_liveness.cnf	? (TO)	1300.02	1300.06	3293685
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1300.02	1300.01	3283933
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf	? (TO)	1300.02	1300.04	3284807
APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf	? (TO)	1300.02	1300.02	3282323
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom15.cnf	? (TO)	1300.03	1300.01	3288901
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1300.03	1300.01	3282645
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom19.cnf	? (TO)	1300.03	1300.01	3289315
APPLICATIONS/crypto/ md5gen/gus-md5-12.cnf	? (TO)	1300.03	1300.01	3282599
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top25.cnf	? (TO)	1300.04	1300.01	3289407
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom13.cnf	? (TO)	1300.04	1300.01	3289223
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom12.cnf	? (TO)	1300.04	1300.01	3289269
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top24.cnf	? (TO)	1300.04	1300.01	3289177
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf	? (TO)	1300.04	1300.01	3289131
industrial/crypto/ mizh-sha0-36-2.cnf	? (TO)	1300.04	1300.01	3280989
industrial/fuhs/hard/ AProVE07-03.cnf	? (TO)	1300.04	1300.01	3280575
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom26.cnf	? (TO)	1300.04	1300.01	3288855
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf	? (TO)	1300.04	1300.01	3288763
application/manthey/traffic/ traffic_3b_unknown.cnf	? (TO)	1300.04	1300.02	3288717
SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf	? (TO)	1300.04	1300.01	3291845
application/manthey/traffic/ traffic_kkb_unknown.cnf	? (TO)	1300.04	1300.01	3288441
application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf	? (TO)	1300.04	1300.01	3290327
application/kullmann/AES/Benchmarks/ 64/aes_64_1_keyfind_1.cnf	? (TO)	1300.04	1300.01	3290143
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1300.04	1300.02	3283841
SAT05/industrial/grieu05/vmpc/ vmpc_32.renamed-as.sat05-1919.cnf	? (TO)	1300.04	1300.04	3292351
application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf	? (TO)	1300.04	1300.01	3290005
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1300.04	1300.01	3284071
application/kullmann/AES/Benchmarks/ 128/aes_128_1_keyfind_1.cnf	? (TO)	1300.04	1300.01	3289959
SAT05/industrial/grieu05/vmpc/ vmpc_36.renamed-as.sat05-1922.cnf	? (TO)	1300.04	1300.01	3292443
application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf	? (TO)	1300.04	1300.01	3289913
application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf	? (TO)	1300.04	1300.01	3289867
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1300.04	1300.01	3282783
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1300.04	1300.01	3282093
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf	? (TO)	1300.04	1300.01	3289637
SAT03/industrial/maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf	? (TO)	1300.05	1300.01	3291293
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_11_ooo.cnf	? (TO)	1300.05	1300.05	3293639
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf	? (TO)	1300.05	1300.08	3291983
SAT04/industrial/vangelder/ cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf	? (TO)	1300.05	1300.02	3291799
SAT03/industrial/schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	? (TO)	1300.05	1300.02	3291707
SAT03/industrial/kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	? (TO)	1300.05	1300.01	3291569
SAT03/industrial/li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	? (TO)	1300.05	1300.01	3291523
application/leberre/ 2dimensionalstrippacking/E04F20.cnf	? (TO)	1300.05	1300.02	3290833
application/leberre/ 2dimensionalstrippacking/korf-18.cnf	? (TO)	1300.05	1300.01	3290741
application/kullmann/AES/Benchmarks/ 32/aes_32_3_keyfind_1.cnf	? (TO)	1300.05	1300.01	3290419
application/kullmann/AES/Benchmarks/ 32/aes_32_4_keyfind_1.cnf	? (TO)	1300.05	1300.01	3290373
application/kullmann/AES/Benchmarks/ 64/aes_64_3_keyfind_1.cnf	? (TO)	1300.05	1300.01	3290189
application/kullmann/AES/Benchmarks/ 64/aes_64_2_keyfind_1.cnf	? (TO)	1300.05	1300.01	3290097
application/kullmann/AES/Benchmarks/ 64/aes_64_4_keyfind_1.cnf	? (TO)	1300.05	1300.01	3290051
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom23.cnf	? (TO)	1300.05	1300.01	3289821
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom21.cnf	? (TO)	1300.05	1300.01	3289775
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom17.cnf	? (TO)	1300.05	1300.01	3289729
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom22.cnf	? (TO)	1300.05	1300.01	3289683
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom18.cnf	? (TO)	1300.05	1300.01	3289591
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top30.cnf	? (TO)	1300.05	1300.01	3289545
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf	? (TO)	1300.05	1300.01	3289499
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top28.cnf	? (TO)	1300.05	1300.01	3289453
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top29.cnf	? (TO)	1300.05	1300.02	3289361
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf	? (TO)	1300.05	1300.01	3289085
application/manthey/traffic/ traffic_f_unknown.cnf	? (TO)	1300.05	1300.02	3288487
application/manthey/traffic/ traffic_fb_unknown.cnf	? (TO)	1300.05	1300.02	3288349
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf	? (TO)	1300.05	1300.02	3288303
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf	? (TO)	1300.05	1300.02	3288027
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf	? (TO)	1300.05	1300.02	3287567
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf	? (TO)	1300.05	1300.02	3287475
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf	? (TO)	1300.05	1300.02	3287429
application/fuhs/ AProVE11/AProVE11-06.cnf	? (TO)	1300.05	1300.03	3284623
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	? (TO)	1300.05	1300.01	3293179
SAT02/industrial/aloul/ Homer/homer16.shuffled.cnf	? (TO)	1300.05	1300.01	3292811
SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf	? (TO)	1300.05	1300.01	3292765
APPLICATIONS/diagnosis/ UR-20-10p0.cnf	? (TO)	1300.05	1300.03	3283427
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	? (TO)	1300.05	1300.03	3280161
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1300.05	1300.02	3280621
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1300.05	1300.01	3280897
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	? (TO)	1300.05	1300.02	3281265
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1300.05	1300.01	3282875
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf	? (TO)	1300.05	1300.03	3286877
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf	? (TO)	1300.05	1300.02	3285405
SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf	? (TO)	1300.06	1300.01	3292857
application/manthey/traffic/ traffic_b_unsat.cnf	? (TO)	1300.06	1300.01	3288671
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom25.cnf	? (TO)	1300.06	1300.02	3288947
application/rintanen/SATPlanning/ blocks-blocks-36-0.120-NOTKNOWN.cnf	? (TO)	1300.06	1300.07	3285129
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1300.06	1300.04	3280667
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom20.cnf	? (TO)	1300.06	1300.01	3288993
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf	? (TO)	1300.06	1300.01	3289039
application/manthey/traffic/ traffic_pcb_unknown.cnf	? (TO)	1300.06	1300.01	3288625
SAT_RACE08/Q1/ SAT_dat.k85.cnf	? (TO)	1300.06	1300.02	3281495
application/rintanen/SATPlanning/ transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf	? (TO)	1300.06	1300.06	3285451
application/leberre/ 2dimensionalstrippacking/E02F22.cnf	? (TO)	1300.06	1300.02	3290787
APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf	? (TO)	1300.06	1300.02	3282139
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1300.06	1300.01	3282185
APPLICATIONS/bitverif/ smulo/smulo064.cnf	? (TO)	1300.06	1300.02	3282231
APPLICATIONS/bitverif/ maxxororand/maxxororand064.cnf	? (TO)	1300.06	1300.02	3282277
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1300.06	1300.03	3282369
APPLICATIONS/bitverif/countbitsarray/ countbitsarray04_32.cnf	? (TO)	1300.06	1300.01	3282415
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf	? (TO)	1300.06	1300.03	3285175
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	? (TO)	1300.06	1300.02	3280345
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1300.06	1300.02	3280437
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf	? (TO)	1300.07	1300.03	3285589
SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf	? (TO)	1300.07	1300.06	3291615
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf	? (TO)	1300.07	1300.03	3285681
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1300.07	1300.03	3280299
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-13-step17.cnf	? (TO)	1300.07	1300.01	3286739
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1300.07	1300.03	3280391
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1300.07	1300.03	3280207
application/leberre/ 2dimensionalstrippacking/E00X23.cnf	? (TO)	1300.07	1300.03	3291017
application/leberre/ 2dimensionalstrippacking/E00N23.cnf	? (TO)	1300.07	1300.03	3291063
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf	? (TO)	1300.07	1300.03	3287153
SAT-Race-2010-CNF/cryptography/ mizh/sha0_36_5.cnf	? (TO)	1300.07	1300.01	3293409
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-countbits128-tseitin.cnf	? (TO)	1300.07	1300.02	3287291
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf	? (TO)	1300.07	1300.03	3285037
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1300.07	1300.03	3283657
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1300.07	1300.04	3283611
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1300.07	1300.07	3281357
application/manthey/traffic/ traffic_r_uc_sat.cnf	? (TO)	1300.08	1300.05	3288395
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf	? (TO)	1300.08	1300.03	3285313
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1300.08	1300.03	3281587
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf	? (TO)	1300.08	1300.02	3286647
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf	? (TO)	1300.08	1300.04	3284899
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1300.08	1300.1	3284945
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.080-SAT.cnf	? (TO)	1300.09	1300.04	3285727
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf	? (TO)	1300.09	1300.03	3285359
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf	? (TO)	1300.1	1300.07	3285497
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf	? (TO)	1300.11	1300.12	3292075
SAT05/industrial/narain05/vpn/ clauses-8.renamed-as.sat05-1964.cnf	? (TO)	1300.11	1300.1	3292673
application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf	? (TO)	1300.13	1300.09	3285773
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1300.13	1300.11	3286095
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.13	1300.09	3285267
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.16	1300.13	3285865
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf	? (TO)	1300.18	1300.15	3285543

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

Result page for solver kw 2011-02-28 (complete)

Category "applications instances" (APPLICATION)

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

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

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

Solver exceeded the memory limit (no solution given) (1 run) [Show/Hide]