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.010998	0.013591	3293346
application/leberre/ 2dimensionalstrippacking/E07N15.cnf	UNSAT	0.023995	0.023863	3291092
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	UNSAT	0.024995	0.025229	3291138
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf	UNSAT	0.173973	0.176318	3287826
SAT02/industrial/goldberg/rand_net/ rand_net60-30-1.shuffled.cnf	UNSAT	0.26096	0.261899	3292978
APPLICATIONS/bitverif/ minandmaxor/minandmaxor016.cnf	UNSAT	0.398938	0.399038	3281984
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	0.466928	0.467666	3280788
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	0.693893	0.696966	3280834
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf	UNSAT	0.757884	0.758556	3287872
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf	UNSAT	1.46078	1.46086	3287688
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf	UNSAT	1.51277	1.51456	3288194
SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf	UNSAT	4.38233	4.38376	3293852
SAT02/industrial/goldberg/rand_net/ rand_net60-25-10.shuffled.cnf	UNSAT	7.04793	7.05175	3293070
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	UNSAT	7.48686	7.48656	3287596
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	UNSAT	8.30574	8.3067	3290954
application/leberre/ 2dimensionalstrippacking/korf-15.cnf	UNSAT	8.78966	8.78942	3290448
application/leberre/ 2dimensionalstrippacking/E03N17.cnf	UNSAT	9.10362	9.10454	3290586
SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf	UNSAT	9.91149	9.91274	3293806
APPLICATIONS/diagnosis/ UTI-20-10t0.cnf	UNSAT	13.303	13.3059	3283272
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	UNSAT	13.9939	13.9957	3287964
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step15.cnf	UNSAT	18.2822	18.2841	3286492
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf	UNSAT	18.8911	18.8919	3287366
application/rintanen/SATPlanning/ grid-strips-grid-y-4.025-NOTKNOWN.cnf	UNSAT	24.0693	24.0687	3285940
SAT04/industrial/hoonsang/vis-bmc/ dekker.used-as.sat04-989.cnf	UNSAT	24.9082	24.9083	3291874
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf	UNSAT	26.258	26.2569	3287780
SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf	UNSAT	26.376	26.3759	3293760
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	UNSAT	27.1679	27.1686	3288148
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf	UNSAT	28.3857	28.3866	3286400
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	UNSAT	32.0421	32.0446	3293208
application/leberre/ 2dimensionalstrippacking/E05X15.cnf	UNSAT	35.7306	35.7327	3290908
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	UNSAT	37.9572	37.9676	3287642
application/fuhs/ AProVE11/AProVE11-11.cnf	UNSAT	44.0943	44.0973	3284698
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	UNSAT	75.1696	75.1694	3280098
industrial/manolios/ manol-pipe-f7idw.cnf	UNSAT	96.6833	96.6811	3281018
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	99.4259	99.4234	3280742
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	111.149	111.147	3283318
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf	UNSAT	111.491	111.488	3287734
SAT04/industrial/hoonsang/vis-bmc/ all.used-as.sat04-986.cnf	UNSAT	122.016	122.014	3291920
manol-pipe-f7nidw.cnf	UNSAT	122.987	122.985	3281800
application/leberre/ 2dimensionalstrippacking/E02F17.cnf	UNSAT	126.641	126.639	3290540
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf	UNSAT	133.646	133.643	3288240
application/rintanen/SATPlanning/ blocks-blocks-37-1.120-NOTKNOWN.cnf	UNSAT	153.385	153.391	3284836
APPLICATIONS/diagnosis/ ACG-10-10p0.cnf	UNSAT	156.366	156.361	3283180
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step13.cnf	UNSAT	167.874	167.869	3286584
SAT03/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	UNSAT	182.503	182.563	3291230
SAT-Race-2010-CNF/hardware-verification/ manolios/c10idw_i.cnf	UNSAT	189.682	189.678	3293484
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	197.981	197.978	3282996
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf	UNSAT	259.372	259.383	3285986
manol-pipe-c6bidw_i.cnf	UNSAT	268.425	268.421	3281708
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-nlzbe256-tseitin.cnf	UNSAT	273.965	273.957	3287044
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	308.652	308.641	3282950
velev-pipe-o-uns-1.0-7.cnf	UNSAT	326.9	326.912	3284238
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf	UNSAT	369.345	369.341	3287918
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom12.cnf	UNSAT	379.473	379.466	3289252
industrial/fuhs/medium/ AProVE07-21.cnf	UNSAT	405.803	405.792	3280466
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf	UNSAT	536.579	536.564	3286814
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step15.cnf	UNSAT	555.16	555.142	3286216
application/leberre/ 2dimensionalstrippacking/korf-17.cnf	UNSAT	610.734	610.723	3290862
application/manthey/traffic/ traffic_pcb_unknown.cnf	UNSAT	749.945	749.926	3288608
application/manthey/traffic/ traffic_fb_unknown.cnf	UNSAT	754.528	754.512	3288332
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf	UNSAT	785.985	785.989	3286308
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	824.073	824.043	3283502
application/manthey/traffic/ traffic_kkb_unknown.cnf	UNSAT	864.613	864.608	3288424
application/manthey/traffic/ traffic_f_unknown.cnf	UNSAT	883.92	883.906	3288470
application/manthey/traffic/ traffic_b_unsat.cnf	UNSAT	928.598	928.57	3288654
application/manthey/traffic/ traffic_3b_unknown.cnf	UNSAT	1150.98	1150.95	3288700
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	1239.78	1239.74	3283088

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/maris05/DriverLog/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT	0.000999	0.00652396	3292518
SAT02/industrial/aloul/ Bart/bart17.shuffled.cnf	SAT	0.000999	0.00615596	3292702
SAT05/industrial/maris05/DriverLog/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT	0.001999	0.00634193	3292472
SAT05/industrial/maris05/Rovers/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT	0.003999	0.00638106	3292564
SAT05/industrial/maris05/Ferry/ ferry5_ks99i.renamed-as.sat05-3994.cnf	SAT	0.012998	0.0155291	3292610
SAT02/industrial/biere/ dinphil/dp04s04.shuffled.cnf	SAT	0.013997	0.0173449	3293254
application/kullmann/AES/Benchmarks/ 32/aes_32_1_keyfind_1.cnf	SAT	0.019996	0.020389	3290264
SAT02/industrial/goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT	0.104983	0.10636	3292886
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_18_SAT.cnf	SAT	0.12698	0.128134	3283870
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf	SAT	0.144977	0.148776	3293300
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf	SAT	0.350945	0.353695	3283962
SAT04/industrial/vangelder/cnf-color/ abb313GPIA-9-tr.used-as.sat04-321.cnf	SAT	0.356944	0.361187	3291736
application/fuhs/ AProVE11/AProVE11-12.cnf	SAT	0.376942	0.392034	3284330
application/fuhs/ AProVE11/AProVE11-09.cnf	SAT	0.497923	0.508284	3284514
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf	SAT	0.736887	0.741164	3286538
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf	SAT	0.763883	0.787315	3286952
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf	SAT	0.898863	0.963859	3287182
APPLICATIONS/diagnosis/ UTI-10-5t1.cnf	SAT	0.937856	0.951418	3283364
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf	SAT	0.963852	1.00742	3286998
application/fuhs/ AProVE11/AProVE11-16.cnf	SAT	1.18682	1.21181	3284422
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf	SAT	1.20681	1.22106	3287228
ibm-2002-21r-k95.cnf	SAT	1.2928	1.31994	3284284
application/fuhs/ AProVE11/AProVE11-15.cnf	SAT	1.89771	1.91152	3284376
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf	SAT	2.02669	2.06272	3287090
application/fuhs/ AProVE11/AProVE11-02.cnf	SAT	2.42563	2.46345	3284744
application/fuhs/ AProVE11/AProVE11-10.cnf	SAT	2.56761	2.60413	3284560
application/fuhs/ AProVE11/AProVE11-13.cnf	SAT	2.88856	2.99841	3284652
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug6_q0.used-as.sat04-725.cnf	SAT	3.9154	3.9275	3292104
application/manthey/ traffic/traffic_r_sat.cnf	SAT	4.64729	4.65473	3288562
velev-pipe-sat-1.0-b9.cnf	SAT	6.00609	6.02084	3284146
APPLICATIONS/diagnosis/ UTI-20-10t1.cnf	SAT	6.581	6.62177	3283778
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	SAT	12.7911	12.9537	3281432
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	13.125	13.1285	3282812
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	13.358	13.539	3281386
application/fuhs/ AProVE11/AProVE11-07.cnf	SAT	17.5553	17.6059	3284468
application/leberre/ 2dimensionalstrippacking/E05F18.cnf	SAT	20.8518	20.8523	3290678
application/leberre/ 2dimensionalstrippacking/E05F20.cnf	SAT	25.3281	25.5082	3291184
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf	SAT	25.9121	25.9622	3286860
application/kullmann/AES/Benchmarks/ 32/aes_32_2_keyfind_1.cnf	SAT	29.0716	29.0723	3290218
velev-npe-1.0-9dlx-b71.cnf	SAT	33.5719	33.7885	3284100
SAT04/industrial/vangelder/ cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf	SAT	41.3307	41.3346	3291782
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf	SAT	43.8313	43.9297	3284974
ibm-2004-01-k90.cnf	SAT	47.9217	47.9297	3281892
application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf	SAT	52.1151	52.2045	3285894
application/leberre/ 2dimensionalstrippacking/E04F20.cnf	SAT	53.8028	53.8079	3290816
application/manthey/traffic/ traffic_3_uc_sat.cnf	SAT	55.1926	55.2354	3288516
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	SAT	57.0633	57.0723	3281524
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step16.cnf	SAT	70.7462	70.7622	3286446
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	SAT	73.1509	77.1193	3283042
application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf	SAT	77.3932	77.6159	3285204
SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf	SAT	78.1921	78.1944	3292288
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-30-step11.cnf	SAT	103.097	103.231	3286262
application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf	SAT	108.269	108.448	3286124
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	123.147	123.154	3282674
APPLICATIONS/diagnosis/ ACG-15-5p1.cnf	SAT	128.968	129.005	3283732
application/leberre/ 2dimensionalstrippacking/E04F19.cnf	SAT	136.464	136.466	3290632
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug4_q0.used-as.sat04-723.cnf	SAT	136.835	136.859	3292150
application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf	SAT	140.57	140.777	3285066
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	182.653	182.692	3283134
APPLICATIONS/diagnosis/ UR-10-10p1.cnf	SAT	224.348	224.39	3283686
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step16.cnf	SAT	275.401	275.407	3286170
SAT05/industrial/grieu05/vmpc/ vmpc_32.renamed-as.sat05-1919.cnf	SAT	279.89	279.9	3292334
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf	SAT	332.986	332.98	3284008
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step14.cnf	SAT	361.21	361.233	3286354
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	376.792	376.832	3283548
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	SAT	378.528	378.534	3281294
application/leberre/ 2dimensionalstrippacking/E02F22.cnf	SAT	392.483	397.63	3290770
SAT-Race-2010-CNF/cryptography/ mizh/md5_48_3.cnf	SAT	395.827	395.838	3293438
SAT05/industrial/narain05/vpn/ clauses-8.renamed-as.sat05-1964.cnf	SAT	431.467	431.699	3292656
application/leberre/ 2dimensionalstrippacking/E02F20.cnf	SAT	704.855	704.84	3290494
application/manthey/traffic/ traffic_r_uc_sat.cnf	SAT	814.242	814.278	3288378
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	832.106	832.125	3283226
application/kullmann/AES/Benchmarks/ 64/aes_64_1_keyfind_1.cnf	SAT	1206.43	1206.41	3290126
ibm-2004-23-k100.cnf	SAT	1260.59	1260.61	3281754

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
application/kullmann/AES/Benchmarks/ 64/aes_64_2_keyfind_1.cnf	? (TO)	1299.64	1300.01	3290080
application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf	? (TO)	1299.74	1300.04	3285756
application/rintanen/SATPlanning/ grid-strips-grid-y-3.035-NOTKNOWN.cnf	? (TO)	1299.92	1300.03	3285802
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	? (TO)	1299.93	1300.02	3281202
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	? (TO)	1299.95	1300.02	3280328
SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf	? (TO)	1299.98	1300.01	3291828
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf	? (TO)	1299.98	1300.02	3287550
APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf	? (TO)	1299.99	1300.01	3282122
SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf	? (TO)	1299.99	1300.01	3292932
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1300	1300.01	3282628
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf	? (TO)	1300	1300.01	3289022
SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf	? (TO)	1300	1300.01	3292748
application/kullmann/AES/Benchmarks/ 64/aes_64_3_keyfind_1.cnf	? (TO)	1300	1300.01	3290172
application/kullmann/AES/Benchmarks/ 32/aes_32_3_keyfind_1.cnf	? (TO)	1300	1300.01	3290402
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf	? (TO)	1300.01	1300.04	3284882
industrial/crypto/ mizh-sha0-36-2.cnf	? (TO)	1300.01	1300.03	3280972
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf	? (TO)	1300.01	1300.02	3287136
industrial/fuhs/hard/ AProVE07-03.cnf	? (TO)	1300.01	1300.01	3280558
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1300.01	1300.01	3282858
SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf	? (TO)	1300.01	1300.02	3291598
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1300.01	1300.01	3280420
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1300.01	1300.04	3282444
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top25.cnf	? (TO)	1300.01	1300.01	3289390
SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf	? (TO)	1300.02	1300.01	3292196
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1300.02	1300.06	3286078
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1300.03	1300.01	3280880
SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf	? (TO)	1300.03	1300.01	3292380
SAT02/industrial/aloul/ Homer/homer16.shuffled.cnf	? (TO)	1300.03	1300.01	3292794
SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf	? (TO)	1300.03	1300.01	3292242
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf	? (TO)	1300.03	1300.01	3285158
SAT03/industrial/goldberg/hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	? (TO)	1300.03	1300.01	3291322
SAT03/industrial/maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf	? (TO)	1300.03	1300.01	3291276
application/fuhs/ AProVE11/AProVE11-06.cnf	? (TO)	1300.03	1300.02	3284606
SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf	? (TO)	1300.03	1300.01	3292840
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1300.03	1300.01	3284054
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1300.03	1300.01	3280926
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf	? (TO)	1300.03	1300.01	3289620
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf	? (TO)	1300.03	1300.02	3285020
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf	? (TO)	1300.04	1300.02	3288010
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1300.04	1300.02	3280282
SAT03/industrial/kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	? (TO)	1300.04	1300.01	3291552
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf	? (TO)	1300.04	1300.01	3288056
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1300.04	1300.01	3282076
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom15.cnf	? (TO)	1300.04	1300.01	3288884
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom19.cnf	? (TO)	1300.04	1300.01	3289298
SAT02/industrial/dellacherie/ comb/comb1.shuffled.cnf	? (TO)	1300.04	1300.01	3293116
velev-pipe-o-uns-1.1-6.cnf	? (TO)	1300.04	1300.01	3284192
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1300.04	1300.01	3283916
SAT02/industrial/goldberg/rand_net/ rand_net60-40-10.shuffled.cnf	? (TO)	1300.04	1300.01	3293024
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1300.04	1300.01	3283824
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf	? (TO)	1300.04	1300.01	3285388
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf	? (TO)	1300.04	1300.01	3287320
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1300.04	1300.01	3280650
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1300.04	1300.01	3280604
APPLICATIONS/bitverif/ smulo/smulo064.cnf	? (TO)	1300.04	1300.01	3282214
application/kullmann/AES/Benchmarks/ 32/aes_32_4_keyfind_1.cnf	? (TO)	1300.04	1300.01	3290356
application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf	? (TO)	1300.04	1300.01	3290310
application/kullmann/AES/Benchmarks/ 64/aes_64_4_keyfind_1.cnf	? (TO)	1300.04	1300.01	3290034
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	? (TO)	1300.04	1300.01	3293162
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1300.04	1300.01	3282168
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1300.04	1300.01	3282766
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf	? (TO)	1300.04	1300.02	3288102
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1300.04	1300.01	3280512
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom20.cnf	? (TO)	1300.04	1300.01	3288976
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1300.05	1300.01	3282720
SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	? (TO)	1300.05	1300.01	3291414
SAT03/industrial/goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf	? (TO)	1300.05	1300.01	3291368
application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf	? (TO)	1300.05	1300.01	3289988
application/kullmann/AES/Benchmarks/ 128/aes_128_1_keyfind_1.cnf	? (TO)	1300.05	1300.01	3289942
application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf	? (TO)	1300.05	1300.01	3289896
application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf	? (TO)	1300.05	1300.01	3289850
application/leberre/ 2dimensionalstrippacking/korf-18.cnf	? (TO)	1300.05	1300.02	3290724
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom18.cnf	? (TO)	1300.05	1300.01	3289574
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top30.cnf	? (TO)	1300.05	1300.02	3289528
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf	? (TO)	1300.05	1300.01	3289482
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top28.cnf	? (TO)	1300.05	1300.02	3289436
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top29.cnf	? (TO)	1300.05	1300.02	3289344
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom13.cnf	? (TO)	1300.05	1300.01	3289206
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top24.cnf	? (TO)	1300.05	1300.01	3289160
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf	? (TO)	1300.05	1300.01	3289114
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf	? (TO)	1300.05	1300.01	3289068
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom25.cnf	? (TO)	1300.05	1300.02	3288930
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf	? (TO)	1300.05	1300.01	3288746
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf	? (TO)	1300.05	1300.02	3288286
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf	? (TO)	1300.05	1300.02	3287458
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf	? (TO)	1300.05	1300.01	3287412
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf	? (TO)	1300.05	1300.04	3284790
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-13-step17.cnf	? (TO)	1300.05	1300.01	3286722
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf	? (TO)	1300.05	1300.01	3286630
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf	? (TO)	1300.05	1300.01	3285664
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf	? (TO)	1300.05	1300.01	3285618
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf	? (TO)	1300.05	1300.02	3285572
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	? (TO)	1300.05	1300.02	3281064
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	? (TO)	1300.05	1300.01	3281110
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	? (TO)	1300.05	1300.03	3281156
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	? (TO)	1300.05	1300.02	3281248
mizh-sha0-36-4.cnf	? (TO)	1300.05	1300.03	3281662
ibm-2002-30r-k85.cnf	? (TO)	1300.05	1300.02	3281846
APPLICATIONS/bitverif/countbitsarray/ countbitsarray04_32.cnf	? (TO)	1300.05	1300.01	3282398
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1300.05	1300.02	3282490
APPLICATIONS/ bitverif/maxxor/maxxor032.cnf	? (TO)	1300.05	1300.01	3282536
APPLICATIONS/crypto/ md5gen/gus-md5-12.cnf	? (TO)	1300.05	1300.01	3282582
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1300.05	1300.01	3282904
SAT05/industrial/grieu05/vmpc/ vmpc_36.renamed-as.sat05-1922.cnf	? (TO)	1300.05	1300.02	3292426
SAT-Race-2010-CNF/hardware-verification/ velev/2dlx_ca_bp_f_liveness.cnf	? (TO)	1300.06	1300.04	3293668
APPLICATIONS/bitverif/ maxxororand/maxxororand064.cnf	? (TO)	1300.06	1300.03	3282260
application/rintanen/SATPlanning/ transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf	? (TO)	1300.06	1300.03	3285434
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom26.cnf	? (TO)	1300.06	1300.02	3288838
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf	? (TO)	1300.06	1300.03	3285296
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom22.cnf	? (TO)	1300.06	1300.02	3289666
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom17.cnf	? (TO)	1300.06	1300.01	3289712
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom21.cnf	? (TO)	1300.06	1300.02	3289758
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1300.06	1300.02	3280696
SAT-Race-2010-CNF/cryptography/ mizh/sha0_36_5.cnf	? (TO)	1300.06	1300.02	3293392
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1300.06	1300.03	3282352
SAT03/industrial/schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	? (TO)	1300.06	1300.02	3291690
SAT_RACE08/Q1/ SAT_dat.k85.cnf	? (TO)	1300.06	1300.02	3281478
manol-pipe-c10nidw.cnf	? (TO)	1300.06	1300.02	3281616
SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	? (TO)	1300.06	1300.02	3291644
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step21.cnf	? (TO)	1300.06	1300.01	3286676
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf	? (TO)	1300.06	1300.02	3287504
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom24.cnf	? (TO)	1300.06	1300.02	3288792
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf	? (TO)	1300.07	1300.04	3291966
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf	? (TO)	1300.07	1300.03	3292012
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf	? (TO)	1300.07	1300.04	3292058
application/leberre/ 2dimensionalstrippacking/E00X23.cnf	? (TO)	1300.07	1300.05	3291000
application/leberre/ 2dimensionalstrippacking/E00N23.cnf	? (TO)	1300.07	1300.04	3291046
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf	? (TO)	1300.07	1300.04	3293576
APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf	? (TO)	1300.07	1300.04	3282306
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_11_ooo.cnf	? (TO)	1300.07	1300.05	3293622
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf	? (TO)	1300.07	1300.04	3293530
SAT03/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf	? (TO)	1300.07	1300.03	3291460
application/rintanen/SATPlanning/ transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf	? (TO)	1300.07	1300.04	3286032
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1300.07	1300.03	3282030
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_k.cnf	? (TO)	1300.07	1300.04	3293714
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf	? (TO)	1300.07	1300.03	3285480
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf	? (TO)	1300.07	1300.04	3285342
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1300.07	1300.05	3284928
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-countbits128-tseitin.cnf	? (TO)	1300.07	1300.03	3287274
application/rintanen/SATPlanning/ blocks-blocks-36-0.120-NOTKNOWN.cnf	? (TO)	1300.07	1300.05	3285112
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom23.cnf	? (TO)	1300.07	1300.02	3289804
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.08	1300.06	3285250
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1300.08	1300.05	3281570
SAT03/industrial/li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	? (TO)	1300.08	1300.04	3291506
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1300.08	1300.05	3280374
APPLICATIONS/diagnosis/ UR-20-10p0.cnf	? (TO)	1300.08	1300.04	3283410
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1300.08	1300.05	3281340
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1300.09	1300.06	3281938
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1300.09	1300.07	3280190
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1300.09	1300.04	3283640
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1300.09	1300.06	3280236
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.080-SAT.cnf	? (TO)	1300.09	1300.06	3285710
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1300.09	1300.05	3283456
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	? (TO)	1300.09	1300.07	3280144
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.1	1300.07	3285848
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1300.1	1300.06	3283594
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf	? (TO)	1300.11	1300.07	3285526
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf	? (TO)	1300.11	1300.11	3286768
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf	? (TO)	1300.13	1300.09	3286906

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3500_3500_30f1.shuffled.cnf	UNSAT	0.003999	0.00609099	3266169
crafted/skvortsov/battleship/ battleship-5-8-unsat.cnf	UNSAT	0.021995	0.0229641	3261241
SAT05/crafted/sorge05/QG8/ gensys-ukn007.shuffled-as.sat05-3586.cnf	UNSAT	0.075988	0.076092	3265993
crafted/skvortsov/battleship/ battleship-6-9-unsat.cnf	UNSAT	0.117982	0.120437	3261505
SAT03/handmade/bevan/cnf/ marg3x3add8.shuffled-as.sat03-1449.cnf	UNSAT	0.432933	0.434695	3263969
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-010-008.shuffled-as.sat05-1171.cnf	UNSAT	0.543917	0.546257	3265157
SAT05/crafted/sabharwal05/planning/logistics/unsat/ logistics-rotate-07t5.shuffled-as.sat05-1137.cnf	UNSAT	0.619905	0.620223	3265069
crafted/skvortsov/battleship/ battleship-10-10-unsat.cnf	UNSAT	1.08783	1.08947	3261109
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_060.shuffled.cnf	UNSAT	1.35279	1.35849	3266213
SAT03/handmade/bevan/cnf/ marg3x3add8ch.shuffled-as.sat03-1448.cnf	UNSAT	1.40379	1.40979	3264013
SAT02/handmade/chu-min-li/urquhart/ urquhart3_25bis.shuffled.cnf	UNSAT	8.40772	8.4094	3266609
SAT02/handmade/zhang-lintao/ xor-chain/x1_40.shuffled.cnf	UNSAT	43.4524	43.4518	3266565
crafted/skvortsov/battleship/ battleship-7-12-unsat.cnf	UNSAT	45.763	45.7648	3261329
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_381.cnf	UNSAT	187.276	187.273	3262253
crafted/skvortsov/ automata-synchronization/crn_11_99_u.cnf	UNSAT	195.921	195.918	3260713
crafted/skvortsov/battleship/ battleship-11-11-unsat.cnf	UNSAT	205.92	205.915	3260977
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-19_348.cnf	UNSAT	233.885	233.884	3262121
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf	UNSAT	330.558	330.566	3262649
crafted/skvortsov/ automata-synchronization/rnd_100_28_u.cnf	UNSAT	335.904	335.903	3260669
crafted/skvortsov/battleship/ battleship-12-12-unsat.cnf	UNSAT	440.359	440.347	3261373
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/ grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf	UNSAT	450.271	450.27	3265377
crafted/skvortsov/ automata-synchronization/rnd_150_29_u.cnf	UNSAT	670.661	670.668	3260801
SAT03/handmade/stanion/hwb/ hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf	UNSAT	671.855	671.854	3263881
SAT03/handmade/markstrom/UNSATISFIABLE/ mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf	UNSAT	692.066	692.045	3263925
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_390.cnf	UNSAT	939.584	939.623	3262297
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_401.cnf	UNSAT	988.956	988.922	3262209
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_528.cnf	UNSAT	995.728	995.7	3261857

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/mosoi/289/ 289-sat-4x8.cnf	SAT	0.000999	0.0059	3259921
crafted/mosoi/ 289/289-sat-11x4.cnf	SAT	0.000999	0.00634311	3260361
crafted/mosoi/289/ 289-sat-7x6.cnf	SAT	0.000999	0.00619709	3260229
crafted/mosoi/289/ 289-sat-5x8.cnf	SAT	0.001998	0.00601792	3260273
crafted/mosoi/289/ 289-sat-6x8.cnf	SAT	0.001999	0.00601403	3260405
crafted/skvortsov/battleship/ battleship-8-15-sat.cnf	SAT	0.002999	0.00615594	3261021
crafted/mosoi/289/ 289-sat-6x9.cnf	SAT	0.002999	0.00603711	3260493
crafted/skvortsov/battleship/ battleship-7-13-sat.cnf	SAT	0.004998	0.00592507	3261637
SAT02/handmade/pehoushek/twentyvars/ 7cnf20_90000_90000_7.shuffled.cnf	SAT	0.004999	0.00666707	3266125
crafted/skvortsov/battleship/ battleship-10-18-sat.cnf	SAT	0.005999	0.0066541	3261153
crafted/mosoi/ 289/289-sat-11x9.cnf	SAT	0.007998	0.00862911	3260449
CRAFTED/sgi/ satsgi-n26himBHm28-p0-q293.cnf	SAT	0.008997	0.010948	3257677
crafted/mosoi/ 289/289-sat-4x35.cnf	SAT	0.008997	0.00893807	3259965
crafted/mosoi/ 289/289-sat-6x19.cnf	SAT	0.009997	0.010351	3259877
crafted/mosoi/ 289/289-sat-6x20.cnf	SAT	0.010997	0.0112059	3260097
crafted/skvortsov/battleship/ battleship-10-19-sat.cnf	SAT	0.010998	0.0122581	3261593
crafted/mosoi/ 289/289-sat-14x8.cnf	SAT	0.010998	0.011269	3260053
crafted/mosoi/ 289/289-sat-9x13.cnf	SAT	0.011997	0.012351	3260141
crafted/mosoi/ 289/289-sat-11x10.cnf	SAT	0.012997	0.012744	3260185
SAT05/crafted/sorge05/QG8/ iso-ukn009.shuffled-as.sat05-3632.cnf	SAT	0.022995	0.023308	3266037
crafted/mosoi/ 289/289-sat-12x14.cnf	SAT	0.025995	0.0273891	3260317
SAT05/crafted/sorge05/QG7/ iso-ukn004.shuffled-as.sat05-3385.cnf	SAT	0.027995	0.028253	3265861
crafted/skvortsov/battleship/ battleship-12-23-sat.cnf	SAT	0.035993	0.0372381	3261417
crafted/mosoi/ 289/289-sat-12x15.cnf	SAT	0.083987	0.089326	3260009
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	0.115981	0.116608	3257501
crafted/skvortsov/battleship/ battleship-9-17-sat.cnf	SAT	0.201969	0.2025	3261769
SAT04/handmade/anton/l4k4/ lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf	SAT	1.21581	1.222	3264365
crafted/spence/sgen/ sgen3-n120-s12930489-sat.cnf	SAT	1.58176	1.58239	3274049
crafted/spence/sgen/ sgen3-n160-s40283905-sat.cnf	SAT	1.9807	1.98682	3273391
crafted/skvortsov/battleship/ battleship-10-17-sat.cnf	SAT	4.06638	4.06906	3260889
crafted/skvortsov/battleship/ battleship-11-21-sat.cnf	SAT	5.54016	5.54042	3261725
SAT04/handmade/anton/l5k3/ lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf	SAT	5.83611	5.83645	3264321
SAT05/crafted/sorge05/QG7a/ gensys-brn002.shuffled-as.sat05-3935.cnf	SAT	6.89495	6.89689	3265597
crafted/spence/sgen/ sgen3-n140-s18527668-sat.cnf	SAT	8.25175	8.25219	3274190
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p15-s58217873.cnf	SAT	11.7762	11.7773	3266785
crafted/skvortsov/ automata-synchronization/rnd_100_28_s.cnf	SAT	13.4859	13.4883	3260537
crafted/skvortsov/battleship/ battleship-14-27-sat.cnf	SAT	14.8027	14.8036	3261461
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	18.0013	18.003	3257413
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_399.cnf	SAT	24.1543	24.1539	3261901
crafted/skvortsov/ automata-synchronization/rnd_150_42_s.cnf	SAT	24.4193	24.4213	3260581
crafted/skvortsov/ automata-synchronization/rnd_100_27_s.cnf	SAT	38.7541	38.7559	3260757
crafted/skvortsov/ automata-synchronization/rnd_100_32_s.cnf	SAT	41.5577	41.5581	3260845
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p30-s70617701.cnf	SAT	42.2456	42.2453	3266697
crafted/skvortsov/battleship/ battleship-24-57-sat.cnf	SAT	46.9849	46.9852	3261065
SAT04/handmade/anton/l5k3/ lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf	SAT	49.8584	49.8634	3264277
SAT04/handmade/andrew/composite/ Composite-024BitPrimes-1.used-as.sat04-861.cnf	SAT	50.7033	50.701	3264585
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	SAT	83.3733	83.3753	3259745
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_443.cnf	SAT	93.4368	93.4347	3262341
crafted/skvortsov/ automata-synchronization/crn_11_100_s.cnf	SAT	165.922	165.92	3260625
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p15-s2076598.cnf	SAT	185.899	185.93	3266917
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_404.cnf	SAT	189.256	189.251	3262077
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_527.cnf	SAT	297.93	297.932	3261813
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g7.cnf	SAT	366.009	365.998	3259085
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g5.cnf	SAT	376.873	376.867	3257941
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_505.cnf	SAT	429.11	429.096	3262473
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_110.shuffled.cnf	SAT	453.561	453.552	3266345
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g7.cnf	SAT	669.4	669.389	3258117
crafted/skvortsov/battleship/ battleship-14-26-sat.cnf	SAT	680.25	680.232	3261285
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	SAT	705.607	705.585	3257281
crafted/spence/sgen/ sgen3-n180-s34713902-sat.cnf	SAT	732.379	732.358	3273532
crafted/skvortsov/battleship/ battleship-16-31-sat.cnf	SAT	749.164	749.148	3260933
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes1.cnf	SAT	785.706	785.72	3259525
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	SAT	984.332	984.318	3259789
crafted/spence/sgen/ sgen3-n200-s39840374-sat.cnf	SAT	1061.98	1061.96	3273579
SAT03/handmade/anton/SAT/ SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf	SAT	1164.97	1164.96	3263705

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/mosoi/289/ 289-unsat-21x33.cnf	? (TO)	1299.73	1300.04	3249315
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf	? (TO)	1299.92	1300.01	3251339
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf	? (TO)	1299.97	1300.01	3250591
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes7.cnf	? (TO)	1299.97	1300.01	3258381
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes2.cnf	? (TO)	1299.97	1300.01	3259701
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf	? (TO)	1299.97	1300.01	3251163
SAT03/handmade/anton/UNSAT/ SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf	? (TO)	1299.98	1300.01	3263617
SAT03/handmade/anton/UNSAT/ SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf	? (TO)	1299.98	1300.01	3262825
crafted/spence/sgen/ sgen3-n280-s93756482-sat.cnf	? (TO)	1299.98	1300.01	3273908
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_512.cnf	? (TO)	1299.99	1300.01	3250195
crafted/spence/sgen/ sgen3-n160-s73223945-unsat.cnf	? (TO)	1299.99	1300.01	3273673
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	? (TO)	1299.99	1300.01	3259833
SAT03/handmade/anton/UNSAT/ SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf	? (TO)	1299.99	1300.01	3263573
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	1299.99	1300.01	3258733
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf	? (TO)	1299.99	1300.01	3250811
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf	? (TO)	1299.99	1300.01	3263133
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g10.cnf	? (TO)	1300	1300.01	3257765
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p15-s72490337.cnf	? (TO)	1300.01	1300.01	3251471
crafted/mosoi/289/ 289-unsat-17x27.cnf	? (TO)	1300.01	1300.02	3249535
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_220.shuffled.cnf	? (TO)	1300.01	1300.01	3266301
crafted/spence/sgen/ sgen3-n300-s12830984-sat.cnf	? (TO)	1300.01	1300.01	3273438
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_462.cnf	? (TO)	1300.01	1300.01	3262517
SAT05/crafted/sorge05/QG7a/ gensys-ukn004.shuffled-as.sat05-3844.cnf	? (TO)	1300.01	1300.01	3265773
SAT03/handmade/anton/UNSAT/ SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf	? (TO)	1300.02	1300.01	3263089
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes10.cnf	? (TO)	1300.02	1300.01	3259349
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf	? (TO)	1300.02	1300.01	3251647
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes8.cnf	? (TO)	1300.02	1300.01	3259437
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/ mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf	? (TO)	1300.02	1300.01	3264717
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf	? (TO)	1300.02	1300.01	3250767
crafted/mosoi/289/ 289-unsat-14x34.cnf	? (TO)	1300.02	1300.03	3249711
crafted/skvortsov/battleship/ battleship-14-14-unsat.cnf	? (TO)	1300.02	1300.01	3249975
SAT02/handmade/simon/satex-challenges/ par32-3.shuffled.cnf	? (TO)	1300.02	1300.01	3266477
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes6.cnf	? (TO)	1300.02	1300.01	3259481
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	1300.03	1300.01	3258205
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1300.03	1300.01	3258821
SAT03/handmade/anton/UNSAT/ SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf	? (TO)	1300.03	1300.01	3262781
crafted/skvortsov/battleship/ battleship-15-15-unsat.cnf	? (TO)	1300.03	1300.01	3250063
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g1.cnf	? (TO)	1300.03	1300.01	3257853
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g7.cnf	? (TO)	1300.03	1300.01	3257897
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g9.cnf	? (TO)	1300.03	1300.01	3257985
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g6.cnf	? (TO)	1300.03	1300.01	3258029
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf	? (TO)	1300.03	1300.01	3250723
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf	? (TO)	1300.03	1300.01	3251119
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p30-s39712998.cnf	? (TO)	1300.03	1300.01	3266741
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf	? (TO)	1300.03	1300.01	3262605
SAT03/handmade/gomes/bqwh/ bqwh.60.1152.shuffled-as.sat03-1650.cnf	? (TO)	1300.03	1300.01	3262737
SAT02/handmade/simon/ satex-challenges/c6288.shuffled.cnf	? (TO)	1300.03	1300.01	3266433
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p30-s67876261.cnf	? (TO)	1300.03	1300.01	3251427
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf	? (TO)	1300.03	1300.01	3264761
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf	? (TO)	1300.03	1300.01	3251383
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf	? (TO)	1300.03	1300.01	3264805
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf	? (TO)	1300.03	1300.01	3263661
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf	? (TO)	1300.03	1300.01	3264849
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf	? (TO)	1300.03	1300.01	3264893
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g3.cnf	? (TO)	1300.03	1300.01	3258073
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf	? (TO)	1300.03	1300.01	3264937
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_464.cnf	? (TO)	1300.03	1300.01	3261989
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf	? (TO)	1300.03	1300.01	3264981
SAT03/handmade/gomes/bqwh/ bqwh.50.825.shuffled-as.sat03-1648.cnf	? (TO)	1300.03	1300.01	3262693
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g7.cnf	? (TO)	1300.03	1300.01	3258293
CRAFTED/rbsat/crafted/ forced/rbsat-v2100c215164gyes4.cnf	? (TO)	1300.03	1300.01	3259393
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g4.cnf	? (TO)	1300.03	1300.01	3258161
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf	? (TO)	1300.03	1300.01	3263177
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-020-019.shuffled-as.sat05-1232.cnf	? (TO)	1300.03	1300.01	3265333
SAT05/crafted/sabharwal05/ordering/gt-ordering/ sat/gt-030.shuffled-as.sat05-1295.cnf	? (TO)	1300.03	1300.01	3265421
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf	? (TO)	1300.03	1300.01	3263045
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes2.cnf	? (TO)	1300.03	1300.01	3258337
SAT05/crafted/lynce05/social-golfer-problem/ sgp_5-6-8.shuffled-as.sat05-2669.cnf	? (TO)	1300.03	1300.05	3265465
crafted/spence/sgen/ sgen3-n130-s30940966-unsat.cnf	? (TO)	1300.03	1300.01	3273861
SAT03/handmade/anton/UNSAT/ SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf	? (TO)	1300.03	1300.01	3262869
crafted/mosoi/289/ 289-unsat-5x41.cnf	? (TO)	1300.03	1300.01	3249271
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p30-s19690873.cnf	? (TO)	1300.03	1300.01	3251691
crafted/mosoi/289/ 289-unsat-6x30.cnf	? (TO)	1300.03	1300.02	3249227
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf	? (TO)	1300.03	1300.01	3266829
SAT03/handmade/stanion/hwb/ hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf	? (TO)	1300.04	1300.01	3263793
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p15-s54275047.cnf	? (TO)	1300.04	1300.01	3251515
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf	? (TO)	1300.04	1300.01	3251295
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf	? (TO)	1300.04	1300.01	3251251
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf	? (TO)	1300.04	1300.01	3251207
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf	? (TO)	1300.04	1300.01	3266873
SAT02/handmade/zhang-lintao/ xor-chain/x1_80.shuffled.cnf	? (TO)	1300.04	1300.01	3266521
SAT02/handmade/simon/ satex-challenges/f600.shuffled.cnf	? (TO)	1300.04	1300.01	3266389
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_170.shuffled.cnf	? (TO)	1300.04	1300.01	3266257
SAT05/crafted/sorge05/QG6/ dead-dnd002.shuffled-as.sat05-2713.cnf	? (TO)	1300.04	1300.01	3266081
SAT05/crafted/sorge05/QG7/ dead-dnd003.shuffled-as.sat05-3109.cnf	? (TO)	1300.04	1300.01	3265949
SAT05/crafted/markstrom05/eulcbip/ eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf	? (TO)	1300.04	1300.01	3265553
SAT04/handmade/marijn/equilarge-l/ equilarge_l2.used-as.sat04-894.cnf	? (TO)	1300.04	1300.01	3264629
SAT04/handmade/kexu/frb-0.8/ frb59-26-1.used-as.sat04-891.cnf	? (TO)	1300.04	1300.01	3264233
SAT04/handmade/kexu/frb-0.8/ frb59-26-2.used-as.sat04-892.cnf	? (TO)	1300.04	1300.01	3264189
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf	? (TO)	1300.04	1300.01	3251075
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf	? (TO)	1300.04	1300.01	3250943
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf	? (TO)	1300.04	1300.01	3250899
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf	? (TO)	1300.04	1300.01	3250855
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf	? (TO)	1300.04	1300.01	3266653
SAT03/handmade/stanion/hwb/ hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf	? (TO)	1300.04	1300.01	3263837
SAT03/handmade/stanion/hwb/ hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf	? (TO)	1300.04	1300.01	3263749
SAT03/handmade/anton/UNSAT/ SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf	? (TO)	1300.04	1300.01	3263353
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf	? (TO)	1300.04	1300.01	3263309
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf	? (TO)	1300.04	1300.01	3263001
SAT03/handmade/anton/UNSAT/ SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf	? (TO)	1300.04	1300.01	3262957
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf	? (TO)	1300.04	1300.01	3262913
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf	? (TO)	1300.04	1300.01	3251031
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf	? (TO)	1300.04	1300.01	3250987
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-030-029.shuffled-as.sat05-1234.cnf	? (TO)	1300.04	1300.01	3265289
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-020-019.shuffled-as.sat05-1190.cnf	? (TO)	1300.04	1300.01	3265245
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-040-039.shuffled-as.sat05-1194.cnf	? (TO)	1300.04	1300.01	3265201
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-045-035.shuffled-as.sat05-1181.cnf	? (TO)	1300.04	1300.01	3265113
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf	? (TO)	1300.04	1300.01	3265025
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf	? (TO)	1300.04	1300.01	3250679
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf	? (TO)	1300.04	1300.01	3250635
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf	? (TO)	1300.04	1300.01	3262561
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_508.cnf	? (TO)	1300.04	1300.01	3250503
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2072.cnf	? (TO)	1300.04	1300.02	3250151
crafted/manthey/sudoku-single-hard/ sudoku_81x81_unknown.cnf	? (TO)	1300.04	1300.01	3250107
crafted/skvortsov/battleship/ battleship-15-29-sat.cnf	? (TO)	1300.04	1300.01	3261681
crafted/skvortsov/battleship/ battleship-16-16-unsat.cnf	? (TO)	1300.04	1300.01	3250019
crafted/skvortsov/battleship/ battleship-13-13-unsat.cnf	? (TO)	1300.04	1300.01	3261197
crafted/skvortsov/automata-synchronization/ crn_40_1520_u.cnf	? (TO)	1300.04	1300.01	3249931
crafted/skvortsov/ automata-synchronization/crn_20_360_u.cnf	? (TO)	1300.04	1300.01	3249799
crafted/mosoi/289/ 289-unsat-7x39.cnf	? (TO)	1300.04	1300.01	3249447
crafted/mosoi/289/ 289-unsat-21x40.cnf	? (TO)	1300.04	1300.05	3249359
crafted/mosoi/289/ 289-unsat-6x34.cnf	? (TO)	1300.04	1300.01	3249139
crafted/spence/sgen/ sgen3-n190-s29985700-unsat.cnf	? (TO)	1300.04	1300.01	3274237
crafted/spence/sgen/ sgen3-n240-s78945233-sat.cnf	? (TO)	1300.04	1300.01	3274143
crafted/spence/sgen/ sgen3-n260-s62321009-sat.cnf	? (TO)	1300.04	1300.01	3274096
crafted/spence/sgen/ sgen3-n200-s00813792-unsat.cnf	? (TO)	1300.04	1300.01	3274002
crafted/spence/sgen/ sgen3-n140-s20078956-unsat.cnf	? (TO)	1300.04	1300.01	3273955
crafted/spence/sgen/ sgen3-n120-s55656844-unsat.cnf	? (TO)	1300.04	1300.01	3273814
crafted/spence/sgen/ sgen3-n220-s24359701-sat.cnf	? (TO)	1300.04	1300.01	3273767
crafted/spence/sgen/ sgen3-n170-s56409011-unsat.cnf	? (TO)	1300.04	1300.01	3273720
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_507.cnf	? (TO)	1300.04	1300.01	3262033
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-24_567.cnf	? (TO)	1300.04	1300.01	3261945
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes10.cnf	? (TO)	1300.04	1300.01	3259657
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	1300.04	1300.01	3259613
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g4.cnf	? (TO)	1300.04	1300.01	3257809
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g3.cnf	? (TO)	1300.04	1300.01	3257721
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes7.cnf	? (TO)	1300.04	1300.01	3259261
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g2.cnf	? (TO)	1300.04	1300.01	3259173
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g5.cnf	? (TO)	1300.04	1300.01	3258909
CRAFTED/rbsat/random/forced/ rbsat-v2640c305320gyes10.cnf	? (TO)	1300.04	1300.01	3258777
CRAFTED/rbsat/random/ forced/rbsat-v1820c171155gyes3.cnf	? (TO)	1300.04	1300.01	3258689
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes5.cnf	? (TO)	1300.04	1300.01	3258645
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g4.cnf	? (TO)	1300.04	1300.01	3258249
crafted/spence/ hard/s113-100.cnf	? (TO)	1300.04	1300.01	3257237
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes5.cnf	? (TO)	1300.05	1300.01	3258425
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1300.05	1300.01	3257545
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes1.cnf	? (TO)	1300.05	1300.01	3259569
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes3.cnf	? (TO)	1300.05	1300.01	3259305
crafted/skvortsov/battleship/ battleship-17-33-sat.cnf	? (TO)	1300.05	1300.01	3261549
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes5.cnf	? (TO)	1300.05	1300.01	3259217
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf	? (TO)	1300.05	1300.01	3266961
crafted/skvortsov/ automata-synchronization/crn_20_361_s.cnf	? (TO)	1300.05	1300.01	3249887
crafted/skvortsov/automata-synchronization/ crn_40_1521_s.cnf	? (TO)	1300.05	1300.02	3249843
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_511.cnf	? (TO)	1300.05	1300.01	3250327
crafted/mosoi/289/ 289-unsat-6x40.cnf	? (TO)	1300.05	1300.01	3249623
crafted/mosoi/289/ 289-unsat-9x32.cnf	? (TO)	1300.05	1300.02	3249579
crafted/mosoi/289/ 289-unsat-21x14.cnf	? (TO)	1300.05	1300.02	3249403
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g9.cnf	? (TO)	1300.05	1300.01	3258953
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_406.cnf	? (TO)	1300.05	1300.01	3262385
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_445.cnf	? (TO)	1300.05	1300.01	3262429
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf	? (TO)	1300.05	1300.01	3251559
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes1.cnf	? (TO)	1300.05	1300.01	3258865
SAT05/crafted/sorge05/QG7a/ gensys-icl005.shuffled-as.sat05-3826.cnf	? (TO)	1300.05	1300.01	3265685
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	1300.05	1300.01	3257457
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf	? (TO)	1300.05	1300.01	3251603
CRAFTED/rbsat/random/forced/ rbsat-v1375c111739gyes10.cnf	? (TO)	1300.05	1300.01	3258601
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes1.cnf	? (TO)	1300.05	1300.01	3258557
SAT03/handmade/anton/UNSAT/ SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf	? (TO)	1300.05	1300.01	3263221
crafted/spence/sgen/ sgen3-n150-s89334302-unsat.cnf	? (TO)	1300.05	1300.01	3273626
crafted/spence/sgen/ sgen3-n180-s33098896-unsat.cnf	? (TO)	1300.05	1300.01	3273485
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf	? (TO)	1300.05	1300.01	3263265
SAT03/handmade/anton/UNSAT/ SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf	? (TO)	1300.05	1300.01	3263397
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes7.cnf	? (TO)	1300.05	1300.01	3258513
SAT03/handmade/anton/UNSAT/ SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf	? (TO)	1300.05	1300.01	3263441
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes6.cnf	? (TO)	1300.05	1300.01	3258469
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2071.cnf	? (TO)	1300.05	1300.02	3250415
SAT03/handmade/anton/UNSAT/ SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf	? (TO)	1300.05	1300.01	3263485
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf	? (TO)	1300.05	1300.01	3250547
SAT05/crafted/sorge05/QG7a/ gensys-ukn006.shuffled-as.sat05-3846.cnf	? (TO)	1300.05	1300.01	3265729
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf	? (TO)	1300.05	1300.01	3263529
SAT04/handmade/kexu/frb-0.6/ frb75-13-2.used-as.sat04-878.cnf	? (TO)	1300.05	1300.01	3264057
SAT04/handmade/kexu/frb-0.6/ frb80-14-2.used-as.sat04-880.cnf	? (TO)	1300.05	1300.01	3264101
SAT04/handmade/kexu/frb-0.8/ frb45-21-1.used-as.sat04-883.cnf	? (TO)	1300.05	1300.01	3264145
SAT04/handmade/connamacher/connm-d0.02/ connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf	? (TO)	1300.05	1300.01	3264409
SAT05/crafted/sorge05/QG7a/ gensys-ukn003.shuffled-as.sat05-3843.cnf	? (TO)	1300.05	1300.01	3265817
SAT04/handmade/connamacher/connm-d0.04/ connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf	? (TO)	1300.05	1300.01	3264453
SAT05/crafted/sorge05/QG7/ gensys-icl007.shuffled-as.sat05-3133.cnf	? (TO)	1300.05	1300.01	3265905
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	1300.05	1300.01	3257633
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1300.05	1300.01	3257589
SAT05/crafted/roussel05/visbmc-PHNF/ phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf	? (TO)	1300.06	1300.01	3265509
CRAFTED/rbsat/crafted/unforced/ rbsat-v945c61409g3.cnf	? (TO)	1300.06	1300.01	3259041
crafted/mosoi/289/ 289-unsat-13x32.cnf	? (TO)	1300.06	1300.03	3249183
SAT04/handmade/connamacher/connm-d-0.02/ connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf	? (TO)	1300.06	1300.01	3264497
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4232.cnf	? (TO)	1300.06	1300.02	3250459
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_506.cnf	? (TO)	1300.06	1300.01	3262165
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	1300.06	1300.03	3257325
SAT05/crafted/sorge05/QG7a/ gensys-ukn009.shuffled-as.sat05-3849.cnf	? (TO)	1300.06	1300.01	3265641
crafted/mosoi/289/ 289-unsat-17x30.cnf	? (TO)	1300.06	1300.03	3249491
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g9.cnf	? (TO)	1300.06	1300.01	3259129
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g6.cnf	? (TO)	1300.06	1300.01	3258997
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	1300.06	1300.02	3257369
SAT04/handmade/hirsch03/ hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf	? (TO)	1300.07	1300.01	3264541
crafted/mosoi/289/ 289-unsat-14x38.cnf	? (TO)	1300.07	1300.03	3249667
SAT04/handmade/marijn/equilarge-l/ equilarge_l4.used-as.sat04-896.cnf	? (TO)	1300.07	1300.01	3264673
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4231.cnf	? (TO)	1300.07	1300.02	3250239
crafted/mosoi/289/ 289-unsat-21x39.cnf	? (TO)	1300.08	1300.05	3249755
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34309.cnf	? (TO)	1300.12	1300.09	3250371
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34308.cnf	? (TO)	1300.13	1300.08	3250283

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

Result page for solver PicoSAT 941 (complete)

Category "applications instances" (APPLICATION)

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

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

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

Category "crafted instances" (CRAFTED)

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

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

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