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.002999	0.013393	3348470
application/leberre/ 2dimensionalstrippacking/E07N15.cnf	UNSAT	0.007998	0.0137119	3348490
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	UNSAT	0.008997	0.0124179	3348491
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf	UNSAT	0.095985	0.100856	3348479
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	UNSAT	0.132979	0.134492	3348493
SAT02/industrial/goldberg/rand_net/ rand_net60-30-1.shuffled.cnf	UNSAT	0.172973	0.188054	3348472
APPLICATIONS/bitverif/ minandmaxor/minandmaxor016.cnf	UNSAT	0.308952	0.310746	3348475
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf	UNSAT	0.482925	0.494164	3348480
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf	UNSAT	0.507922	0.508367	3348481
SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf	UNSAT	0.571912	0.573623	3348478
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	0.855869	0.857693	3348474
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf	UNSAT	0.879866	0.892402	3348482
application/leberre/ 2dimensionalstrippacking/E03N17.cnf	UNSAT	1.68474	1.68568	3348492
SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf	UNSAT	4.40833	4.4092	3348477
SAT02/industrial/goldberg/rand_net/ rand_net60-25-10.shuffled.cnf	UNSAT	4.67429	4.67714	3348471
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	UNSAT	5.45617	5.45656	3348487
application/leberre/ 2dimensionalstrippacking/E05X15.cnf	UNSAT	7.70883	7.71	3348654
SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf	UNSAT	8.34673	8.35022	3348632
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf	UNSAT	8.37972	8.38255	3348637
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	UNSAT	8.88965	8.8902	3348486
APPLICATIONS/diagnosis/ UTI-20-10t0.cnf	UNSAT	10.6914	10.6917	3348476
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step15.cnf	UNSAT	16.2265	16.2296	3348641
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf	UNSAT	18.5212	18.5338	3348483
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	UNSAT	18.9431	18.9419	3348484
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf	UNSAT	21.2928	21.293	3348488
SAT03/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	UNSAT	22.3086	22.308	3348607
SAT04/industrial/hoonsang/vis-bmc/ dekker.used-as.sat04-989.cnf	UNSAT	22.6666	22.6703	3348608
velev-pipe-o-uns-1.1-6.cnf	UNSAT	26.464	26.4696	3348626
application/rintanen/SATPlanning/ grid-strips-grid-y-4.025-NOTKNOWN.cnf	UNSAT	26.619	26.619	3348667
application/fuhs/ AProVE11/AProVE11-11.cnf	UNSAT	30.2884	30.2909	3348633
application/leberre/ 2dimensionalstrippacking/korf-15.cnf	UNSAT	38.5421	38.5489	3348655
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	UNSAT	39.9049	39.9078	3348485
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	UNSAT	48.1277	48.1267	3348610
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-nlzbe256-tseitin.cnf	UNSAT	48.7896	48.7897	3348652
application/leberre/ 2dimensionalstrippacking/E02F17.cnf	UNSAT	48.8556	48.8581	3348656
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	81.6666	81.6655	3348618
SAT04/industrial/hoonsang/vis-bmc/ all.used-as.sat04-986.cnf	UNSAT	92.022	92.0202	3348609
APPLICATIONS/diagnosis/ ACG-10-10p0.cnf	UNSAT	99.1789	99.1904	3348623
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	UNSAT	107.508	107.51	3348606
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	112.732	112.742	3348624
manol-pipe-f7nidw.cnf	UNSAT	112.74	112.742	3348629
industrial/manolios/ manol-pipe-f7idw.cnf	UNSAT	112.938	112.935	3348617
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step13.cnf	UNSAT	133.58	133.581	3348642
application/rintanen/SATPlanning/ blocks-blocks-37-1.120-NOTKNOWN.cnf	UNSAT	136.664	136.673	3348669
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	177.703	177.699	3348620
manol-pipe-c6bidw_i.cnf	UNSAT	193.03	193.025	3348628
SAT02/industrial/goldberg/rand_net/ rand_net60-40-10.shuffled.cnf	UNSAT	193.923	193.941	3348604
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	197.214	197.207	3348619
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf	UNSAT	198.763	198.763	3348648
velev-pipe-o-uns-1.0-7.cnf	UNSAT	204.036	204.031	3348627
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf	UNSAT	206.298	206.289	3348664
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf	UNSAT	240.201	240.195	3348647
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	260.62	260.617	3348473
SAT-Race-2010-CNF/hardware-verification/ manolios/c10idw_i.cnf	UNSAT	330.141	330.15	3348631
industrial/fuhs/medium/ AProVE07-21.cnf	UNSAT	393.869	393.874	3348612
application/manthey/traffic/ traffic_fb_unknown.cnf	UNSAT	467.789	467.774	3348663
application/manthey/traffic/ traffic_kkb_unknown.cnf	UNSAT	470.789	470.792	3348659
APPLICATIONS/ bitverif/maxxor/maxxor032.cnf	UNSAT	483.024	483.014	3348621
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf	UNSAT	514.297	514.296	3348643
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf	UNSAT	519.561	519.603	3348651
application/manthey/traffic/ traffic_pcb_unknown.cnf	UNSAT	536.157	536.146	3348662
application/manthey/traffic/ traffic_3b_unknown.cnf	UNSAT	538.919	538.918	3348658
application/manthey/traffic/ traffic_f_unknown.cnf	UNSAT	542.271	542.274	3348661
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step15.cnf	UNSAT	561.619	561.599	3348640
application/manthey/traffic/ traffic_b_unsat.cnf	UNSAT	587.036	587.02	3348660
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	718.551	718.53	3348625
SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf	UNSAT	806.195	806.167	3348603
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom12.cnf	UNSAT	840.467	840.438	3348634
application/rintanen/SATPlanning/ grid-strips-grid-y-3.035-NOTKNOWN.cnf	UNSAT	853.125	853.109	3348666
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf	UNSAT	877.205	877.364	3348638
SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf	UNSAT	908.464	908.482	3348605
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_k.cnf	UNSAT	924.502	924.501	3348540
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf	UNSAT	990.214	990.19	3348541
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	1011.61	1011.59	3348622

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/maris05/DriverLog/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT	0.000999	0.0137669	3348450
SAT05/industrial/maris05/DriverLog/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT	0.000999	0.0137919	3348553
SAT05/industrial/maris05/Rovers/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT	0.002998	0.0137409	3348452
SAT02/industrial/biere/ dinphil/dp04s04.shuffled.cnf	SAT	0.002999	0.013339	3348447
SAT02/industrial/aloul/ Bart/bart17.shuffled.cnf	SAT	0.005998	0.011191	3348446
SAT05/industrial/maris05/Ferry/ ferry5_ks99i.renamed-as.sat05-3994.cnf	SAT	0.008997	0.0138389	3348451
application/kullmann/AES/Benchmarks/ 32/aes_32_1_keyfind_1.cnf	SAT	0.016996	0.0175011	3348468
SAT02/industrial/goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT	0.038993	0.04211	3348449
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_18_SAT.cnf	SAT	0.044992	0.0462891	3348569
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf	SAT	0.096984	0.0984441	3348568
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf	SAT	0.148976	0.162803	3348448
SAT04/industrial/vangelder/cnf-color/ abb313GPIA-9-tr.used-as.sat04-321.cnf	SAT	0.211967	0.214924	3348547
application/fuhs/ AProVE11/AProVE11-12.cnf	SAT	0.290955	0.292151	3348455
application/fuhs/ AProVE11/AProVE11-09.cnf	SAT	0.317951	0.319248	3348457
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf	SAT	0.399938	0.413409	3348462
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf	SAT	0.615905	0.618866	3348466
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf	SAT	0.630903	0.637553	3348463
APPLICATIONS/diagnosis/ UTI-10-5t1.cnf	SAT	0.747885	0.751614	3348453
application/kullmann/AES/Benchmarks/ 32/aes_32_2_keyfind_1.cnf	SAT	0.971852	0.974584	3348586
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf	SAT	1.12883	1.14026	3348464
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf	SAT	1.48777	1.49849	3348465
application/fuhs/ AProVE11/AProVE11-02.cnf	SAT	1.55076	1.55708	3348459
application/fuhs/ AProVE11/AProVE11-16.cnf	SAT	1.55176	1.55934	3348458
application/manthey/ traffic/traffic_r_sat.cnf	SAT	1.63175	1.63779	3348594
application/fuhs/ AProVE11/AProVE11-10.cnf	SAT	1.85372	1.86601	3348578
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug6_q0.used-as.sat04-725.cnf	SAT	2.16967	2.17872	3348549
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf	SAT	2.19667	2.19976	3348467
APPLICATIONS/diagnosis/ UTI-20-10t1.cnf	SAT	2.78658	2.78849	3348454
velev-pipe-sat-1.0-b9.cnf	SAT	3.53946	3.85586	3348571
application/fuhs/ AProVE11/AProVE11-13.cnf	SAT	3.76843	3.76925	3348461
application/fuhs/ AProVE11/AProVE11-07.cnf	SAT	5.18721	5.21682	3348460
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	SAT	8.65268	8.67625	3348557
ibm-2004-01-k90.cnf	SAT	11.9262	11.9281	3348572
application/fuhs/ AProVE11/AProVE11-15.cnf	SAT	13.6329	13.6367	3348456
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf	SAT	18.9611	18.9774	3348596
application/leberre/ 2dimensionalstrippacking/E05F18.cnf	SAT	19.416	19.4189	3348469
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf	SAT	21.3208	21.3206	3348505
application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf	SAT	23.5434	23.5738	3348600
SAT-Race-2010-CNF/cryptography/ mizh/md5_48_3.cnf	SAT	27.7318	27.7344	3348577
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	SAT	27.8458	30.5331	3348501
application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf	SAT	32.614	32.6169	3348599
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	35.3116	35.3198	3348561
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	38.7621	38.7663	3348560
ibm-2002-21r-k95.cnf	SAT	39.9969	40.0068	3348570
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	SAT	42.4345	42.4428	3348575
application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf	SAT	43.0814	43.0814	3348601
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-30-step11.cnf	SAT	43.4224	43.4571	3348583
application/leberre/ 2dimensionalstrippacking/E05F20.cnf	SAT	48.2657	48.2951	3348590
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	51.8211	51.821	3348558
SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf	SAT	55.9595	55.9585	3348551
SAT-Race-2010-CNF/cryptography/ mizh/sha0_36_5.cnf	SAT	68.5646	68.564	3348507
mizh-sha0-36-4.cnf	SAT	69.2305	69.2317	3348700
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	82.4375	82.4456	3348559
APPLICATIONS/diagnosis/ ACG-15-5p1.cnf	SAT	86.5278	86.5439	3348565
application/manthey/traffic/ traffic_3_uc_sat.cnf	SAT	87.2697	87.2682	3348593
application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf	SAT	91.7091	91.7146	3348602
application/manthey/traffic/ traffic_r_uc_sat.cnf	SAT	92.9909	92.9989	3348595
application/leberre/ 2dimensionalstrippacking/E04F20.cnf	SAT	93.1718	96.9101	3348591
application/leberre/ 2dimensionalstrippacking/E04F19.cnf	SAT	93.9707	93.9734	3348588
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step14.cnf	SAT	140.896	140.91	3348584
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step16.cnf	SAT	147.649	147.646	3348581
velev-npe-1.0-9dlx-b71.cnf	SAT	153.155	153.196	3348506
APPLICATIONS/diagnosis/ UR-10-10p1.cnf	SAT	157.065	157.068	3348564
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	SAT	157.257	157.286	3348555
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	SAT	167.329	167.34	3348554
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug4_q0.used-as.sat04-723.cnf	SAT	182.393	182.432	3348550
industrial/crypto/ mizh-sha0-36-2.cnf	SAT	242.544	242.544	3348684
application/kullmann/AES/Benchmarks/ 64/aes_64_1_keyfind_1.cnf	SAT	256.655	256.665	3348587
application/leberre/ 2dimensionalstrippacking/E02F20.cnf	SAT	260.621	260.618	3348589
application/leberre/ 2dimensionalstrippacking/E02F22.cnf	SAT	274.914	274.911	3348592
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf	SAT	360.128	360.146	3348585
SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf	SAT	369.346	369.357	3348552
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	380.074	380.065	3348562
SAT_RACE08/Q1/ SAT_dat.k85.cnf	SAT	476.778	476.813	3348576
ibm-2002-30r-k85.cnf	SAT	485.372	485.356	3348574
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	566.848	566.838	3348567
ibm-2004-23-k100.cnf	SAT	710.292	710.28	3348573
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step16.cnf	SAT	798.753	798.745	3348582
industrial/palacios/medium/ cube-11-h14-sat.cnf	SAT	917.323	917.33	3348500
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top30.cnf	SAT	941.508	941.492	3348509
application/kullmann/AES/Benchmarks/ 32/aes_32_3_keyfind_1.cnf	SAT	981.296	981.262	3348510
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf	SAT	1119.56	1119.57	3348742
application/rintanen/SATPlanning/ transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf	SAT	1162.32	1162.42	3348598
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	1166.06	1166.07	3348566
application/rintanen/SATPlanning/ transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf	SAT	1221.56	1221.54	3348597

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf	? (TO)	1293.07	1300.13	3348512
SAT05/industrial/grieu05/vmpc/ vmpc_32.renamed-as.sat05-1919.cnf	? (TO)	1298.16	1300.02	3348494
application/leberre/ 2dimensionalstrippacking/korf-18.cnf	? (TO)	1299.23	1300.02	3348546
application/kullmann/AES/Benchmarks/ 128/aes_128_1_keyfind_1.cnf	? (TO)	1299.54	1300.01	3348725
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf	? (TO)	1299.63	1300.03	3348646
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1299.83	1300.02	3348502
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf	? (TO)	1299.92	1300.02	3348719
SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf	? (TO)	1299.96	1300.01	3348679
application/leberre/ 2dimensionalstrippacking/korf-17.cnf	? (TO)	1299.97	1300.02	3348657
SAT02/industrial/aloul/ Homer/homer16.shuffled.cnf	? (TO)	1299.98	1300.01	3348517
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1299.99	1300.02	3348563
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1299.99	1300.02	3348685
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-countbits128-tseitin.cnf	? (TO)	1299.99	1300.03	3348723
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom18.cnf	? (TO)	1300	1300.02	3348706
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf	? (TO)	1300	1300.02	3348709
SAT02/industrial/dellacherie/ comb/comb1.shuffled.cnf	? (TO)	1300.01	1300.02	3348672
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom15.cnf	? (TO)	1300.02	1300.02	3348703
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1300.02	1300.03	3348525
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom13.cnf	? (TO)	1300.02	1300.02	3348635
APPLICATIONS/bitverif/ smulo/smulo064.cnf	? (TO)	1300.02	1300.02	3348695
SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf	? (TO)	1300.02	1300.02	3348496
SAT04/industrial/vangelder/ cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf	? (TO)	1300.02	1300.02	3348548
SAT03/industrial/schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	? (TO)	1300.02	1300.04	3348678
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom23.cnf	? (TO)	1300.02	1300.02	3348714
application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf	? (TO)	1300.02	1300.02	3348727
application/kullmann/AES/Benchmarks/ 64/aes_64_3_keyfind_1.cnf	? (TO)	1300.02	1300.02	3348732
industrial/fuhs/hard/ AProVE07-03.cnf	? (TO)	1300.03	1300.02	3348611
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom19.cnf	? (TO)	1300.03	1300.02	3348707
application/kullmann/AES/Benchmarks/ 32/aes_32_4_keyfind_1.cnf	? (TO)	1300.03	1300.01	3348729
SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf	? (TO)	1300.03	1300.03	3348522
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf	? (TO)	1300.04	1300.04	3348649
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf	? (TO)	1300.04	1300.01	3348489
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1300.04	1300.01	3348689
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1300.04	1300.01	3348686
SAT05/industrial/grieu05/vmpc/ vmpc_36.renamed-as.sat05-1922.cnf	? (TO)	1300.04	1300.03	3348681
SAT03/industrial/goldberg/hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	? (TO)	1300.04	1300.02	3348519
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom21.cnf	? (TO)	1300.04	1300.02	3348710
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf	? (TO)	1300.04	1300.03	3348722
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1300.04	1300.04	3348528
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	? (TO)	1300.04	1300.03	3348616
APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf	? (TO)	1300.04	1300.02	3348690
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom17.cnf	? (TO)	1300.05	1300.02	3348705
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf	? (TO)	1300.05	1300.02	3348704
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf	? (TO)	1300.05	1300.03	3348702
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top25.cnf	? (TO)	1300.05	1300.02	3348717
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1300.05	1300.01	3348696
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top24.cnf	? (TO)	1300.05	1300.02	3348715
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf	? (TO)	1300.05	1300.02	3348713
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf	? (TO)	1300.05	1300.02	3348711
application/kullmann/AES/Benchmarks/ 64/aes_64_2_keyfind_1.cnf	? (TO)	1300.05	1300.02	3348731
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	? (TO)	1300.05	1300.02	3348673
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom26.cnf	? (TO)	1300.05	1300.02	3348720
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	? (TO)	1300.05	1300.02	3348614
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf	? (TO)	1300.05	1300.03	3348644
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	? (TO)	1300.05	1300.02	3348613
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1300.05	1300.03	3348531
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1300.05	1300.07	3348529
application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf	? (TO)	1300.05	1300.01	3348730
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf	? (TO)	1300.05	1300.04	3348639
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1300.05	1300.02	3348687
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf	? (TO)	1300.05	1300.02	3348544
SAT03/industrial/maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf	? (TO)	1300.05	1300.02	3348677
application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf	? (TO)	1300.05	1300.02	3348726
SAT03/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf	? (TO)	1300.05	1300.02	3348675
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1300.05	1300.02	3348699
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom22.cnf	? (TO)	1300.05	1300.02	3348712
application/fuhs/ AProVE11/AProVE11-06.cnf	? (TO)	1300.06	1300.02	3348543
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom24.cnf	? (TO)	1300.06	1300.03	3348716
application/kullmann/AES/Benchmarks/ 64/aes_64_4_keyfind_1.cnf	? (TO)	1300.06	1300.02	3348733
application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf	? (TO)	1300.06	1300.02	3348728
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-13-step17.cnf	? (TO)	1300.06	1300.02	3348636
SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf	? (TO)	1300.06	1300.01	3348671
SAT03/industrial/kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	? (TO)	1300.06	1300.02	3348674
SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf	? (TO)	1300.06	1300.02	3348495
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1300.06	1300.01	3348694
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf	? (TO)	1300.06	1300.03	3348721
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf	? (TO)	1300.06	1300.02	3348645
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom25.cnf	? (TO)	1300.06	1300.02	3348718
application/leberre/ 2dimensionalstrippacking/E00X23.cnf	? (TO)	1300.06	1300.06	3348734
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1300.06	1300.02	3348534
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top28.cnf	? (TO)	1300.06	1300.04	3348508
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1300.06	1300.02	3348537
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top29.cnf	? (TO)	1300.06	1300.02	3348579
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf	? (TO)	1300.06	1300.02	3348724
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step21.cnf	? (TO)	1300.07	1300.04	3348580
SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	? (TO)	1300.07	1300.03	3348521
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom20.cnf	? (TO)	1300.07	1300.02	3348708
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1300.07	1300.02	3348698
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1300.07	1300.02	3348499
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	? (TO)	1300.07	1300.03	3348526
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1300.07	1300.04	3348530
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1300.07	1300.04	3348532
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf	? (TO)	1300.07	1300.07	3348738
APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf	? (TO)	1300.07	1300.04	3348691
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	? (TO)	1300.07	1300.03	3348615
manol-pipe-c10nidw.cnf	? (TO)	1300.07	1300.03	3348630
SAT03/industrial/goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf	? (TO)	1300.08	1300.02	3348518
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1300.08	1300.08	3348498
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1300.08	1300.05	3348692
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1300.08	1300.04	3348527
APPLICATIONS/crypto/ md5gen/gus-md5-12.cnf	? (TO)	1300.08	1300.02	3348697
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_11_ooo.cnf	? (TO)	1300.08	1300.11	3348539
APPLICATIONS/bitverif/countbitsarray/ countbitsarray04_32.cnf	? (TO)	1300.08	1300.02	3348688
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1300.08	1300.06	3348533
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf	? (TO)	1300.08	1300.03	3348545
SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	? (TO)	1300.08	1300.02	3348520
SAT03/industrial/li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	? (TO)	1300.08	1300.04	3348676
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf	? (TO)	1300.09	1300.06	3348739
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1300.09	1300.06	3348503
APPLICATIONS/bitverif/ maxxororand/maxxororand064.cnf	? (TO)	1300.09	1300.05	3348693
SAT05/industrial/narain05/vpn/ clauses-8.renamed-as.sat05-1964.cnf	? (TO)	1300.09	1300.05	3348497
application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf	? (TO)	1300.1	1300.07	3348670
application/leberre/ 2dimensionalstrippacking/E00N23.cnf	? (TO)	1300.1	1300.05	3348735
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1300.1	1300.07	3348683
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	? (TO)	1300.1	1300.04	3348556
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1300.1	1300.07	3348536
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf	? (TO)	1300.1	1300.07	3348741
application/rintanen/SATPlanning/ blocks-blocks-36-0.120-NOTKNOWN.cnf	? (TO)	1300.11	1300.08	3348668
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf	? (TO)	1300.11	1300.06	3348740
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf	? (TO)	1300.11	1300.08	3348737
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf	? (TO)	1300.11	1300.09	3348653
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf	? (TO)	1300.11	1300.08	3348542
SAT-Race-2010-CNF/hardware-verification/ velev/2dlx_ca_bp_f_liveness.cnf	? (TO)	1300.11	1300.09	3348701
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1300.11	1300.07	3348504
APPLICATIONS/diagnosis/ UR-20-10p0.cnf	? (TO)	1300.12	1300.06	3348535
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf	? (TO)	1300.12	1300.09	3348524
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1300.12	1300.08	3348538
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf	? (TO)	1300.12	1300.08	3348523
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf	? (TO)	1300.12	1300.08	3348665
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf	? (TO)	1300.13	1300.1	3348736
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf	? (TO)	1300.13	1300.1	3348680
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.13	1300.14	3348745
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf	? (TO)	1300.13	1300.11	3348511
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.14	1300.14	3348515
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.080-SAT.cnf	? (TO)	1300.14	1300.12	3348743
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf	? (TO)	1300.14	1300.11	3348650
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	? (TO)	1300.14	1300.09	3348682
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1300.15	1300.14	3348744
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf	? (TO)	1300.16	1300.13	3348516
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf	? (TO)	1300.16	1300.13	3348513
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1300.19	1300.14	3348514

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

Result page for solver minisat hack: cir_minisat 2011-03-02 (complete)

Category "applications instances" (APPLICATION)

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

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

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