SAT 2011 Competition: 32 cores track: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/industrial/biere/ dinphil/dp04u03.shuffled.cnf	UNSAT	0.750885	0.119117	3372960
application/leberre/ 2dimensionalstrippacking/E07N15.cnf	UNSAT	1.13983	1.13451	3372813
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	UNSAT	1.24181	1.22507	3372816
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf	UNSAT	7.71283	3.05202	3372600
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	UNSAT	7.8888	2.86633	3372804
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	15.8226	7.77537	3372141
SAT02/industrial/goldberg/rand_net/ rand_net60-30-1.shuffled.cnf	UNSAT	20.7628	1.02224	3372936
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf	UNSAT	30.9843	4.24835	3372603
SAT02/industrial/goldberg/rand_net/ rand_net60-25-10.shuffled.cnf	UNSAT	34.7447	1.32097	3372942
APPLICATIONS/bitverif/ minandmaxor/minandmaxor016.cnf	UNSAT	48.3676	2.10078	3372219
application/leberre/ 2dimensionalstrippacking/E03N17.cnf	UNSAT	49.8874	3.50195	3372780
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf	UNSAT	65.1201	5.93768	3372591
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	76.1934	14.3011	3372144
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf	UNSAT	76.5074	6.25602	3372624
SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf	UNSAT	93.2868	39.2979	3372993
SAT02/industrial/goldberg/rand_net/ rand_net60-40-10.shuffled.cnf	UNSAT	145.297	4.98931	3372939
SAT04/industrial/hoonsang/vis-bmc/ dekker.used-as.sat04-989.cnf	UNSAT	147.213	5.85703	3372864
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf	UNSAT	167.865	6.99597	3372567
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	UNSAT	203.543	12.7411	3372948
application/leberre/ 2dimensionalstrippacking/E05X15.cnf	UNSAT	217.09	8.00846	3372801
APPLICATIONS/diagnosis/ UTI-20-10t0.cnf	UNSAT	232.881	31.8373	3372303
application/leberre/ 2dimensionalstrippacking/korf-15.cnf	UNSAT	270.842	9.66319	3372771
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	UNSAT	286.022	18.1542	3372585
SAT04/industrial/hoonsang/vis-bmc/ all.used-as.sat04-986.cnf	UNSAT	328.279	11.6037	3372867
SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf	UNSAT	385.983	36.6618	3372990
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	UNSAT	446.721	19.5269	3372621
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	UNSAT	505.763	24.3756	3372096
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step15.cnf	UNSAT	559.149	50.3447	3372513
velev-pipe-o-uns-1.1-6.cnf	UNSAT	579.616	23.0358	3372363
application/leberre/ 2dimensionalstrippacking/E02F17.cnf	UNSAT	598.451	20.4168	3372777
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf	UNSAT	600.457	31.6139	3372531
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-nlzbe256-tseitin.cnf	UNSAT	610.083	39.6721	3372549
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf	UNSAT	624.189	23.5812	3372570
APPLICATIONS/diagnosis/ ACG-10-10p0.cnf	UNSAT	631.091	32.8247	3372297
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	655.987	35.9406	3372306
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	UNSAT	678.093	29.8837	3372609
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf	UNSAT	730.604	32.0267	3372597
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf	UNSAT	775.062	28.0136	3372507
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	UNSAT	786.976	31.304	3372588
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step15.cnf	UNSAT	821.179	36.8928	3372495
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf	UNSAT	934.674	47.0534	3372534
application/rintanen/SATPlanning/ grid-strips-grid-y-4.025-NOTKNOWN.cnf	UNSAT	949.652	61.5295	3372477
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom12.cnf	UNSAT	969.706	31.7332	3372693
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	1053.86	47.6736	3372138
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf	UNSAT	1096.95	39.9567	3372594
SAT03/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	UNSAT	1137.22	51.4256	3372822
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf	UNSAT	1177.95	60.0564	3372540
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf	UNSAT	1231.89	45.2071	3372627
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	1313.46	48.7921	3372285
application/fuhs/ AProVE11/AProVE11-11.cnf	UNSAT	1342.56	48.2823	3372396
SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf	UNSAT	1367.39	185.31	3372987
manol-pipe-c6bidw_i.cnf	UNSAT	1368.03	48.808	3372201
SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf	UNSAT	1369.61	43.8078	3372933
industrial/manolios/ manol-pipe-f7idw.cnf	UNSAT	1414.91	61.2123	3372156
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf	UNSAT	1721.64	63.7238	3372480
manol-pipe-f7nidw.cnf	UNSAT	1821.47	77.3456	3372207
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	UNSAT	1845.09	65.4178	3372951
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step13.cnf	UNSAT	1950.78	127.562	3372519
SAT-Race-2010-CNF/hardware-verification/ manolios/c10idw_i.cnf	UNSAT	2119.59	78.2944	3372969
velev-pipe-o-uns-1.0-7.cnf	UNSAT	2214.24	78.9262	3372366
industrial/fuhs/medium/ AProVE07-21.cnf	UNSAT	2740.67	86.6844	3372120
APPLICATIONS/ bitverif/maxxor/maxxor032.cnf	UNSAT	3228.92	102.228	3372255
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom13.cnf	UNSAT	3310.78	105.336	3372690
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	3363.87	124.266	3372318
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf	UNSAT	3394.83	111.216	3372606
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf	UNSAT	3474.22	117.554	3372618
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	3729.84	120.076	3372282
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf	UNSAT	3929.72	127.845	3372501
application/rintanen/SATPlanning/ blocks-blocks-37-1.120-NOTKNOWN.cnf	UNSAT	4329.66	244.806	3372405
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf	UNSAT	5055.9	163.675	3372615
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-13-step17.cnf	UNSAT	5697.34	181.023	3372528
SAT02/industrial/aloul/ Homer/homer16.shuffled.cnf	UNSAT	6091.91	194.851	3372924
application/manthey/traffic/ traffic_fb_unknown.cnf	UNSAT	6122.8	206.502	3372633
application/manthey/traffic/ traffic_pcb_unknown.cnf	UNSAT	6598.04	222.106	3372651
application/manthey/traffic/ traffic_b_unsat.cnf	UNSAT	6798.8	226.692	3372654
application/manthey/traffic/ traffic_kkb_unknown.cnf	UNSAT	6878.21	229.961	3372639
application/manthey/traffic/ traffic_f_unknown.cnf	UNSAT	7341.15	243.761	3372642
application/manthey/traffic/ traffic_3b_unknown.cnf	UNSAT	7515.38	245.584	3372657
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf	UNSAT	8319.61	265.433	3372582
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	9024.97	330.275	3372291
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	UNSAT	11502.2	387.329	3372315
SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf	UNSAT	11768.5	372.849	3372921
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_k.cnf	UNSAT	12795.7	473.856	3372984
application/rintanen/SATPlanning/ grid-strips-grid-y-3.035-NOTKNOWN.cnf	UNSAT	15547.3	515.572	3372468
SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	UNSAT	16223	584.969	3372849
manol-pipe-c10nidw.cnf	UNSAT	16387.9	541.91	3372195
industrial/fuhs/hard/ AProVE07-03.cnf	UNSAT	16630.1	523.681	3372126
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf	UNSAT	19958.2	635.82	3372522
APPLICATIONS/bitverif/ maxor/maxor128.cnf	UNSAT	26416.7	839.129	3372243
application/leberre/ 2dimensionalstrippacking/korf-17.cnf	UNSAT	30495.3	957.866	3372798
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	UNSAT	31210.7	992.295	3372222
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf	UNSAT	31478.4	994.32	3372579
application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf	UNSAT	31678	1112.15	3372465
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf	UNSAT	35489.3	1121.4	3372612
SAT03/industrial/goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf	UNSAT	36708.4	1151.73	3372831
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf	UNSAT	38380.2	1257.88	3372873
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf	UNSAT	45972.8	1591.76	3372975
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf	UNSAT	51465.9	1613.16	3372708
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	UNSAT	52440.1	1644.98	3372252
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	UNSAT	53960.6	1689.54	3372150
application/leberre/ 2dimensionalstrippacking/korf-18.cnf	UNSAT	54316.6	1706.45	3372789
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf	UNSAT	55924.6	1925.44	3372972
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	UNSAT	56679	1865.38	3372177
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_11_ooo.cnf	UNSAT	60322.2	1948.39	3372978
velev-vliw-uns-4.0-9-i1.cnf	UNSAT	61593.4	1984.7	3372192
application/rintanen/SATPlanning/ blocks-blocks-36-0.120-NOTKNOWN.cnf	UNSAT	66839	2199.76	3372423
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	UNSAT	67419.5	2123.49	3372216
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf	UNSAT	68794	2156.04	3372573
SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	UNSAT	69552	2181.12	3372834
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	UNSAT	71548.4	2260.55	3372111
APPLICATIONS/diagnosis/ UR-20-10p0.cnf	UNSAT	75342.7	2384.44	3372312
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf	UNSAT	75738.9	2385.77	3372576
SAT03/industrial/maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf	UNSAT	86259.8	2702.3	3372825
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf	UNSAT	93754.6	2948.69	3372435
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf	UNSAT	101492	3287.94	3372870
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	UNSAT	105888	3324.66	3372117
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	UNSAT	112718	3552.6	3372108
SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf	UNSAT	118423	3723.37	3372927
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-countbits128-tseitin.cnf	UNSAT	122099	3854.38	3372564
SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf	UNSAT	126337	4149.3	3372846
APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf	UNSAT	129083	4079.33	3372240
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf	UNSAT	141851	4591.99	3372876
application/fuhs/ AProVE11/AProVE11-06.cnf	UNSAT	144379	4537.09	3372390

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/maris05/Rovers/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT	0.439932	0.11171	3372909
SAT05/industrial/maris05/DriverLog/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT	0.45293	0.0531709	3372903
SAT05/industrial/maris05/DriverLog/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT	0.669897	0.0736401	3372906
SAT02/industrial/biere/ dinphil/dp04s04.shuffled.cnf	SAT	0.691894	0.128015	3372954
SAT02/industrial/aloul/ Bart/bart17.shuffled.cnf	SAT	0.811876	0.092011	3372918
application/kullmann/AES/Benchmarks/ 32/aes_32_1_keyfind_1.cnf	SAT	3.2455	0.264701	3372759
SAT05/industrial/maris05/Ferry/ ferry5_ks99i.renamed-as.sat05-3994.cnf	SAT	4.05638	0.280327	3372912
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf	SAT	8.06477	4.06535	3372516
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf	SAT	20.3739	1.4587	3372957
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	25.1742	2.66233	3372273
application/kullmann/AES/Benchmarks/ 32/aes_32_2_keyfind_1.cnf	SAT	30.4474	1.07657	3372756
application/fuhs/ AProVE11/AProVE11-09.cnf	SAT	32.4281	5.69023	3372384
APPLICATIONS/diagnosis/ UTI-10-5t1.cnf	SAT	36.4215	10.8936	3372309
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf	SAT	45.5931	4.42153	3372348
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf	SAT	50.0494	15.9528	3372546
application/fuhs/ AProVE11/AProVE11-12.cnf	SAT	50.2484	4.41751	3372372
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_18_SAT.cnf	SAT	59.104	5.96446	3372342
SAT02/industrial/goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT	63.1804	4.59079	3372930
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf	SAT	69.7434	12.1511	3372543
SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf	SAT	74.0088	3.6438	3372891
application/fuhs/ AProVE11/AProVE11-02.cnf	SAT	94.2517	17.6486	3372399
application/fuhs/ AProVE11/AProVE11-16.cnf	SAT	126.044	9.57726	3372378
application/fuhs/ AProVE11/AProVE11-13.cnf	SAT	127.496	38.7079	3372393
APPLICATIONS/diagnosis/ UTI-20-10t1.cnf	SAT	151.305	29.0675	3372336
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug4_q0.used-as.sat04-723.cnf	SAT	157.206	71.6777	3372882
application/manthey/ traffic/traffic_r_sat.cnf	SAT	183.335	71.0907	3372648
application/leberre/ 2dimensionalstrippacking/E05F18.cnf	SAT	188.113	8.78861	3372786
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	202.628	8.52024	3372264
SAT04/industrial/vangelder/cnf-color/ abb313GPIA-9-tr.used-as.sat04-321.cnf	SAT	203.632	10.9659	3372855
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf	SAT	216.14	15.413	3372351
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug6_q0.used-as.sat04-725.cnf	SAT	255.753	75.7129	3372879
application/fuhs/ AProVE11/AProVE11-10.cnf	SAT	259.8	28.9626	3372387
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf	SAT	264.622	20.2133	3372558
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf	SAT	265.002	17.6928	3372561
application/fuhs/ AProVE11/AProVE11-15.cnf	SAT	380.964	16.7028	3372375
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf	SAT	442.404	29.5371	3372552
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf	SAT	542.332	41.6148	3372414
ibm-2002-21r-k95.cnf	SAT	565.602	30.4816	3372369
ibm-2004-01-k90.cnf	SAT	566.413	22.9044	3372213
mizh-sha0-36-4.cnf	SAT	593.866	22.4967	3372198
application/fuhs/ AProVE11/AProVE11-07.cnf	SAT	639.508	43.6784	3372381
APPLICATIONS/diagnosis/ UR-10-10p1.cnf	SAT	697.101	34.3271	3372330
application/leberre/ 2dimensionalstrippacking/E05F20.cnf	SAT	731.075	35.3853	3372819
application/kullmann/AES/Benchmarks/ 32/aes_32_3_keyfind_1.cnf	SAT	740.572	23.5714	3372768
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	SAT	741.311	30.4601	3372189
application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf	SAT	806.597	191.547	3372420
APPLICATIONS/diagnosis/ ACG-15-5p1.cnf	SAT	896.431	46.1404	3372333
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	SAT	921.837	31.0386	3372276
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step16.cnf	SAT	941.251	42.0035	3372492
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	SAT	968.413	32.3532	3372267
application/manthey/traffic/ traffic_3_uc_sat.cnf	SAT	1011.01	60.1739	3372645
application/leberre/ 2dimensionalstrippacking/E04F19.cnf	SAT	1042.11	40.4798	3372783
SAT-Race-2010-CNF/cryptography/ mizh/sha0_36_5.cnf	SAT	1084.93	37.9201	3372963
velev-pipe-sat-1.0-b9.cnf	SAT	1161.68	158.92	3372360
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step16.cnf	SAT	1167.57	72.7187	3372510
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	1242.11	40.9806	3372279
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf	SAT	1256.26	62.2399	3372537
application/leberre/ 2dimensionalstrippacking/E04F20.cnf	SAT	1316.51	55.4513	3372795
application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf	SAT	1347.5	187.195	3372489
application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf	SAT	1347.96	198.086	3372429
SAT-Race-2010-CNF/cryptography/ mizh/md5_48_3.cnf	SAT	1595.11	55.3136	3372966
industrial/crypto/ mizh-sha0-36-2.cnf	SAT	1629.79	55.1136	3372153
application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf	SAT	1945.57	207.853	3372474
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	2069.22	83.9782	3372294
application/kullmann/AES/Benchmarks/ 64/aes_64_1_keyfind_1.cnf	SAT	2150.4	67.9931	3372750
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-30-step11.cnf	SAT	2232.41	112.775	3372498
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	SAT	2275.48	93.9363	3372102
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	2314.17	96.2144	3372321
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	2457.58	331.474	3372180
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	SAT	2563.97	335.7	3372183
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	SAT	2621.59	90.699	3372174
application/leberre/ 2dimensionalstrippacking/E02F20.cnf	SAT	2691.12	93.8011	3372774
velev-npe-1.0-9dlx-b71.cnf	SAT	3251.84	349.634	3372357
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step14.cnf	SAT	3262.93	178.238	3372504
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top29.cnf	SAT	3348.83	110.796	3372699
industrial/palacios/medium/ cube-11-h14-sat.cnf	SAT	3672.99	151.019	3372135
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	4060.69	147.35	3372300
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf	SAT	4363.07	141.456	3372660
SAT05/industrial/grieu05/vmpc/ vmpc_32.renamed-as.sat05-1919.cnf	SAT	4950.31	157.19	3372894
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top30.cnf	SAT	5075.55	164.94	3372711
application/leberre/ 2dimensionalstrippacking/E02F22.cnf	SAT	5897.94	219.688	3372792
SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf	SAT	5901.75	186.472	3372888
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	SAT	5992.18	1176.86	3372288
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step21.cnf	SAT	6299.19	202.918	3372525
SAT_RACE08/Q1/ SAT_dat.k85.cnf	SAT	6864.47	230.076	3372186
application/manthey/traffic/ traffic_r_uc_sat.cnf	SAT	8923.25	381.544	3372636
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	SAT	9263.69	309.98	3372105
ibm-2004-23-k100.cnf	SAT	9419.83	312.388	3372204
ibm-2002-30r-k85.cnf	SAT	9934.42	325.828	3372210
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top28.cnf	SAT	10608.6	337.749	3372705
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	SAT	10964.5	356.434	3372171
application/rintanen/SATPlanning/ transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf	SAT	12890.2	463.226	3372444
application/rintanen/SATPlanning/ transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf	SAT	13201.3	492.989	3372483
SAT05/industrial/narain05/vpn/ clauses-8.renamed-as.sat05-1964.cnf	SAT	15246.5	601.36	3372915
SAT04/industrial/vangelder/ cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf	SAT	16132.6	517.453	3372858
SAT05/industrial/grieu05/vmpc/ vmpc_36.renamed-as.sat05-1922.cnf	SAT	18891.4	594.88	3372900
SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf	SAT	22850.6	718.245	3372885
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	SAT	24794.5	804.359	3372324
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top25.cnf	SAT	25991.1	818.117	3372702
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	SAT	33195.3	1067.1	3372327
SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf	SAT	41057.6	1288.19	3372897
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	SAT	72829.2	2305.78	3372099
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf	SAT	101061	3237.44	3372447
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	SAT	105621	3401.31	3372411
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	SAT	124681	3930.86	3372132

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf	? (TO)	157765	5101.95	3372450
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	157895	5102.11	3372471
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf	? (TO)	158322	5102.49	3372426
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	158596	5101.98	3372432
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf	? (TO)	158720	5102.21	3372453
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf	? (TO)	158742	5101.97	3372417
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf	? (TO)	158935	5102.41	3372459
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	159276	5102.11	3372486
application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf	? (TO)	160001	5007.57	3372735
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	? (TO)	160001	5014.04	3372159
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom25.cnf	? (TO)	160001	5011.18	3372672
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	160001	5007.7	3372270
application/kullmann/AES/Benchmarks/ 64/aes_64_4_keyfind_1.cnf	? (TO)	160001	5007.65	3372744
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	160001	5009.02	3372231
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf	? (TO)	160002	5030.95	3372408
application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf	? (TO)	160002	5008.16	3372732
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top24.cnf	? (TO)	160002	5014.55	3372687
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom20.cnf	? (TO)	160002	5010.37	3372675
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom24.cnf	? (TO)	160002	5010.97	3372663
SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf	? (TO)	160002	5007.47	3372861
application/leberre/ 2dimensionalstrippacking/E00N23.cnf	? (TO)	160002	5068.77	3372810
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf	? (TO)	160002	5028.85	3372438
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf	? (TO)	160002	5018.69	3372630
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	160002	5011.91	3372261
APPLICATIONS/bitverif/countbitsarray/ countbitsarray04_32.cnf	? (TO)	160002	5010.09	3372246
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	160002	5006.73	3372225
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	? (TO)	160002	5012.65	3372162
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	160002	5014.04	3372129
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	160002	5007.95	3372345
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	160002	5007.9	3372339
application/leberre/ 2dimensionalstrippacking/E00X23.cnf	? (TO)	160003	5063.48	3372807
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	160003	5010.51	3372123
SAT03/industrial/kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	? (TO)	160003	5010.27	3372843
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	160003	5019.86	3372114
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf	? (TO)	160003	5035.02	3372402
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf	? (TO)	160003	5010.53	3372684
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.080-SAT.cnf	? (TO)	160003	5039.63	3372462
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	? (TO)	160003	5012.27	3372165
SAT02/industrial/dellacherie/ comb/comb1.shuffled.cnf	? (TO)	160003	5008.02	3372945
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom18.cnf	? (TO)	160003	5009.64	3372714
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom23.cnf	? (TO)	160003	5010.85	3372729
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	160003	5008.75	3372354
application/kullmann/AES/Benchmarks/ 128/aes_128_1_keyfind_1.cnf	? (TO)	160003	5008.28	3372738
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	160003	5007.02	3372147
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom15.cnf	? (TO)	160003	5009.51	3372669
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf	? (TO)	160003	5009.47	3372717
application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf	? (TO)	160003	5008.81	3372741
application/kullmann/AES/Benchmarks/ 64/aes_64_2_keyfind_1.cnf	? (TO)	160003	5008.26	3372747
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	? (TO)	160003	5013.82	3372168
application/kullmann/AES/Benchmarks/ 32/aes_32_4_keyfind_1.cnf	? (TO)	160004	5006.85	3372765
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom22.cnf	? (TO)	160004	5010.58	3372720
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom17.cnf	? (TO)	160004	5009.53	3372723
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom21.cnf	? (TO)	160004	5010.52	3372726
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf	? (TO)	160004	5028.52	3372456
application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf	? (TO)	160004	5006.79	3372762
APPLICATIONS/crypto/ md5gen/gus-md5-12.cnf	? (TO)	160004	5012.52	3372258
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	160004	5019.11	3372249
APPLICATIONS/bitverif/ smulo/smulo064.cnf	? (TO)	160004	5008.79	3372234
SAT03/industrial/li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	? (TO)	160004	5024.28	3372840
APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf	? (TO)	160004	5011.65	3372228
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom19.cnf	? (TO)	160004	5010.31	3372696
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf	? (TO)	160004	5012.56	3372678
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom26.cnf	? (TO)	160004	5011.77	3372666
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf	? (TO)	160004	5020.38	3372555
SAT03/industrial/schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	? (TO)	160005	5056.09	3372852
SAT-Race-2010-CNF/hardware-verification/ velev/2dlx_ca_bp_f_liveness.cnf	? (TO)	160005	5075.81	3372981
application/kullmann/AES/Benchmarks/ 64/aes_64_3_keyfind_1.cnf	? (TO)	160005	5010.68	3372753
SAT03/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf	? (TO)	160005	5017.2	3372837
SAT03/industrial/goldberg/hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	? (TO)	160005	5011.64	3372828
APPLICATIONS/bitverif/ maxxororand/maxxororand064.cnf	? (TO)	160005	5019.5	3372237
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf	? (TO)	160005	5012.54	3372681
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf	? (TO)	160006	5031.9	3372441

SAT 2011 Competition: 32 cores track: benchmarks results per solver

Result page for solver Plingeling 587f (fixed) (complete)

Category "applications instances" (APPLICATION)

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

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

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