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.032994	0.017925	3293347
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	UNSAT	0.064989	0.065255	3291139
application/leberre/ 2dimensionalstrippacking/E07N15.cnf	UNSAT	0.068988	0.068247	3291093
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf	UNSAT	0.421935	0.25904	3287827
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	UNSAT	0.657899	0.314448	3290955
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	1.03784	0.641517	3280789
SAT02/industrial/goldberg/rand_net/ rand_net60-30-1.shuffled.cnf	UNSAT	1.22281	0.325784	3292979
SAT02/industrial/goldberg/rand_net/ rand_net60-25-10.shuffled.cnf	UNSAT	2.69859	0.696689	3293071
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf	UNSAT	2.82457	0.886919	3287873
APPLICATIONS/bitverif/ minandmaxor/minandmaxor016.cnf	UNSAT	2.83057	0.732343	3281985
SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf	UNSAT	3.08	27.872	3293761
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf	UNSAT	4.43533	1.30046	3288195
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	5.01724	1.89777	3280835
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf	UNSAT	5.68313	1.64909	3287689
application/leberre/ 2dimensionalstrippacking/E03N17.cnf	UNSAT	6.10407	1.67824	3290587
SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf	UNSAT	7.91779	3.81631	3293853
SAT04/industrial/hoonsang/vis-bmc/ dekker.used-as.sat04-989.cnf	UNSAT	14.6678	3.72725	3291875
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf	UNSAT	15.4247	3.95353	3287321
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	UNSAT	15.6326	4.15446	3293163
APPLICATIONS/diagnosis/ UTI-20-10t0.cnf	UNSAT	15.7076	5.33469	3283273
SAT02/industrial/goldberg/rand_net/ rand_net60-40-10.shuffled.cnf	UNSAT	17.4503	4.39235	3293025
application/leberre/ 2dimensionalstrippacking/E05X15.cnf	UNSAT	24.2083	6.12281	3290909
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	UNSAT	25.7151	7.13088	3287597
SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf	UNSAT	38.0662	12.328	3293807
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	UNSAT	39.258	10.2922	3287965
SAT04/industrial/hoonsang/vis-bmc/ all.used-as.sat04-986.cnf	UNSAT	44.8802	11.2977	3291921
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	UNSAT	49.8684	12.7542	3288149
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	UNSAT	49.9354	12.9975	3280099
application/leberre/ 2dimensionalstrippacking/korf-15.cnf	UNSAT	50.2434	12.6615	3290449
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf	UNSAT	51.8341	13.194	3287367
application/rintanen/SATPlanning/ grid-strips-grid-y-4.025-NOTKNOWN.cnf	UNSAT	58.4001	17.9805	3285941
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step15.cnf	UNSAT	61.8026	17.1719	3286493
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf	UNSAT	66.4759	16.8844	3286401
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf	UNSAT	68.5296	17.6111	3287781
velev-pipe-o-uns-1.1-6.cnf	UNSAT	69.1705	17.5576	3284193
application/leberre/ 2dimensionalstrippacking/E02F17.cnf	UNSAT	74.3397	18.7048	3290541
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	88.6395	22.9517	3280743
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	106.243	27.5661	3283319
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	UNSAT	107.626	27.2699	3287643
APPLICATIONS/diagnosis/ ACG-10-10p0.cnf	UNSAT	118.935	30.4486	3283181
SAT03/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	UNSAT	130.13	33.1977	3291231
application/fuhs/ AProVE11/AProVE11-11.cnf	UNSAT	132.031	33.3814	3284699
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf	UNSAT	133.624	34.0936	3286769
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf	UNSAT	135.383	34.2326	3288241
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-nlzbe256-tseitin.cnf	UNSAT	137.655	35.6135	3287045
industrial/manolios/ manol-pipe-f7idw.cnf	UNSAT	145.358	37.3366	3281019
manol-pipe-c6bidw_i.cnf	UNSAT	147.734	37.2809	3281709
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf	UNSAT	168.284	42.4434	3287735
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	UNSAT	168.893	42.572	3293209
manol-pipe-f7nidw.cnf	UNSAT	171.311	43.8799	3281801
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf	UNSAT	174.533	44.5654	3286815
SAT-Race-2010-CNF/hardware-verification/ manolios/c10idw_i.cnf	UNSAT	204.239	51.8039	3293485
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	221.491	55.8434	3282997
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step15.cnf	UNSAT	234.965	59.4585	3286217
velev-pipe-o-uns-1.0-7.cnf	UNSAT	257.697	65.0637	3284239
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step13.cnf	UNSAT	260.101	68.5893	3286585
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf	UNSAT	268.48	68.5639	3286907
SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf	UNSAT	273.677	68.5554	3292933
application/rintanen/SATPlanning/ blocks-blocks-37-1.120-NOTKNOWN.cnf	UNSAT	279.007	76.6321	3284837
industrial/fuhs/medium/ AProVE07-21.cnf	UNSAT	298.631	74.8615	3280467
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom12.cnf	UNSAT	333.656	83.7671	3289253
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf	UNSAT	348.007	87.7424	3285987
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf	UNSAT	427.805	107.329	3287919
APPLICATIONS/ bitverif/maxxor/maxxor032.cnf	UNSAT	481.405	120.582	3282537
application/manthey/traffic/ traffic_b_unsat.cnf	UNSAT	492.392	124.142	3288655
SAT02/industrial/aloul/ Homer/homer16.shuffled.cnf	UNSAT	511.003	128.4	3292795
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf	UNSAT	521.925	130.9	3286309
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf	UNSAT	528.208	132.538	3288057
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf	UNSAT	540.045	135.66	3288103
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	564.663	141.568	3282951
application/manthey/traffic/ traffic_pcb_unknown.cnf	UNSAT	583.253	147.378	3288609
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	627.986	159.701	3283089
application/manthey/traffic/ traffic_f_unknown.cnf	UNSAT	629.849	158.533	3288471
application/manthey/traffic/ traffic_3b_unknown.cnf	UNSAT	630.585	158.463	3288701
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	656.661	165.386	3283503
application/manthey/traffic/ traffic_kkb_unknown.cnf	UNSAT	658.818	165.731	3288425
application/manthey/traffic/ traffic_fb_unknown.cnf	UNSAT	674.424	169.7	3288333
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-13-step17.cnf	UNSAT	764.436	191.526	3286723
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf	UNSAT	1105.56	277.031	3287551
SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf	UNSAT	1260.99	321.85	3292749
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom13.cnf	UNSAT	1414.67	354.292	3289207
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	UNSAT	1568.24	394.035	3283457
manol-pipe-c10nidw.cnf	UNSAT	1694.43	425.608	3281617
application/rintanen/SATPlanning/ grid-strips-grid-y-3.035-NOTKNOWN.cnf	UNSAT	1764.44	444.74	3285803
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_k.cnf	UNSAT	1776.63	449.76	3293715
industrial/fuhs/hard/ AProVE07-03.cnf	UNSAT	1930.6	483.365	3280559
application/leberre/ 2dimensionalstrippacking/korf-17.cnf	UNSAT	2387.41	597.744	3290863
application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf	UNSAT	2618.34	661.981	3285757
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf	UNSAT	2667.75	668.455	3286631
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf	UNSAT	3057.55	765.945	3287505
SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	UNSAT	3109.86	782.188	3291645
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf	UNSAT	3551.74	892.168	3292013
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf	UNSAT	3777.04	953.157	3293577
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf	UNSAT	4423.29	1116.37	3293531
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	UNSAT	4731.39	1189.3	3281341

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/maris05/DriverLog/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT	0.011997	0.012188	3292473
SAT05/industrial/maris05/DriverLog/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT	0.015997	0.0156339	3292519
SAT05/industrial/maris05/Rovers/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT	0.017996	0.0174431	3292565
SAT02/industrial/biere/ dinphil/dp04s04.shuffled.cnf	SAT	0.034994	0.0188871	3293255
SAT02/industrial/aloul/ Bart/bart17.shuffled.cnf	SAT	0.045992	0.021158	3292703
application/kullmann/AES/Benchmarks/ 32/aes_32_1_keyfind_1.cnf	SAT	0.12798	0.052633	3290265
SAT05/industrial/maris05/Ferry/ ferry5_ks99i.renamed-as.sat05-3994.cnf	SAT	0.206968	0.063819	3292611
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf	SAT	0.654899	0.379887	3286539
application/fuhs/ AProVE11/AProVE11-09.cnf	SAT	1.22681	0.569747	3284515
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf	SAT	1.51577	0.412434	3293301
APPLICATIONS/diagnosis/ UTI-10-5t1.cnf	SAT	2.33864	1.13882	3283365
application/kullmann/AES/Benchmarks/ 32/aes_32_2_keyfind_1.cnf	SAT	2.33864	0.622757	3290219
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf	SAT	2.58561	1.46081	3286999
application/fuhs/ AProVE11/AProVE11-12.cnf	SAT	3.45747	1.03558	3284331
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf	SAT	3.67644	1.11367	3283963
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf	SAT	3.88341	1.62957	3287183
SAT02/industrial/goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT	4.08038	1.12296	3292887
application/fuhs/ AProVE11/AProVE11-02.cnf	SAT	4.39333	1.95555	3284745
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_18_SAT.cnf	SAT	4.75128	1.43624	3283871
application/fuhs/ AProVE11/AProVE11-15.cnf	SAT	5.51016	1.64308	3284377
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf	SAT	7.12892	2.3915	3286953
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf	SAT	7.8638	2.82413	3287091
application/leberre/ 2dimensionalstrippacking/E05F18.cnf	SAT	8.43272	2.28861	3290679
application/fuhs/ AProVE11/AProVE11-13.cnf	SAT	8.5297	4.31767	3284653
application/fuhs/ AProVE11/AProVE11-16.cnf	SAT	9.04762	2.6423	3284423
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug6_q0.used-as.sat04-725.cnf	SAT	10.7334	6.613	3292105
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug4_q0.used-as.sat04-723.cnf	SAT	11.0543	6.65271	3292151
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	11.1413	2.91021	3282813
APPLICATIONS/diagnosis/ UTI-20-10t1.cnf	SAT	11.9752	4.38116	3283779
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf	SAT	14.5728	4.55063	3287229
application/manthey/ traffic/traffic_r_sat.cnf	SAT	15.5896	8.18736	3288563
SAT04/industrial/vangelder/cnf-color/ abb313GPIA-9-tr.used-as.sat04-321.cnf	SAT	18.7681	4.96486	3291737
application/fuhs/ AProVE11/AProVE11-10.cnf	SAT	37.1304	10.7016	3284561
application/leberre/ 2dimensionalstrippacking/E05F20.cnf	SAT	47.3338	16.2425	3291185
SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf	SAT	48.3686	12.2182	3292289
application/fuhs/ AProVE11/AProVE11-07.cnf	SAT	48.5316	13.95	3284469
application/leberre/ 2dimensionalstrippacking/E04F19.cnf	SAT	58.3141	15.0485	3290633
ibm-2004-01-k90.cnf	SAT	58.6321	15.0369	3281893
velev-pipe-sat-1.0-b9.cnf	SAT	59.8439	23.8216	3284147
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf	SAT	61.0597	16.2654	3284009
application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf	SAT	72.9869	27.8775	3285895
application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf	SAT	78.3161	30.5762	3285205
application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf	SAT	79.6489	29.3175	3286125
APPLICATIONS/diagnosis/ UR-10-10p1.cnf	SAT	85.684	22.1979	3283687
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf	SAT	87.0928	23.1721	3284975
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf	SAT	92.6829	24.4332	3286861
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	SAT	93.5978	24.0265	3281525
APPLICATIONS/diagnosis/ ACG-15-5p1.cnf	SAT	105.825	27.5123	3283733
velev-npe-1.0-9dlx-b71.cnf	SAT	113.014	60.9221	3284101
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	SAT	125.548	45.591	3281433
application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf	SAT	137.848	43.832	3285067
ibm-2002-21r-k95.cnf	SAT	150.603	38.7728	3284285
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step16.cnf	SAT	150.708	38.4512	3286171
application/leberre/ 2dimensionalstrippacking/E04F20.cnf	SAT	158.834	40.6	3290817
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step16.cnf	SAT	179.988	47.08	3286447
SAT-Race-2010-CNF/cryptography/ mizh/md5_48_3.cnf	SAT	193.697	48.8045	3293439
SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf	SAT	197.604	49.6074	3292243
SAT-Race-2010-CNF/cryptography/ mizh/sha0_36_5.cnf	SAT	204.393	51.4149	3293393
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	209.564	64.4207	3281387
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	233.084	59.4619	3283135
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	262.353	65.7952	3282675
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	266.749	66.8891	3282905
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-30-step11.cnf	SAT	298.405	77.0235	3286263
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step14.cnf	SAT	311.552	82.0642	3286355
application/leberre/ 2dimensionalstrippacking/E02F22.cnf	SAT	329.582	86.6283	3290771
application/leberre/ 2dimensionalstrippacking/E02F20.cnf	SAT	335.662	84.7827	3290495
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	SAT	376.284	150.415	3283043
industrial/crypto/ mizh-sha0-36-2.cnf	SAT	424.389	106.599	3280973
application/kullmann/AES/Benchmarks/ 32/aes_32_3_keyfind_1.cnf	SAT	426.847	106.968	3290403
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	445.184	112.736	3283549
SAT05/industrial/grieu05/vmpc/ vmpc_32.renamed-as.sat05-1919.cnf	SAT	477.148	119.612	3292335
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top29.cnf	SAT	579.629	145.477	3289345
mizh-sha0-36-4.cnf	SAT	645.227	161.774	3281663
application/rintanen/SATPlanning/ transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf	SAT	676.36	172.667	3286033
application/manthey/traffic/ traffic_r_uc_sat.cnf	SAT	677.157	175.104	3288379
SAT_RACE08/Q1/ SAT_dat.k85.cnf	SAT	680.461	171.229	3281479
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	719.484	181.234	3283227
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	SAT	742.082	187.265	3283595
industrial/palacios/medium/ cube-11-h14-sat.cnf	SAT	866.735	218.729	3280697
application/manthey/traffic/ traffic_3_uc_sat.cnf	SAT	943.812	237.914	3288517
ibm-2004-23-k100.cnf	SAT	1013.59	254.604	3281755
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	SAT	1097.39	275.999	3280191
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top30.cnf	SAT	1180.91	296.016	3289529
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	SAT	1268.37	318.084	3281295
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step21.cnf	SAT	1602.47	401.504	3286677
application/rintanen/SATPlanning/ transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf	SAT	1681.77	424.205	3285435
SAT05/industrial/narain05/vpn/ clauses-8.renamed-as.sat05-1964.cnf	SAT	1716.69	436.246	3292657
SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf	SAT	2106.42	528.014	3292197
application/kullmann/AES/Benchmarks/ 64/aes_64_1_keyfind_1.cnf	SAT	2580.46	646.391	3290127
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top28.cnf	SAT	3259.07	816.155	3289437
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	SAT	3532.4	886.399	3281249
SAT04/industrial/vangelder/ cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf	SAT	3732.56	936.189	3291783
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	SAT	3833.25	960.987	3280237
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	SAT	4643.71	1162.6	3282721
ibm-2002-30r-k85.cnf	SAT	4781.66	1197.92	3281847

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
application/kullmann/AES/Benchmarks/ 32/aes_32_4_keyfind_1.cnf	? (TO)	4800.06	1201.62	3290357
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	4800.06	1201.92	3282859
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	4800.08	1202.23	3280421
SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf	? (TO)	4800.09	1201.73	3292381
application/leberre/ 2dimensionalstrippacking/E00X23.cnf	? (TO)	4800.09	1205.15	3291001
APPLICATIONS/crypto/ md5gen/gus-md5-12.cnf	? (TO)	4800.1	1202.02	3282583
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom19.cnf	? (TO)	4800.1	1202.83	3289299
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	? (TO)	4800.1	1201.83	3281111
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	4800.11	1201.96	3281939
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	4800.12	1202.74	3282445
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	4800.13	1202.54	3280375
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom15.cnf	? (TO)	4800.13	1201.72	3288885
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top25.cnf	? (TO)	4800.13	1201.93	3289391
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	? (TO)	4800.13	1201.84	3281065
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf	? (TO)	4800.14	1202.43	3287137
APPLICATIONS/bitverif/ smulo/smulo064.cnf	? (TO)	4800.14	1202.13	3282215
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf	? (TO)	4800.14	1201.63	3289483
APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf	? (TO)	4800.14	1202.35	3282307
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf	? (TO)	4800.15	1202.04	3289115
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf	? (TO)	4800.15	1222.37	3284883
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.080-SAT.cnf	? (TO)	4800.16	1203.45	3285711
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf	? (TO)	4800.16	1207.49	3291967
application/rintanen/SATPlanning/ blocks-blocks-36-0.120-NOTKNOWN.cnf	? (TO)	4800.16	1207.26	3285113
APPLICATIONS/bitverif/countbitsarray/ countbitsarray04_32.cnf	? (TO)	4800.17	1201.85	3282399
SAT03/industrial/kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	? (TO)	4800.18	1205.64	3291553
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf	? (TO)	4800.18	1201.94	3288747
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf	? (TO)	4800.18	1201.84	3289069
APPLICATIONS/diagnosis/ UR-20-10p0.cnf	? (TO)	4800.18	1203.04	3283411
SAT02/industrial/dellacherie/ comb/comb1.shuffled.cnf	? (TO)	4800.19	1201.74	3293117
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf	? (TO)	4800.19	1201.84	3287413
application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf	? (TO)	4800.19	1201.62	3289897
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf	? (TO)	4800.19	1202.11	3285389
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf	? (TO)	4800.2	1203.26	3284791
application/fuhs/ AProVE11/AProVE11-06.cnf	? (TO)	4800.2	1202.74	3284607
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom21.cnf	? (TO)	4800.21	1201.83	3289759
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	4800.21	1201.72	3282169
application/leberre/ 2dimensionalstrippacking/korf-18.cnf	? (TO)	4800.21	1202.14	3290725
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	4800.21	1201.75	3283825
SAT-Race-2010-CNF/hardware-verification/ velev/2dlx_ca_bp_f_liveness.cnf	? (TO)	4800.21	1205.16	3293669
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	? (TO)	4800.23	1201.74	3281157
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	4800.24	1204.67	3281571
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	4800.24	1202.26	3282491
SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf	? (TO)	4800.24	1201.63	3291829
application/kullmann/AES/Benchmarks/ 64/aes_64_2_keyfind_1.cnf	? (TO)	4800.24	1202.32	3290081
application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf	? (TO)	4800.26	1201.72	3290311
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf	? (TO)	4800.26	1202.16	3285665
application/kullmann/AES/Benchmarks/ 64/aes_64_4_keyfind_1.cnf	? (TO)	4800.26	1201.72	3290035
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	4800.26	1205.95	3284929
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf	? (TO)	4800.26	1201.83	3289023
SAT03/industrial/maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf	? (TO)	4800.26	1201.77	3291277
SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	? (TO)	4800.26	1201.82	3291415
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	4800.27	1204.03	3280283
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	4800.27	1202.12	3282629
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf	? (TO)	4800.27	1202.44	3288287
application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf	? (TO)	4800.28	1201.73	3289851
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom17.cnf	? (TO)	4800.28	1202.03	3289713
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_11_ooo.cnf	? (TO)	4800.28	1205.08	3293623
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	4800.28	1208.35	3285849
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top24.cnf	? (TO)	4800.29	1201.94	3289161
application/leberre/ 2dimensionalstrippacking/E00N23.cnf	? (TO)	4800.3	1212.16	3291047
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom26.cnf	? (TO)	4800.3	1201.93	3288839
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	4800.31	1201.73	3280881
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf	? (TO)	4800.31	1201.75	3287459
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf	? (TO)	4800.31	1202.77	3285343
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	? (TO)	4800.31	1203.05	3280145
SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf	? (TO)	4800.32	1201.75	3292841
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	4800.33	1201.72	3280513
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	4800.33	1202.13	3280605
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	4800.33	1203.14	3283641
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-countbits128-tseitin.cnf	? (TO)	4800.33	1202.04	3287275
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	4800.34	1202.63	3282353
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom25.cnf	? (TO)	4800.34	1201.93	3288931
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf	? (TO)	4800.35	1202.39	3285021
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom18.cnf	? (TO)	4800.35	1201.84	3289575
SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf	? (TO)	4800.35	1210.65	3291599
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf	? (TO)	4800.36	1202.63	3285573
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf	? (TO)	4800.36	1202.58	3285297
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	4800.36	1202.44	3282031
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf	? (TO)	4800.36	1209.49	3292059
application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf	? (TO)	4800.38	1201.73	3289989
application/kullmann/AES/Benchmarks/ 128/aes_128_1_keyfind_1.cnf	? (TO)	4800.38	1201.72	3289943
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	4800.38	1201.82	3282767
SAT03/industrial/li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	? (TO)	4800.39	1201.96	3291507
APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf	? (TO)	4800.39	1201.93	3282123
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	4800.4	1201.73	3280927
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom22.cnf	? (TO)	4800.4	1201.93	3289667
application/kullmann/AES/Benchmarks/ 64/aes_64_3_keyfind_1.cnf	? (TO)	4800.4	1201.72	3290173
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf	? (TO)	4800.4	1202.19	3285619
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	4800.4	1202.03	3283917
SAT03/industrial/goldberg/hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	? (TO)	4800.4	1201.87	3291323
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom23.cnf	? (TO)	4800.41	1202.53	3289805
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	4800.41	1206.94	3286079
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	? (TO)	4800.41	1204.83	3280329
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	4800.41	1201.62	3282077
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf	? (TO)	4800.42	1202.24	3288011
SAT05/industrial/grieu05/vmpc/ vmpc_36.renamed-as.sat05-1922.cnf	? (TO)	4800.42	1201.82	3292427
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	4800.42	1205.44	3280651
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	4800.44	1201.85	3284055
SAT03/industrial/schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	? (TO)	4800.45	1203.8	3291691
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	? (TO)	4800.45	1201.93	3281203
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf	? (TO)	4800.46	1201.83	3289621
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom24.cnf	? (TO)	4800.46	1201.94	3288793
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom20.cnf	? (TO)	4800.46	1201.83	3288977
SAT03/industrial/goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf	? (TO)	4800.46	1201.82	3291369
SAT03/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf	? (TO)	4800.48	1202.19	3291461
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf	? (TO)	4800.48	1204.93	3285481
APPLICATIONS/bitverif/ maxxororand/maxxororand064.cnf	? (TO)	4800.49	1202.39	3282261
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf	? (TO)	4800.49	1202.5	3285159
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	4800.5	1207.46	3285251
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf	? (TO)	4800.52	1208.74	3285527

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3500_3500_30f1.shuffled.cnf	UNSAT	0.049991	0.0232041	3266170
SAT05/crafted/sorge05/QG8/ gensys-ukn007.shuffled-as.sat05-3586.cnf	UNSAT	0.18997	0.247484	3265994
crafted/skvortsov/battleship/ battleship-5-8-unsat.cnf	UNSAT	0.268958	0.076683	3261242
SAT03/handmade/bevan/cnf/ marg3x3add8.shuffled-as.sat03-1449.cnf	UNSAT	0.660898	0.223777	3263970
SAT05/crafted/sabharwal05/ordering/gt-ordering/ sat/gt-030.shuffled-as.sat05-1295.cnf	UNSAT	0.854869	0.339504	3265422
SAT05/crafted/sabharwal05/planning/logistics/unsat/ logistics-rotate-07t5.shuffled-as.sat05-1137.cnf	UNSAT	1.42278	0.417497	3265070
crafted/skvortsov/battleship/ battleship-6-9-unsat.cnf	UNSAT	1.66674	0.517093	3261506
SAT03/handmade/bevan/cnf/ marg3x3add8ch.shuffled-as.sat03-1448.cnf	UNSAT	1.9397	0.52085	3264014
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-010-008.shuffled-as.sat05-1171.cnf	UNSAT	2.94955	0.996505	3265158
crafted/skvortsov/ automata-synchronization/crn_11_99_u.cnf	UNSAT	3.15952	0.854876	3260714
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/ grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf	UNSAT	12.2881	3.39698	3265378
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_060.shuffled.cnf	UNSAT	19.0211	4.79097	3266214
SAT02/handmade/chu-min-li/urquhart/ urquhart3_25bis.shuffled.cnf	UNSAT	23.1535	6.44878	3266610
crafted/skvortsov/battleship/ battleship-10-10-unsat.cnf	UNSAT	27.1429	7.20113	3261110
SAT02/handmade/zhang-lintao/ xor-chain/x1_40.shuffled.cnf	UNSAT	135.942	34.4691	3266566
crafted/skvortsov/ automata-synchronization/rnd_100_28_u.cnf	UNSAT	199.285	49.9138	3260670
crafted/skvortsov/ automata-synchronization/rnd_150_29_u.cnf	UNSAT	275.181	68.9447	3260802
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_381.cnf	UNSAT	384.493	96.3664	3262254
SAT05/crafted/sorge05/QG6/ dead-dnd002.shuffled-as.sat05-2713.cnf	UNSAT	459.998	115.42	3266082
crafted/skvortsov/battleship/ battleship-12-12-unsat.cnf	UNSAT	633.755	159.437	3261374
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-19_348.cnf	UNSAT	940.966	236.339	3262122
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf	UNSAT	1102.1	276.102	3262650
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_401.cnf	UNSAT	1176.41	294.752	3262210
SAT03/handmade/markstrom/UNSATISFIABLE/ mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf	UNSAT	1940.18	486.172	3263926
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf	UNSAT	2979.19	746.744	3263002
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_390.cnf	UNSAT	3447.05	863.235	3262298
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	UNSAT	3652.19	915.554	3257590
SAT05/crafted/sorge05/QG7/ dead-dnd003.shuffled-as.sat05-3109.cnf	UNSAT	3654.65	916.071	3265950
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf	UNSAT	4524.73	1136.29	3263134

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/mosoi/289/ 289-sat-4x8.cnf	SAT	0.012997	0.013881	3259922
crafted/mosoi/289/ 289-sat-6x9.cnf	SAT	0.013997	0.0142181	3260494
crafted/mosoi/ 289/289-sat-11x4.cnf	SAT	0.024995	0.113705	3260362
crafted/mosoi/ 289/289-sat-14x8.cnf	SAT	0.027994	0.02287	3260054
crafted/mosoi/ 289/289-sat-4x35.cnf	SAT	0.027995	0.025147	3259966
crafted/mosoi/ 289/289-sat-6x19.cnf	SAT	0.029994	0.0216	3259878
crafted/mosoi/ 289/289-sat-11x9.cnf	SAT	0.030995	0.022229	3260450
CRAFTED/sgi/ satsgi-n26himBHm28-p0-q293.cnf	SAT	0.033993	0.0301011	3257678
crafted/mosoi/289/ 289-sat-7x6.cnf	SAT	0.034994	0.022222	3260230
crafted/mosoi/ 289/289-sat-11x10.cnf	SAT	0.035993	0.115281	3260186
crafted/mosoi/289/ 289-sat-6x8.cnf	SAT	0.037994	0.022485	3260406
crafted/mosoi/289/ 289-sat-5x8.cnf	SAT	0.046992	0.0211711	3260274
SAT05/crafted/sorge05/QG7/ iso-ukn004.shuffled-as.sat05-3385.cnf	SAT	0.063989	0.0953249	3265862
SAT05/crafted/sorge05/QG8/ iso-ukn009.shuffled-as.sat05-3632.cnf	SAT	0.072988	0.233027	3266038
SAT02/handmade/pehoushek/twentyvars/ 7cnf20_90000_90000_7.shuffled.cnf	SAT	0.084986	0.084309	3266126
crafted/skvortsov/battleship/ battleship-10-19-sat.cnf	SAT	0.245962	0.216713	3261594
crafted/skvortsov/battleship/ battleship-12-23-sat.cnf	SAT	0.248961	0.167206	3261418
crafted/mosoi/ 289/289-sat-6x20.cnf	SAT	0.251961	0.0903539	3260098
crafted/skvortsov/battleship/ battleship-10-18-sat.cnf	SAT	0.285956	0.221271	3261154
crafted/mosoi/ 289/289-sat-9x13.cnf	SAT	0.290955	0.0915089	3260142
crafted/skvortsov/battleship/ battleship-7-13-sat.cnf	SAT	0.305953	0.301438	3261638
crafted/skvortsov/battleship/ battleship-9-17-sat.cnf	SAT	0.32195	0.260903	3261770
crafted/skvortsov/battleship/ battleship-11-21-sat.cnf	SAT	0.348946	0.256395	3261726
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf	SAT	0.385941	0.148446	3266830
crafted/skvortsov/battleship/ battleship-8-15-sat.cnf	SAT	0.408936	0.239993	3261022
crafted/skvortsov/battleship/ battleship-17-33-sat.cnf	SAT	0.606906	0.228429	3261550
SAT04/handmade/anton/l4k4/ lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf	SAT	0.861868	0.245442	3264366
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	1.80772	0.885868	3257502
crafted/mosoi/ 289/289-sat-12x14.cnf	SAT	1.9497	0.570213	3260318
crafted/mosoi/ 289/289-sat-12x15.cnf	SAT	2.14267	0.61911	3260010
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p15-s58217873.cnf	SAT	2.70559	0.745559	3266786
SAT04/handmade/anton/l5k3/ lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf	SAT	4.03339	1.04323	3264322
SAT05/crafted/sorge05/QG7a/ gensys-brn002.shuffled-as.sat05-3935.cnf	SAT	4.54331	1.22407	3265598
crafted/skvortsov/ automata-synchronization/crn_11_100_s.cnf	SAT	5.95609	1.55536	3260626
crafted/spence/sgen/ sgen3-n120-s12930489-sat.cnf	SAT	7.50686	2.05602	3274050
crafted/skvortsov/battleship/ battleship-14-27-sat.cnf	SAT	9.2126	2.36562	3261462
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	11.8372	3.03717	3257414
crafted/skvortsov/battleship/ battleship-10-17-sat.cnf	SAT	13.6419	3.72463	3260890
crafted/mosoi/289/ 289-unsat-6x30.cnf	SAT	13.7929	3.60261	3249228
crafted/skvortsov/ automata-synchronization/rnd_100_28_s.cnf	SAT	15.0457	3.8119	3260538
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g5.cnf	SAT	15.8616	4.02822	3257942
crafted/skvortsov/battleship/ battleship-24-57-sat.cnf	SAT	16.3275	4.21902	3261066
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf	SAT	33.4389	8.53702	3266962
crafted/skvortsov/ automata-synchronization/rnd_100_27_s.cnf	SAT	36.9594	9.28636	3260758
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p30-s70617701.cnf	SAT	41.7966	10.7245	3266698
SAT04/handmade/andrew/composite/ Composite-024BitPrimes-1.used-as.sat04-861.cnf	SAT	46.6209	11.7003	3264586
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_527.cnf	SAT	48.1177	12.1748	3261814
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p30-s39712998.cnf	SAT	55.9155	14.2946	3266742
crafted/skvortsov/ automata-synchronization/rnd_100_32_s.cnf	SAT	60.9357	15.2923	3260846
crafted/skvortsov/battleship/ battleship-14-26-sat.cnf	SAT	75.9325	19.5595	3261286
crafted/skvortsov/ automata-synchronization/rnd_150_42_s.cnf	SAT	122.53	30.7875	3260582
SAT04/handmade/anton/l5k3/ lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf	SAT	152.62	38.2703	3264278
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_399.cnf	SAT	163.226	40.9839	3261902
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	SAT	269.553	67.9562	3259790
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf	SAT	281.109	70.8664	3266654
crafted/skvortsov/battleship/ battleship-15-29-sat.cnf	SAT	357.268	90.1797	3261682
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	SAT	381.957	95.908	3259746
crafted/spence/sgen/ sgen3-n160-s40283905-sat.cnf	SAT	477.215	119.698	3273392
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf	SAT	702.883	176.657	3264894
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes5.cnf	SAT	729.578	183.303	3258426
crafted/spence/sgen/ sgen3-n140-s18527668-sat.cnf	SAT	898.927	225.822	3274191
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf	SAT	911.97	228.669	3266874
crafted/skvortsov/battleship/ battleship-16-31-sat.cnf	SAT	1158.21	290.613	3260934
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf	SAT	1194.43	299.481	3265026
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_443.cnf	SAT	1218.08	305.271	3262342
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g7.cnf	SAT	1257.58	315.242	3258118
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	SAT	1689.18	423.104	3257458
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf	SAT	2033.54	510.012	3264982
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_404.cnf	SAT	3036.81	760.866	3262078
SAT03/handmade/anton/SAT/ SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf	SAT	3176.4	798.626	3263706
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf	SAT	3534.26	885.473	3250944
crafted/skvortsov/ automata-synchronization/crn_20_361_s.cnf	SAT	3581.26	899.159	3249888
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf	SAT	3699.69	926.362	3264806
SAT04/handmade/connamacher/connm-d-0.02/ connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf	SAT	4224.19	1057.65	3264498

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT03/handmade/stanion/hwb/ hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf	? (TO)	4800.07	1201.63	3263794
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf	? (TO)	4800.07	1202.02	3262606
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf	? (TO)	4800.09	1201.72	3250592
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_507.cnf	? (TO)	4800.09	1201.92	3262034
SAT03/handmade/anton/UNSAT/ SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf	? (TO)	4800.09	1201.74	3263090
crafted/skvortsov/automata-synchronization/ crn_40_1520_u.cnf	? (TO)	4800.1	1201.85	3249932
SAT05/crafted/sorge05/QG7a/ gensys-ukn003.shuffled-as.sat05-3843.cnf	? (TO)	4800.11	1201.84	3265818
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf	? (TO)	4800.11	1201.89	3250680
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes8.cnf	? (TO)	4800.11	1201.65	3259438
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34309.cnf	? (TO)	4800.11	1202.95	3250372
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_512.cnf	? (TO)	4800.12	1201.62	3250196
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	? (TO)	4800.12	1201.46	3257282
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-24_567.cnf	? (TO)	4800.12	1201.92	3261946
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf	? (TO)	4800.12	1201.74	3263046
SAT04/handmade/kexu/frb-0.6/ frb75-13-2.used-as.sat04-878.cnf	? (TO)	4800.12	1201.75	3264058
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g1.cnf	? (TO)	4800.13	1201.76	3257854
crafted/mosoi/289/ 289-unsat-6x34.cnf	? (TO)	4800.13	1201.79	3249140
crafted/mosoi/289/ 289-unsat-13x32.cnf	? (TO)	4800.13	1202.07	3249184
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes1.cnf	? (TO)	4800.13	1201.86	3258558
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf	? (TO)	4800.13	1201.79	3251164
SAT04/handmade/kexu/frb-0.8/ frb59-26-1.used-as.sat04-891.cnf	? (TO)	4800.13	1201.95	3264234
SAT03/handmade/anton/UNSAT/ SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf	? (TO)	4800.13	1201.77	3263574
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	4800.14	1201.87	3257634
SAT04/handmade/connamacher/connm-d0.04/ connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf	? (TO)	4800.14	1201.72	3264454
CRAFTED/rbsat/random/ forced/rbsat-v1820c171155gyes3.cnf	? (TO)	4800.15	1201.76	3258690
crafted/skvortsov/battleship/ battleship-7-12-unsat.cnf	? (TO)	4800.15	1201.54	3261330
SAT05/crafted/sorge05/QG7/ gensys-icl007.shuffled-as.sat05-3133.cnf	? (TO)	4800.15	1201.73	3265906
SAT05/crafted/sorge05/QG7a/ gensys-ukn006.shuffled-as.sat05-3846.cnf	? (TO)	4800.16	1201.94	3265730
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_508.cnf	? (TO)	4800.16	1201.72	3250504
SAT04/handmade/kexu/frb-0.6/ frb80-14-2.used-as.sat04-880.cnf	? (TO)	4800.16	1201.95	3264102
crafted/skvortsov/automata-synchronization/ crn_40_1521_s.cnf	? (TO)	4800.17	1201.86	3249844
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g3.cnf	? (TO)	4800.17	1201.97	3258074
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	4800.17	1201.9	3259614
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf	? (TO)	4800.17	1201.72	3250768
crafted/mosoi/289/ 289-unsat-21x39.cnf	? (TO)	4800.17	1202.28	3249756
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_505.cnf	? (TO)	4800.17	1201.72	3262474
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_462.cnf	? (TO)	4800.17	1201.72	3262518
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf	? (TO)	4800.17	1201.73	3263662
SAT03/handmade/anton/UNSAT/ SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf	? (TO)	4800.18	1201.77	3262826
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes3.cnf	? (TO)	4800.18	1201.89	3259306
crafted/mosoi/289/ 289-unsat-21x14.cnf	? (TO)	4800.18	1201.78	3249404
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p15-s54275047.cnf	? (TO)	4800.19	1201.88	3251516
CRAFTED/rbsat/crafted/unforced/ rbsat-v945c61409g3.cnf	? (TO)	4800.19	1201.95	3259042
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf	? (TO)	4800.19	1201.66	3262914
SAT03/handmade/anton/UNSAT/ SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf	? (TO)	4800.19	1201.56	3263618
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf	? (TO)	4800.19	1202.25	3263266
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf	? (TO)	4800.19	1201.64	3264850
SAT03/handmade/anton/UNSAT/ SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf	? (TO)	4800.19	1201.68	3263486
SAT02/handmade/simon/satex-challenges/ par32-3.shuffled.cnf	? (TO)	4800.2	1201.52	3266478
CRAFTED/rbsat/random/forced/ rbsat-v2640c305320gyes10.cnf	? (TO)	4800.21	1201.91	3258778
SAT03/handmade/anton/UNSAT/ SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf	? (TO)	4800.21	1201.74	3262870
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes1.cnf	? (TO)	4800.22	1201.75	3259526
crafted/skvortsov/battleship/ battleship-15-15-unsat.cnf	? (TO)	4800.22	1201.73	3250064
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes2.cnf	? (TO)	4800.22	1201.89	3258338
crafted/spence/sgen/ sgen3-n200-s00813792-unsat.cnf	? (TO)	4800.22	1201.72	3274003
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf	? (TO)	4800.22	1201.98	3263310
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes5.cnf	? (TO)	4800.22	1201.89	3258646
SAT03/handmade/anton/UNSAT/ SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf	? (TO)	4800.22	1201.78	3262958
SAT04/handmade/kexu/frb-0.8/ frb45-21-1.used-as.sat04-883.cnf	? (TO)	4800.23	1201.77	3264146
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p15-s2076598.cnf	? (TO)	4800.23	1201.94	3266918
crafted/mosoi/289/ 289-unsat-7x39.cnf	? (TO)	4800.24	1201.77	3249448
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2072.cnf	? (TO)	4800.24	1201.83	3250152
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	4800.24	1201.85	3257546
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf	? (TO)	4800.24	1202.3	3251252
SAT03/handmade/gomes/bqwh/ bqwh.60.1152.shuffled-as.sat03-1650.cnf	? (TO)	4800.25	1201.75	3262738
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes10.cnf	? (TO)	4800.25	1201.9	3259658
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes5.cnf	? (TO)	4800.25	1201.76	3259218
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_511.cnf	? (TO)	4800.25	1201.72	3250328
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g7.cnf	? (TO)	4800.25	1201.75	3259086
SAT05/crafted/sorge05/QG7a/ gensys-icl005.shuffled-as.sat05-3826.cnf	? (TO)	4800.26	1201.74	3265686
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf	? (TO)	4800.26	1201.77	3251604
SAT03/handmade/anton/UNSAT/ SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf	? (TO)	4800.26	1201.74	3262782
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_506.cnf	? (TO)	4800.26	1201.92	3262166
crafted/mosoi/289/ 289-unsat-21x33.cnf	? (TO)	4800.26	1202.19	3249316
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	4800.26	1202.26	3257326
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g10.cnf	? (TO)	4800.26	1201.87	3257766
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes7.cnf	? (TO)	4800.26	1201.75	3258514
crafted/spence/sgen/ sgen3-n220-s24359701-sat.cnf	? (TO)	4800.27	1201.72	3273768
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4232.cnf	? (TO)	4800.27	1201.73	3250460
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf	? (TO)	4800.27	1201.92	3250812
crafted/spence/ hard/s113-100.cnf	? (TO)	4800.27	1201.72	3257238
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf	? (TO)	4800.27	1201.72	3250548
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes1.cnf	? (TO)	4800.27	1201.75	3258866
SAT05/crafted/lynce05/social-golfer-problem/ sgp_5-6-8.shuffled-as.sat05-2669.cnf	? (TO)	4800.27	1202.86	3265466
crafted/spence/sgen/ sgen3-n280-s93756482-sat.cnf	? (TO)	4800.27	1201.72	3273909
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g9.cnf	? (TO)	4800.28	1201.89	3257986
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	4800.28	1201.68	3257370
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf	? (TO)	4800.28	1201.96	3263530
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf	? (TO)	4800.28	1202.03	3250988
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_406.cnf	? (TO)	4800.28	1201.52	3262386
CRAFTED/rbsat/random/forced/ rbsat-v1375c111739gyes10.cnf	? (TO)	4800.28	1201.65	3258602
crafted/spence/sgen/ sgen3-n200-s39840374-sat.cnf	? (TO)	4800.28	1201.72	3273580
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g6.cnf	? (TO)	4800.28	1201.77	3258030
crafted/spence/sgen/ sgen3-n120-s55656844-unsat.cnf	? (TO)	4800.29	1201.72	3273815
crafted/mosoi/289/ 289-unsat-14x38.cnf	? (TO)	4800.29	1201.96	3249668
SAT03/handmade/gomes/bqwh/ bqwh.50.825.shuffled-as.sat03-1648.cnf	? (TO)	4800.29	1201.86	3262694
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-030-029.shuffled-as.sat05-1234.cnf	? (TO)	4800.29	1201.77	3265290
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	4800.29	1201.87	3258822
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf	? (TO)	4800.29	1201.92	3250636
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes2.cnf	? (TO)	4800.29	1201.97	3259702
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g9.cnf	? (TO)	4800.29	1201.87	3259130
crafted/mosoi/289/ 289-unsat-17x27.cnf	? (TO)	4800.29	1201.99	3249536
SAT03/handmade/anton/UNSAT/ SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf	? (TO)	4800.3	1201.97	3263442
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes6.cnf	? (TO)	4800.3	1201.75	3259482
SAT02/handmade/simon/ satex-challenges/f600.shuffled.cnf	? (TO)	4800.3	1201.72	3266390
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes7.cnf	? (TO)	4800.3	1201.77	3258382
crafted/spence/sgen/ sgen3-n180-s33098896-unsat.cnf	? (TO)	4800.3	1201.72	3273486
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_445.cnf	? (TO)	4800.3	1201.72	3262430
crafted/manthey/sudoku-single-hard/ sudoku_81x81_unknown.cnf	? (TO)	4800.31	1201.94	3250108
SAT04/handmade/marijn/equilarge-l/ equilarge_l2.used-as.sat04-894.cnf	? (TO)	4800.31	1201.72	3264630
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g4.cnf	? (TO)	4800.31	1201.68	3257810
crafted/spence/sgen/ sgen3-n160-s73223945-unsat.cnf	? (TO)	4800.31	1201.52	3273674
crafted/skvortsov/battleship/ battleship-11-11-unsat.cnf	? (TO)	4800.31	1201.73	3260978
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g6.cnf	? (TO)	4800.32	1201.87	3258998
crafted/skvortsov/ automata-synchronization/crn_20_360_u.cnf	? (TO)	4800.32	1201.76	3249800
SAT03/handmade/stanion/hwb/ hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf	? (TO)	4800.32	1201.74	3263750
crafted/skvortsov/battleship/ battleship-16-16-unsat.cnf	? (TO)	4800.32	1201.95	3250020
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes7.cnf	? (TO)	4800.33	1201.75	3259262
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_528.cnf	? (TO)	4800.33	1202.23	3261858
SAT03/handmade/anton/UNSAT/ SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf	? (TO)	4800.33	1201.68	3263222
crafted/spence/sgen/ sgen3-n140-s20078956-unsat.cnf	? (TO)	4800.33	1201.92	3273956
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf	? (TO)	4800.33	1201.82	3251120
SAT04/handmade/marijn/equilarge-l/ equilarge_l4.used-as.sat04-896.cnf	? (TO)	4800.33	1201.92	3264674
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes10.cnf	? (TO)	4800.34	1201.75	3259350
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g2.cnf	? (TO)	4800.34	1201.95	3259174
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf	? (TO)	4800.34	1201.74	3264762
crafted/mosoi/289/ 289-unsat-14x34.cnf	? (TO)	4800.34	1201.97	3249712
crafted/mosoi/289/ 289-unsat-6x40.cnf	? (TO)	4800.34	1202.09	3249624
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_220.shuffled.cnf	? (TO)	4800.34	1201.92	3266302
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p30-s19690873.cnf	? (TO)	4800.34	1201.89	3251692
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4231.cnf	? (TO)	4800.35	1201.83	3250240
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf	? (TO)	4800.35	1201.74	3264938
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf	? (TO)	4800.35	1201.77	3263178
SAT04/handmade/connamacher/connm-d0.02/ connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf	? (TO)	4800.35	1201.93	3264410
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-040-039.shuffled-as.sat05-1194.cnf	? (TO)	4800.35	1201.85	3265202
SAT05/crafted/sorge05/QG7a/ gensys-ukn009.shuffled-as.sat05-3849.cnf	? (TO)	4800.35	1201.94	3265642
crafted/spence/sgen/ sgen3-n300-s12830984-sat.cnf	? (TO)	4800.35	1201.72	3273439
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g9.cnf	? (TO)	4800.35	1201.75	3258954
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p15-s72490337.cnf	? (TO)	4800.35	1201.89	3251472
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g7.cnf	? (TO)	4800.36	1201.85	3258294
crafted/skvortsov/battleship/ battleship-13-13-unsat.cnf	? (TO)	4800.36	1201.73	3261198
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2071.cnf	? (TO)	4800.36	1202.03	3250416
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_170.shuffled.cnf	? (TO)	4800.36	1201.72	3266258
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	4800.36	1201.74	3258206
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34308.cnf	? (TO)	4800.36	1203.05	3250284
crafted/spence/sgen/ sgen3-n150-s89334302-unsat.cnf	? (TO)	4800.37	1201.72	3273627
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf	? (TO)	4800.37	1202.2	3250856
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf	? (TO)	4800.37	1201.72	3262562
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p30-s67876261.cnf	? (TO)	4800.37	1201.92	3251428
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_464.cnf	? (TO)	4800.37	1201.82	3261990
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-020-019.shuffled-as.sat05-1190.cnf	? (TO)	4800.38	1201.77	3265246
crafted/skvortsov/battleship/ battleship-14-14-unsat.cnf	? (TO)	4800.38	1201.74	3249976
SAT04/handmade/hirsch03/ hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf	? (TO)	4800.38	1201.72	3264542
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g4.cnf	? (TO)	4800.38	1201.86	3258162
SAT02/handmade/simon/ satex-challenges/c6288.shuffled.cnf	? (TO)	4800.38	1201.93	3266434
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g4.cnf	? (TO)	4800.39	1201.75	3258250
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	? (TO)	4800.39	1201.77	3259834
crafted/mosoi/289/ 289-unsat-9x32.cnf	? (TO)	4800.4	1202.06	3249580
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf	? (TO)	4800.4	1202.02	3251208
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-045-035.shuffled-as.sat05-1181.cnf	? (TO)	4800.4	1201.8	3265114
SAT05/crafted/markstrom05/eulcbip/ eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf	? (TO)	4800.4	1201.72	3265554
crafted/spence/sgen/ sgen3-n190-s29985700-unsat.cnf	? (TO)	4800.4	1201.72	3274238
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes1.cnf	? (TO)	4800.41	1201.88	3259570
CRAFTED/rbsat/crafted/ forced/rbsat-v2100c215164gyes4.cnf	? (TO)	4800.41	1201.89	3259394
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/ mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf	? (TO)	4800.41	1201.72	3264718
crafted/spence/sgen/ sgen3-n240-s78945233-sat.cnf	? (TO)	4800.42	1201.72	3274144
crafted/mosoi/289/ 289-unsat-21x40.cnf	? (TO)	4800.42	1202.4	3249360
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g5.cnf	? (TO)	4800.42	1201.89	3258910
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf	? (TO)	4800.42	1201.72	3250724
crafted/spence/sgen/ sgen3-n180-s34713902-sat.cnf	? (TO)	4800.42	1201.72	3273533
crafted/spence/sgen/ sgen3-n260-s62321009-sat.cnf	? (TO)	4800.42	1201.72	3274097
SAT03/handmade/stanion/hwb/ hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf	? (TO)	4800.42	1201.74	3263838
crafted/spence/sgen/ sgen3-n170-s56409011-unsat.cnf	? (TO)	4800.42	1201.72	3273721
SAT03/handmade/anton/UNSAT/ SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf	? (TO)	4800.42	1202.03	3263354
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf	? (TO)	4800.43	1201.89	3251296
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_110.shuffled.cnf	? (TO)	4800.43	1201.72	3266346
SAT05/crafted/sorge05/QG7a/ gensys-ukn004.shuffled-as.sat05-3844.cnf	? (TO)	4800.43	1202.75	3265774
crafted/mosoi/289/ 289-unsat-5x41.cnf	? (TO)	4800.43	1201.86	3249272
crafted/mosoi/289/ 289-unsat-17x30.cnf	? (TO)	4800.43	1201.98	3249492
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf	? (TO)	4800.44	1202.33	3251032
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-020-019.shuffled-as.sat05-1232.cnf	? (TO)	4800.44	1201.76	3265334
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes6.cnf	? (TO)	4800.44	1202.07	3258470
crafted/spence/sgen/ sgen3-n130-s30940966-unsat.cnf	? (TO)	4800.44	1201.72	3273862
SAT03/handmade/anton/UNSAT/ SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf	? (TO)	4800.45	1201.85	3263398
SAT04/handmade/kexu/frb-0.8/ frb59-26-2.used-as.sat04-892.cnf	? (TO)	4800.46	1201.85	3264190
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf	? (TO)	4800.46	1202.08	3251648
SAT03/handmade/stanion/hwb/ hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf	? (TO)	4800.46	1201.74	3263882
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g3.cnf	? (TO)	4800.48	1201.89	3257722
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf	? (TO)	4800.48	1202	3251076
SAT05/crafted/roussel05/visbmc-PHNF/ phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf	? (TO)	4800.48	1204.16	3265510
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g7.cnf	? (TO)	4800.5	1201.76	3257898
SAT02/handmade/zhang-lintao/ xor-chain/x1_80.shuffled.cnf	? (TO)	4800.51	1201.88	3266522
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	4800.52	1202.19	3258734
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf	? (TO)	4800.53	1202.14	3250900
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf	? (TO)	4800.55	1202.14	3251560
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf	? (TO)	4800.56	1202.32	3251340
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf	? (TO)	4800.61	1202.29	3251384

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

Result page for solver Plingeling 587 [DEPRECATED] (complete)

Category "applications instances" (APPLICATION)

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

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

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

Category "crafted instances" (CRAFTED)

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

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

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