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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/industrial/biere/ dinphil/dp04u03.shuffled.cnf	UNSAT	0.012997	0.0183841	3387615
application/leberre/ 2dimensionalstrippacking/E07N15.cnf	UNSAT	0.030994	0.0328011	3387517
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	UNSAT	0.081987	0.0852849	3387519
SAT02/industrial/goldberg/rand_net/ rand_net60-30-1.shuffled.cnf	UNSAT	0.112982	0.114021	3387599
APPLICATIONS/bitverif/ minandmaxor/minandmaxor016.cnf	UNSAT	0.25396	0.254186	3387121
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf	UNSAT	0.354945	0.374037	3387353
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	UNSAT	0.58991	0.589714	3387511
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf	UNSAT	0.989849	0.99076	3387375
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	1.12683	1.14008	3387069
application/leberre/ 2dimensionalstrippacking/E03N17.cnf	UNSAT	1.16482	1.16649	3387495
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf	UNSAT	1.22081	1.22097	3387377
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf	UNSAT	1.39479	1.39453	3387391
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf	UNSAT	1.9837	1.9853	3387369
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	UNSAT	3.14952	3.14894	3387365
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	3.32649	3.33002	3387071
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	UNSAT	3.67744	3.67901	3387381
APPLICATIONS/diagnosis/ UTI-20-10t0.cnf	UNSAT	3.9144	4.45649	3387177
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	UNSAT	4.36334	4.363	3387389
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf	UNSAT	6.39703	8.69116	3387355
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf	UNSAT	6.94094	6.98096	3387373
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	UNSAT	7.2089	7.24177	3387367
application/leberre/ 2dimensionalstrippacking/E05X15.cnf	UNSAT	7.37188	7.47356	3387509
SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf	UNSAT	8.73667	8.73712	3387633
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf	UNSAT	9.09162	9.11041	3387313
SAT02/industrial/goldberg/rand_net/ rand_net60-25-10.shuffled.cnf	UNSAT	9.78651	9.79686	3387603
SAT04/industrial/hoonsang/vis-bmc/ dekker.used-as.sat04-989.cnf	UNSAT	10.3964	10.3987	3387551
SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf	UNSAT	11.1513	11.1516	3387635
SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf	UNSAT	11.2763	11.2799	3387637
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step15.cnf	UNSAT	11.8562	11.8714	3387317
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	12.0622	12.07	3387067
manol-pipe-c6bidw_i.cnf	UNSAT	14.9427	14.9477	3387109
application/rintanen/SATPlanning/ grid-strips-grid-y-4.025-NOTKNOWN.cnf	UNSAT	17.5153	17.5189	3387293
application/fuhs/ AProVE11/AProVE11-11.cnf	UNSAT	19.0331	27.0654	3387239
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-nlzbe256-tseitin.cnf	UNSAT	21.5737	21.5756	3387341
SAT04/industrial/hoonsang/vis-bmc/ all.used-as.sat04-986.cnf	UNSAT	24.7882	24.7921	3387553
SAT-Race-2010-CNF/hardware-verification/ manolios/c10idw_i.cnf	UNSAT	28.1027	28.1034	3387621
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf	UNSAT	28.4697	28.4867	3387393
application/leberre/ 2dimensionalstrippacking/E02F17.cnf	UNSAT	29.6185	29.6203	3387493
application/leberre/ 2dimensionalstrippacking/korf-15.cnf	UNSAT	32.77	32.7702	3387489
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	41.5427	41.5632	3387179
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	UNSAT	42.5545	42.556	3387039
industrial/fuhs/medium/ AProVE07-21.cnf	UNSAT	43.8113	43.8147	3387055
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	UNSAT	44.5452	44.5597	3387609
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf	UNSAT	55.4076	55.4122	3387371
SAT03/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	UNSAT	59.6259	59.6302	3387523
APPLICATIONS/diagnosis/ ACG-10-10p0.cnf	UNSAT	64.4702	64.4782	3387173
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom12.cnf	UNSAT	71.4401	71.445	3387437
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf	UNSAT	77.0803	77.0928	3387379
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	77.6842	77.6908	3387165
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step13.cnf	UNSAT	93.5708	93.5721	3387321
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	97.6092	97.6287	3387169
application/rintanen/SATPlanning/ blocks-blocks-37-1.120-NOTKNOWN.cnf	UNSAT	98.1271	98.1275	3387245
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	128.813	128.932	3387163
manol-pipe-c10nidw.cnf	UNSAT	150.328	150.325	3387105
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf	UNSAT	163.303	163.298	3387295
application/manthey/traffic/ traffic_pcb_unknown.cnf	UNSAT	182.872	182.87	3387409
application/manthey/traffic/ traffic_f_unknown.cnf	UNSAT	199.702	199.7	3387403
application/manthey/traffic/ traffic_fb_unknown.cnf	UNSAT	201.15	201.299	3387397
application/manthey/traffic/ traffic_kkb_unknown.cnf	UNSAT	204.404	204.462	3387401
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf	UNSAT	210.974	210.974	3387329
velev-pipe-o-uns-1.0-7.cnf	UNSAT	211.757	211.793	3387219
application/manthey/traffic/ traffic_3b_unknown.cnf	UNSAT	221.881	221.886	3387413
application/manthey/traffic/ traffic_b_unsat.cnf	UNSAT	233.531	233.537	3387411
manol-pipe-f7nidw.cnf	UNSAT	274.242	274.243	3387113
velev-pipe-o-uns-1.1-6.cnf	UNSAT	305.494	305.486	3387217
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	309.123	309.125	3387187
industrial/manolios/ manol-pipe-f7idw.cnf	UNSAT	320.254	320.266	3387079
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf	UNSAT	369.839	369.831	3387309
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step15.cnf	UNSAT	402.926	402.963	3387305
SAT02/industrial/goldberg/rand_net/ rand_net60-40-10.shuffled.cnf	UNSAT	480.185	480.182	3387601
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf	UNSAT	487.672	487.663	3387335
SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf	UNSAT	598.163	598.148	3387589
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf	UNSAT	605.728	605.722	3387385
application/leberre/ 2dimensionalstrippacking/korf-17.cnf	UNSAT	618.406	618.392	3387507
application/rintanen/SATPlanning/ grid-strips-grid-y-3.035-NOTKNOWN.cnf	UNSAT	781.154	781.165	3387287
industrial/fuhs/hard/ AProVE07-03.cnf	UNSAT	842.47	842.467	3387059
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	UNSAT	914.607	914.681	3387185
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf	UNSAT	1251.52	1251.51	3387363
SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	UNSAT	1412.6	1414.66	3387541
APPLICATIONS/ bitverif/maxxor/maxxor032.cnf	UNSAT	1509.56	1509.55	3387145
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-13-step17.cnf	UNSAT	1532.02	1531.99	3387327
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	UNSAT	1536.8	1564.23	3387149
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf	UNSAT	1712.18	1712.17	3387387
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf	UNSAT	1721.96	1722.1	3387331
application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf	UNSAT	1758.94	1758.94	3387285
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf	UNSAT	1795.31	1795.27	3387323
SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf	UNSAT	1816.85	1816.84	3387539
application/rintanen/SATPlanning/ blocks-blocks-36-0.120-NOTKNOWN.cnf	UNSAT	2059.01	2059.09	3387257
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom13.cnf	UNSAT	2094.41	2094.37	3387435
SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf	UNSAT	2187.46	2187.41	3387597
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	UNSAT	2358.62	2358.55	3387075
SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	UNSAT	2764.68	2764.63	3387531
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	UNSAT	2838.25	2838.15	3387085
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	UNSAT	2852.52	2852.42	3387201
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	UNSAT	2996.74	2996.64	3387087
SAT03/industrial/goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf	UNSAT	3094.52	3094.46	3387529
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	UNSAT	3680.88	3680.78	3387049
SAT02/industrial/dellacherie/ comb/comb1.shuffled.cnf	UNSAT	4061.33	4114.44	3387605
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	UNSAT	4393.68	4393.72	3387083
application/fuhs/ AProVE11/AProVE11-06.cnf	UNSAT	4455.05	4455.09	3387235
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	UNSAT	4582.14	4582.25	3387053
application/leberre/ 2dimensionalstrippacking/E00N23.cnf	UNSAT	4930.12	4929.99	3387515

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/maris05/DriverLog/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT	0.007998	0.0211289	3387579
SAT05/industrial/maris05/DriverLog/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT	0.008998	0.021072	3387577
SAT02/industrial/aloul/ Bart/bart17.shuffled.cnf	SAT	0.009997	0.0179351	3387587
SAT05/industrial/maris05/Rovers/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT	0.018996	0.020984	3387581
SAT02/industrial/biere/ dinphil/dp04s04.shuffled.cnf	SAT	0.018996	0.018467	3387611
application/kullmann/AES/Benchmarks/ 32/aes_32_1_keyfind_1.cnf	SAT	0.020996	0.0258641	3387481
SAT05/industrial/maris05/Ferry/ ferry5_ks99i.renamed-as.sat05-3994.cnf	SAT	0.023996	0.0235791	3387583
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf	SAT	0.110982	0.112858	3387613
SAT02/industrial/goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT	0.401937	0.402296	3387595
application/fuhs/ AProVE11/AProVE11-12.cnf	SAT	0.655899	1.30905	3387223
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf	SAT	0.758884	0.761035	3387207
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf	SAT	0.940856	0.945182	3387319
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_18_SAT.cnf	SAT	1.04284	1.04367	3387203
application/fuhs/ AProVE11/AProVE11-09.cnf	SAT	1.12483	2.2736	3387231
application/fuhs/ AProVE11/AProVE11-16.cnf	SAT	1.50077	2.867	3387227
SAT04/industrial/vangelder/cnf-color/ abb313GPIA-9-tr.used-as.sat04-321.cnf	SAT	1.72474	1.72586	3387545
APPLICATIONS/diagnosis/ UTI-10-5t1.cnf	SAT	2.04069	2.04121	3387181
velev-pipe-sat-1.0-b9.cnf	SAT	2.57461	2.58236	3387215
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf	SAT	2.80957	2.81072	3387349
application/fuhs/ AProVE11/AProVE11-15.cnf	SAT	2.90356	5.8116	3387225
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf	SAT	3.15952	3.16177	3387337
application/fuhs/ AProVE11/AProVE11-02.cnf	SAT	3.58046	3.95007	3387241
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf	SAT	3.64545	3.64737	3387347
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf	SAT	4.85326	4.87254	3387343
application/manthey/ traffic/traffic_r_sat.cnf	SAT	5.9161	6.08289	3387407
APPLICATIONS/diagnosis/ UTI-20-10t1.cnf	SAT	6.21505	6.21848	3387199
SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf	SAT	6.31404	6.31598	3387569
application/fuhs/ AProVE11/AProVE11-07.cnf	SAT	6.48301	12.9428	3387229
application/leberre/ 2dimensionalstrippacking/E05F18.cnf	SAT	6.71398	6.71405	3387499
application/fuhs/ AProVE11/AProVE11-13.cnf	SAT	7.84081	7.85261	3387237
ibm-2004-01-k90.cnf	SAT	9.79851	9.82114	3387117
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	11.1853	11.1875	3387095
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf	SAT	13.118	13.1999	3387251
application/leberre/ 2dimensionalstrippacking/E05F20.cnf	SAT	13.7429	13.7483	3387521
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	13.7469	13.7504	3387157
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	SAT	14.5208	14.5512	3387097
application/kullmann/AES/Benchmarks/ 32/aes_32_2_keyfind_1.cnf	SAT	14.7708	14.7738	3387479
ibm-2002-21r-k95.cnf	SAT	15.9646	32.1684	3387221
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug4_q0.used-as.sat04-723.cnf	SAT	16.3465	16.3552	3387563
application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf	SAT	16.6135	22.7153	3387301
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug6_q0.used-as.sat04-725.cnf	SAT	17.5193	17.6857	3387561
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf	SAT	20.5019	20.5035	3387339
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step14.cnf	SAT	21.5337	21.5477	3387311
velev-npe-1.0-9dlx-b71.cnf	SAT	22.1306	22.1614	3387213
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	SAT	25.3561	25.3654	3387101
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	SAT	31.4872	31.5645	3387167
application/fuhs/ AProVE11/AProVE11-10.cnf	SAT	37.3293	37.3299	3387233
application/leberre/ 2dimensionalstrippacking/E04F19.cnf	SAT	38.4951	38.4948	3387497
application/leberre/ 2dimensionalstrippacking/E04F20.cnf	SAT	38.8641	38.863	3387505
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	42.2856	49.9275	3387151
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	43.8643	43.8734	3387171
application/leberre/ 2dimensionalstrippacking/E02F22.cnf	SAT	44.5842	44.5858	3387503
APPLICATIONS/diagnosis/ UR-10-10p1.cnf	SAT	54.8447	54.843	3387195
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-30-step11.cnf	SAT	56.7894	56.7994	3387307
application/manthey/traffic/ traffic_r_uc_sat.cnf	SAT	63.5453	63.5495	3387399
application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf	SAT	65.526	65.556	3387291
APPLICATIONS/diagnosis/ ACG-15-5p1.cnf	SAT	75.0166	75.0151	3387197
SAT-Race-2010-CNF/cryptography/ mizh/md5_48_3.cnf	SAT	99.2009	99.2018	3387619
application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf	SAT	120.922	120.928	3387261
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	SAT	125.375	125.386	3387091
application/leberre/ 2dimensionalstrippacking/E02F20.cnf	SAT	134.044	134.045	3387491
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top30.cnf	SAT	137.091	137.092	3387449
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step16.cnf	SAT	142.134	142.152	3387303
SAT-Race-2010-CNF/cryptography/ mizh/sha0_36_5.cnf	SAT	144.691	144.69	3387617
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top29.cnf	SAT	145.214	145.22	3387441
ibm-2004-23-k100.cnf	SAT	153.903	153.972	3387111
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	SAT	183.408	183.408	3387089
application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf	SAT	209.497	209.534	3387255
SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf	SAT	268.183	268.187	3387567
ibm-2002-30r-k85.cnf	SAT	334.717	334.718	3387115
SAT_RACE08/Q1/ SAT_dat.k85.cnf	SAT	334.938	334.991	3387099
application/manthey/traffic/ traffic_3_uc_sat.cnf	SAT	335.815	335.81	3387405
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	406.138	406.195	3387189
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step16.cnf	SAT	406.618	406.622	3387315
mizh-sha0-36-4.cnf	SAT	443.536	443.604	3387107
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	474.105	474.102	3387175
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	483.164	483.166	3387161
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top28.cnf	SAT	824.637	824.682	3387445
application/rintanen/SATPlanning/ transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf	SAT	862.433	862.426	3387297
industrial/palacios/medium/ cube-11-h14-sat.cnf	SAT	874.971	874.982	3387065
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	SAT	987.324	987.321	3387191
SAT05/industrial/narain05/vpn/ clauses-8.renamed-as.sat05-1964.cnf	SAT	988.955	988.948	3387585
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	SAT	1048.6	1048.57	3387159
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	SAT	1057.43	1057.45	3387063
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf	SAT	1198.33	1200.11	3387415
industrial/crypto/ mizh-sha0-36-2.cnf	SAT	1217.59	1217.58	3387077
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step21.cnf	SAT	1520.85	1520.83	3387325
application/rintanen/SATPlanning/ transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf	SAT	1868.91	1869.28	3387271
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top25.cnf	SAT	2024.52	2024.47	3387443
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	SAT	2486.84	2486.83	3387249
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	SAT	2573.58	2573.54	3387043
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	SAT	2601.04	2600.97	3387193
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	SAT	2719.8	2719.76	3387041
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf	SAT	4184.86	4184.78	3387429
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	SAT	4706.04	4706.09	3387045

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom15.cnf	? (TO)	4971.07	5100.02	3387421
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom25.cnf	? (TO)	5000	4999.93	3387423
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf	? (TO)	5000	4999.91	3387625
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf	? (TO)	5000	4999.91	3387267
SAT-Race-2010-CNF/hardware-verification/ velev/2dlx_ca_bp_f_liveness.cnf	? (TO)	5000	4999.92	3387629
SAT03/industrial/kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	? (TO)	5000.01	4999.93	3387537
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf	? (TO)	5000.01	4999.92	3387279
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf	? (TO)	5000.01	4999.93	3387273
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf	? (TO)	5000.01	4999.93	3387277
SAT02/industrial/aloul/ Homer/homer16.shuffled.cnf	? (TO)	5000.01	4999.93	3387591
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf	? (TO)	5000.01	4999.92	3387559
application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf	? (TO)	5000.01	4999.92	3387483
application/kullmann/AES/Benchmarks/ 64/aes_64_2_keyfind_1.cnf	? (TO)	5000.01	4999.92	3387473
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom18.cnf	? (TO)	5000.01	5000.13	3387451
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf	? (TO)	5000.01	4999.92	3387243
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf	? (TO)	5000.01	4999.92	3387281
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-countbits128-tseitin.cnf	? (TO)	5000.02	4999.83	3387351
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom23.cnf	? (TO)	5000.02	4999.93	3387461
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom21.cnf	? (TO)	5000.02	4999.92	3387459
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	5000.02	4999.92	3387047
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf	? (TO)	5000.02	5000.13	3387345
APPLICATIONS/crypto/ md5gen/gus-md5-12.cnf	? (TO)	5000.02	4999.92	3387147
SAT03/industrial/schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	? (TO)	5000.02	4995.32	3387543
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top24.cnf	? (TO)	5000.02	4999.93	3387433
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf	? (TO)	5000.02	4999.93	3387431
SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf	? (TO)	5000.02	4999.93	3387549
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf	? (TO)	5000.02	4999.83	3387557
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf	? (TO)	5000.02	4999.92	3387395
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	5000.02	4999.92	3387051
SAT03/industrial/goldberg/hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	? (TO)	5000.02	4999.93	3387527
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	5000.02	4999.93	3387119
SAT03/industrial/maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf	? (TO)	5000.02	4999.93	3387525
application/kullmann/AES/Benchmarks/ 32/aes_32_3_keyfind_1.cnf	? (TO)	5000.02	4999.93	3387487
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf	? (TO)	5000.02	4999.83	3387359
APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf	? (TO)	5000.03	4999.92	3387127
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	5000.03	4999.93	3387141
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	5000.03	4999.93	3387263
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf	? (TO)	5000.03	5000.12	3387383
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf	? (TO)	5000.03	4999.93	3387447
SAT04/industrial/vangelder/ cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf	? (TO)	5000.03	4999.93	3387547
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf	? (TO)	5000.03	4999.92	3387623
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom26.cnf	? (TO)	5000.04	4999.93	3387419
SAT05/industrial/grieu05/vmpc/ vmpc_36.renamed-as.sat05-1922.cnf	? (TO)	5000.04	5000.03	3387575
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf	? (TO)	5000.04	4999.92	3387333
SAT05/industrial/grieu05/vmpc/ vmpc_32.renamed-as.sat05-1919.cnf	? (TO)	5000.04	4999.92	3387571
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf	? (TO)	5000.04	4999.92	3387253
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	5000.04	4999.93	3387123
APPLICATIONS/bitverif/ smulo/smulo064.cnf	? (TO)	5000.04	4999.92	3387131
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	5000.04	4999.93	3387143
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_11_ooo.cnf	? (TO)	5000.04	5000.12	3387627
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	5000.04	4999.93	3387211
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom20.cnf	? (TO)	5000.04	4999.93	3387425
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	5000.05	4999.92	3387289
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf	? (TO)	5000.05	4999.93	3387209
APPLICATIONS/diagnosis/ UR-20-10p0.cnf	? (TO)	5000.05	5000.02	3387183
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom17.cnf	? (TO)	5000.05	5000.12	3387457
application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf	? (TO)	5000.05	4999.93	3387463
application/kullmann/AES/Benchmarks/ 64/aes_64_4_keyfind_1.cnf	? (TO)	5000.05	5000.32	3387471
APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf	? (TO)	5000.05	4999.92	3387135
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	5000.05	4999.92	3387125
SAT03/industrial/li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	? (TO)	5000.05	5000.03	3387535
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	5000.05	4999.92	3387103
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf	? (TO)	5000.05	5000.23	3387555
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.080-SAT.cnf	? (TO)	5000.05	5000.03	3387283
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf	? (TO)	5000.06	4999.92	3387453
SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf	? (TO)	5000.06	5000.12	3387573
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	5000.06	5000.04	3387299
application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf	? (TO)	5000.06	5000.13	3387465
application/kullmann/AES/Benchmarks/ 64/aes_64_3_keyfind_1.cnf	? (TO)	5000.06	4999.92	3387477
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf	? (TO)	5000.06	4999.92	3387247
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf	? (TO)	5000.06	5000.03	3387357
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	5000.06	4999.92	3387057
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	5000.06	4999.93	3387093
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf	? (TO)	5000.06	5000.03	3387361
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf	? (TO)	5000.07	5000.13	3387265
application/kullmann/AES/Benchmarks/ 64/aes_64_1_keyfind_1.cnf	? (TO)	5000.07	4999.92	3387475
application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf	? (TO)	5000.07	5000.02	3387469
application/kullmann/AES/Benchmarks/ 128/aes_128_1_keyfind_1.cnf	? (TO)	5000.07	5000.02	3387467
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf	? (TO)	5000.07	5000.02	3387427
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_k.cnf	? (TO)	5000.07	4999.94	3387631
SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf	? (TO)	5000.07	4999.93	3387593
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom24.cnf	? (TO)	5000.08	5000.13	3387417
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom22.cnf	? (TO)	5000.08	5000.03	3387455
SAT03/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf	? (TO)	5000.08	5000.02	3387533
APPLICATIONS/bitverif/countbitsarray/ countbitsarray04_32.cnf	? (TO)	5000.08	5000.02	3387139
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom19.cnf	? (TO)	5000.09	5000.01	3387439
application/leberre/ 2dimensionalstrippacking/korf-18.cnf	? (TO)	5000.09	5000.01	3387501
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	5000.09	5000.02	3387073
SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf	? (TO)	5000.09	5000.03	3387565
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	5000.09	5000.02	3387205
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	? (TO)	5000.1	5000.02	3387081
APPLICATIONS/bitverif/ maxxororand/maxxororand064.cnf	? (TO)	5000.1	5000.02	3387133
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	? (TO)	5000.1	5000.03	3387607
application/kullmann/AES/Benchmarks/ 32/aes_32_4_keyfind_1.cnf	? (TO)	5000.1	5000.22	3387485
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf	? (TO)	5000.1	5000.02	3387259
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	5000.1	5049.62	3387153
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf	? (TO)	5000.1	5000.03	3387275
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	5000.11	5000.02	3387137
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	5000.11	5000.02	3387155
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	5000.11	5000.02	3387061
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf	? (TO)	5000.11	5000.02	3387269
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	5000.11	5000.02	3387129
application/leberre/ 2dimensionalstrippacking/E00X23.cnf	? (TO)	5000.11	5000.02	3387513

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

Result page for solver minisat hack: minisat_psm 2011-04-01 (complete)

Category "applications instances" (APPLICATION)

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

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

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