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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
application/leberre/ 2dimensionalstrippacking/E07N15.cnf	UNSAT	0.025995	0.0277189	3291094
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	UNSAT	0.027995	0.02921	3291140
SAT02/industrial/biere/ dinphil/dp04u03.shuffled.cnf	UNSAT	0.050992	0.052237	3293348
SAT02/industrial/goldberg/rand_net/ rand_net60-30-1.shuffled.cnf	UNSAT	0.734887	0.737336	3292980
SAT02/industrial/goldberg/rand_net/ rand_net60-25-10.shuffled.cnf	UNSAT	0.823874	0.82401	3293072
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf	UNSAT	0.939856	0.940499	3287828
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	1.3168	1.31767	3280836
APPLICATIONS/bitverif/ minandmaxor/minandmaxor016.cnf	UNSAT	1.37479	1.37823	3281986
SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf	UNSAT	1.87471	1.87471	3293854
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	UNSAT	2.51662	2.51713	3290956
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	2.72758	2.73111	3280790
application/leberre/ 2dimensionalstrippacking/E03N17.cnf	UNSAT	3.21151	3.21153	3290588
SAT04/industrial/hoonsang/vis-bmc/ dekker.used-as.sat04-989.cnf	UNSAT	4.00139	4.00123	3291876
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf	UNSAT	4.06638	4.0664	3287322
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf	UNSAT	5.65414	5.65566	3287690
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf	UNSAT	5.70013	5.70347	3287874
SAT02/industrial/goldberg/rand_net/ rand_net60-40-10.shuffled.cnf	UNSAT	5.78212	5.78221	3293026
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf	UNSAT	6.591	6.59118	3288196
APPLICATIONS/diagnosis/ UTI-20-10t0.cnf	UNSAT	8.88965	8.89191	3283274
application/leberre/ 2dimensionalstrippacking/E05X15.cnf	UNSAT	10.0785	10.0851	3290910
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	UNSAT	12.7691	12.7705	3287598
SAT04/industrial/hoonsang/vis-bmc/ all.used-as.sat04-986.cnf	UNSAT	13.5389	13.5417	3291922
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	UNSAT	14.1728	14.1734	3288150
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	UNSAT	16.2155	16.2186	3280100
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	UNSAT	16.9784	16.9787	3287966
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf	UNSAT	19.2171	19.2209	3287782
SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf	UNSAT	19.582	19.6143	3293808
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf	UNSAT	19.601	19.6034	3287368
velev-pipe-o-uns-1.1-6.cnf	UNSAT	19.719	19.724	3284194
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	UNSAT	19.85	19.8504	3293164
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	UNSAT	25.3971	25.3981	3287644
application/rintanen/SATPlanning/ grid-strips-grid-y-4.025-NOTKNOWN.cnf	UNSAT	25.8951	25.8962	3285942
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step15.cnf	UNSAT	27.8738	27.8751	3286494
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	UNSAT	34.0528	34.0526	3280744
manol-pipe-c6bidw_i.cnf	UNSAT	37.7183	37.7175	3281710
APPLICATIONS/diagnosis/ ACG-10-10p0.cnf	UNSAT	39.7879	39.7915	3283182
industrial/manolios/ manol-pipe-f7idw.cnf	UNSAT	40.7998	40.8011	3281020
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	UNSAT	41.2177	41.2176	3283320
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf	UNSAT	42.7255	42.7249	3286770
SAT03/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	UNSAT	43.2794	43.2788	3291232
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-nlzbe256-tseitin.cnf	UNSAT	43.9363	43.9359	3287046
application/leberre/ 2dimensionalstrippacking/E02F17.cnf	UNSAT	44.7312	44.73	3290542
application/fuhs/ AProVE11/AProVE11-11.cnf	UNSAT	47.1748	47.1777	3284700
manol-pipe-f7nidw.cnf	UNSAT	47.7687	47.7678	3281802
application/leberre/ 2dimensionalstrippacking/korf-15.cnf	UNSAT	48.2737	48.2727	3290450
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf	UNSAT	48.4036	48.407	3287736
SAT-Race-2010-CNF/hardware-verification/ manolios/c10idw_i.cnf	UNSAT	54.2567	54.2558	3293486
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	UNSAT	62.3175	62.3185	3282998
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf	UNSAT	63.6613	63.6591	3288242
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf	UNSAT	67.4737	67.5075	3286816
SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf	UNSAT	67.9037	67.9508	3292934
application/rintanen/SATPlanning/ blocks-blocks-37-1.120-NOTKNOWN.cnf	UNSAT	81.0257	81.0282	3284838
velev-pipe-o-uns-1.0-7.cnf	UNSAT	89.3764	89.3754	3284240
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step13.cnf	UNSAT	94.2837	94.2816	3286586
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf	UNSAT	100.644	100.642	3286908
SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf	UNSAT	102.386	102.398	3293762
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf	UNSAT	115.811	115.812	3287920
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf	UNSAT	133.195	133.193	3285988
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	UNSAT	135.562	135.559	3282952
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom12.cnf	UNSAT	144.584	144.586	3289254
industrial/fuhs/medium/ AProVE07-21.cnf	UNSAT	164.696	164.693	3280468
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf	UNSAT	166.168	166.17	3288058
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf	UNSAT	167.731	167.727	3288104
APPLICATIONS/ bitverif/maxxor/maxxor032.cnf	UNSAT	170.747	170.743	3282538
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step15.cnf	UNSAT	190.265	190.26	3286218
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	UNSAT	191.934	191.926	3283504
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf	UNSAT	200.612	200.614	3286310
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	UNSAT	255.848	255.841	3293210
application/manthey/traffic/ traffic_pcb_unknown.cnf	UNSAT	279.385	279.387	3288610
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	UNSAT	279.783	279.778	3283090
application/manthey/traffic/ traffic_kkb_unknown.cnf	UNSAT	301.597	301.591	3288426
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-13-step17.cnf	UNSAT	314.443	314.439	3286724
application/manthey/traffic/ traffic_b_unsat.cnf	UNSAT	321.743	321.74	3288656
application/manthey/traffic/ traffic_fb_unknown.cnf	UNSAT	328.321	328.326	3288334
application/manthey/traffic/ traffic_f_unknown.cnf	UNSAT	329.729	329.719	3288472
application/manthey/traffic/ traffic_3b_unknown.cnf	UNSAT	332.636	332.633	3288702
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf	UNSAT	361.406	361.412	3287552
manol-pipe-c10nidw.cnf	UNSAT	403.668	403.656	3281618
application/rintanen/SATPlanning/ grid-strips-grid-y-3.035-NOTKNOWN.cnf	UNSAT	549.68	549.672	3285804
industrial/fuhs/hard/ AProVE07-03.cnf	UNSAT	590.282	590.278	3280560
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_k.cnf	UNSAT	606.671	606.66	3293716
SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf	UNSAT	650.433	650.414	3292750
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	UNSAT	659.291	659.263	3283458
application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf	UNSAT	725.64	725.629	3285758
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom13.cnf	UNSAT	765.182	765.172	3289208
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf	UNSAT	782.646	782.622	3292014
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf	UNSAT	895.887	895.857	3286632
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf	UNSAT	953.431	953.41	3288012
application/leberre/ 2dimensionalstrippacking/korf-17.cnf	UNSAT	976.388	976.373	3290864
SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	UNSAT	1068.19	1068.15	3291646
velev-vliw-uns-4.0-9-i1.cnf	UNSAT	1131.37	1131.35	3281572
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	UNSAT	1171.76	1171.73	3281342
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf	UNSAT	1216.58	1216.55	3293578

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/maris05/DriverLog/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT	0.008998	0.00981399	3292474
SAT02/industrial/aloul/ Bart/bart17.shuffled.cnf	SAT	0.009998	0.0119729	3292704
SAT05/industrial/maris05/DriverLog/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT	0.010998	0.011717	3292520
SAT05/industrial/maris05/Rovers/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT	0.026995	0.0319509	3292566
application/kullmann/AES/Benchmarks/ 32/aes_32_1_keyfind_1.cnf	SAT	0.083986	0.0843781	3290266
SAT05/industrial/maris05/Ferry/ ferry5_ks99i.renamed-as.sat05-3994.cnf	SAT	0.115982	0.119349	3292612
SAT02/industrial/biere/ dinphil/dp04s04.shuffled.cnf	SAT	0.164974	0.165962	3293256
application/kullmann/AES/Benchmarks/ 32/aes_32_2_keyfind_1.cnf	SAT	0.639902	0.640714	3290220
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf	SAT	0.870866	0.87397	3293302
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf	SAT	1.15682	1.15709	3283964
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_18_SAT.cnf	SAT	1.3138	1.3143	3283872
SAT02/industrial/goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT	2.06768	2.06949	3292888
APPLICATIONS/diagnosis/ UTI-10-5t1.cnf	SAT	4.29335	4.30744	3283366
application/fuhs/ AProVE11/AProVE11-12.cnf	SAT	4.46432	4.47131	3284332
SAT04/industrial/vangelder/cnf-color/ abb313GPIA-9-tr.used-as.sat04-321.cnf	SAT	4.83226	4.83564	3291738
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf	SAT	5.17821	5.21779	3287000
APPLICATIONS/diagnosis/ UTI-20-10t1.cnf	SAT	8.27074	8.31919	3283780
application/fuhs/ AProVE11/AProVE11-09.cnf	SAT	9.70852	9.7153	3284516
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf	SAT	9.73152	9.76901	3287230
application/fuhs/ AProVE11/AProVE11-16.cnf	SAT	13.7789	13.7941	3284424
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf	SAT	15.0337	15.09	3284976
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf	SAT	15.3237	15.363	3287184
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	SAT	18.3112	18.3142	3282814
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug6_q0.used-as.sat04-725.cnf	SAT	18.9091	18.934	3292106
application/fuhs/ AProVE11/AProVE11-15.cnf	SAT	20.2679	20.279	3284378
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf	SAT	20.7528	20.7938	3287092
application/fuhs/ AProVE11/AProVE11-02.cnf	SAT	23.5694	23.6439	3284746
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	SAT	26.313	26.3311	3281526
velev-pipe-sat-1.0-b9.cnf	SAT	28.6166	28.6431	3284148
application/fuhs/ AProVE11/AProVE11-10.cnf	SAT	34.7787	34.8428	3284562
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf	SAT	34.8643	17.5066	3286954
application/fuhs/ AProVE11/AProVE11-07.cnf	SAT	40.8678	40.9146	3284470
application/leberre/ 2dimensionalstrippacking/E05F18.cnf	SAT	43.6344	43.6357	3290680
application/manthey/ traffic/traffic_r_sat.cnf	SAT	44.7472	44.7591	3288564
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf	SAT	45.2971	45.3069	3286540
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf	SAT	46.4769	46.4787	3284010
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug4_q0.used-as.sat04-723.cnf	SAT	47.9947	48.0353	3292152
ibm-2004-01-k90.cnf	SAT	49.8204	49.8289	3281894
application/fuhs/ AProVE11/AProVE11-13.cnf	SAT	50.2934	50.4786	3284654
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	SAT	51.6991	51.7086	3282676
application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf	SAT	52.2021	52.426	3286126
SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf	SAT	54.9586	54.9608	3292290
APPLICATIONS/diagnosis/ UR-10-10p1.cnf	SAT	55.0196	55.0408	3283688
application/leberre/ 2dimensionalstrippacking/E02F20.cnf	SAT	55.6225	55.6214	3290496
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	SAT	58.944	59.2042	3281388
ibm-2002-21r-k95.cnf	SAT	61.3107	61.3573	3284286
application/leberre/ 2dimensionalstrippacking/E04F20.cnf	SAT	63.8923	63.8953	3290818
application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf	SAT	64.2142	64.3706	3285206
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step16.cnf	SAT	64.8371	64.8513	3286172
APPLICATIONS/diagnosis/ ACG-15-5p1.cnf	SAT	67.6207	67.6812	3283734
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	SAT	71.1342	71.2036	3283136
application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf	SAT	72.7919	73.0184	3285896
velev-npe-1.0-9dlx-b71.cnf	SAT	73.9228	74.2349	3284102
application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf	SAT	75.9665	76.1919	3285068
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step16.cnf	SAT	76.4774	76.5041	3286448
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	SAT	91.856	92.0288	3281434
application/leberre/ 2dimensionalstrippacking/E04F19.cnf	SAT	110.512	110.51	3290634
mizh-sha0-36-4.cnf	SAT	110.571	110.575	3281664
SAT-Race-2010-CNF/cryptography/ mizh/md5_48_3.cnf	SAT	127.933	127.946	3293440
SAT-Race-2010-CNF/cryptography/ mizh/sha0_36_5.cnf	SAT	143.935	143.937	3293394
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	SAT	154.7	158.563	3283044
application/leberre/ 2dimensionalstrippacking/E05F20.cnf	SAT	159.725	159.719	3291186
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-30-step11.cnf	SAT	171.88	171.972	3286264
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step14.cnf	SAT	200.597	200.66	3286356
application/manthey/traffic/ traffic_3_uc_sat.cnf	SAT	225.971	226.008	3288518
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	SAT	250.24	250.302	3283228
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	SAT	259.734	259.785	3283550
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	SAT	291.884	291.971	3280192
SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf	SAT	376.523	376.517	3292244
ibm-2004-23-k100.cnf	SAT	382.299	382.359	3281756
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top30.cnf	SAT	388.92	388.923	3289530
industrial/crypto/ mizh-sha0-36-2.cnf	SAT	495.534	495.53	3280974
ibm-2002-30r-k85.cnf	SAT	502.878	502.884	3281848
application/leberre/ 2dimensionalstrippacking/E02F22.cnf	SAT	601.856	601.83	3290772
SAT05/industrial/narain05/vpn/ clauses-8.renamed-as.sat05-1964.cnf	SAT	616.799	617.284	3292658
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step21.cnf	SAT	616.837	616.835	3286678
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	SAT	672.39	672.38	3282906
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top28.cnf	SAT	702.321	702.315	3289438
application/manthey/traffic/ traffic_r_uc_sat.cnf	SAT	813.427	813.537	3288380

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf	? (TO)	1294.82	1300.02	3292198
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf	? (TO)	1299.93	1300.02	3289070
SAT03/industrial/goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf	? (TO)	1299.93	1300.01	3291370
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1299.96	1300.01	3282446
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top24.cnf	? (TO)	1299.98	1300.02	3289162
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1299.98	1300.02	3280238
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	? (TO)	1299.99	1300.01	3281112
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.080-SAT.cnf	? (TO)	1299.99	1300.03	3285712
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	? (TO)	1299.99	1300.02	3281066
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	? (TO)	1299.99	1300.01	3281296
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top25.cnf	? (TO)	1299.99	1300.02	3289392
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1300	1300.01	3280652
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom15.cnf	? (TO)	1300	1300.01	3288886
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom26.cnf	? (TO)	1300.01	1300.02	3288840
application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf	? (TO)	1300.01	1300.21	3289852
application/rintanen/SATPlanning/ blocks-blocks-36-0.120-NOTKNOWN.cnf	? (TO)	1300.01	1300.02	3285114
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf	? (TO)	1300.01	1300.02	3287414
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf	? (TO)	1300.02	1300.04	3286402
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1300.02	1300.02	3284930
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom17.cnf	? (TO)	1300.02	1300.01	3289714
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1300.02	1300.01	3280928
SAT02/industrial/aloul/ Homer/homer16.shuffled.cnf	? (TO)	1300.02	1300.02	3292796
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1300.02	1300.01	3282078
APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf	? (TO)	1300.02	1300.01	3282308
SAT05/industrial/grieu05/vmpc/ vmpc_32.renamed-as.sat05-1919.cnf	? (TO)	1300.03	1300.01	3292336
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom24.cnf	? (TO)	1300.03	1300.01	3288794
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom19.cnf	? (TO)	1300.03	1300.01	3289300
SAT03/industrial/goldberg/hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	? (TO)	1300.03	1300.02	3291324
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1300.03	1300.02	3280606
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top29.cnf	? (TO)	1300.03	1300.01	3289346
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	? (TO)	1300.03	1300.01	3280330
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf	? (TO)	1300.03	1300.02	3288748
SAT05/industrial/grieu05/vmpc/ vmpc_36.renamed-as.sat05-1922.cnf	? (TO)	1300.03	1300.01	3292428
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1300.03	1300.01	3282354
SAT-Race-2010-CNF/hardware-verification/ velev/2dlx_ca_bp_f_liveness.cnf	? (TO)	1300.04	1300.02	3293670
application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf	? (TO)	1300.04	1300.18	3289898
application/kullmann/AES/Benchmarks/ 128/aes_128_1_keyfind_1.cnf	? (TO)	1300.04	1300.21	3289944
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf	? (TO)	1300.04	1300.02	3289024
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom20.cnf	? (TO)	1300.04	1300.01	3288978
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom25.cnf	? (TO)	1300.04	1300.01	3288932
SAT02/industrial/dellacherie/ comb/comb1.shuffled.cnf	? (TO)	1300.04	1300.02	3293118
SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf	? (TO)	1300.04	1300.01	3292382
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom23.cnf	? (TO)	1300.04	1300.01	3289806
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom21.cnf	? (TO)	1300.04	1300.01	3289760
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf	? (TO)	1300.04	1300.01	3289622
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom18.cnf	? (TO)	1300.04	1300.01	3289576
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf	? (TO)	1300.04	1300.02	3289484
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf	? (TO)	1300.04	1300.02	3289116
application/kullmann/AES/Benchmarks/ 64/aes_64_1_keyfind_1.cnf	? (TO)	1300.04	1300.01	3290128
application/rintanen/SATPlanning/ transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf	? (TO)	1300.04	1300.04	3285436
application/fuhs/ AProVE11/AProVE11-06.cnf	? (TO)	1300.04	1300.02	3284608
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1300.04	1300.01	3280284
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1300.04	1300.01	3280376
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1300.04	1300.01	3280422
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1300.04	1300.01	3280514
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	? (TO)	1300.04	1300.01	3281158
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	? (TO)	1300.04	1300.01	3281204
SAT_RACE08/Q1/ SAT_dat.k85.cnf	? (TO)	1300.04	1300.01	3281480
APPLICATIONS/crypto/ md5gen/gus-md5-12.cnf	? (TO)	1300.04	1300.01	3282584
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1300.04	1300.01	3282860
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1300.04	1300.01	3282722
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1300.05	1300.02	3282492
application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf	? (TO)	1300.05	1300.04	3289990
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1300.05	1300.01	3280882
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1300.05	1300.02	3280698
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_11_ooo.cnf	? (TO)	1300.05	1300.03	3293624
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf	? (TO)	1300.05	1300.02	3293532
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	? (TO)	1300.05	1300.02	3280146
application/kullmann/AES/Benchmarks/ 64/aes_64_3_keyfind_1.cnf	? (TO)	1300.05	1300.01	3290174
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf	? (TO)	1300.05	1300.01	3287138
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf	? (TO)	1300.05	1300.01	3288288
SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	? (TO)	1300.05	1300.01	3291416
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom22.cnf	? (TO)	1300.05	1300.01	3289668
application/kullmann/AES/Benchmarks/ 64/aes_64_4_keyfind_1.cnf	? (TO)	1300.05	1300.01	3290036
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1300.05	1300.01	3282630
application/kullmann/AES/Benchmarks/ 64/aes_64_2_keyfind_1.cnf	? (TO)	1300.05	1300.01	3290082
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf	? (TO)	1300.05	1300.02	3285298
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	? (TO)	1300.05	1300.01	3281250
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf	? (TO)	1300.05	1300.02	3286862
SAT04/industrial/vangelder/ cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf	? (TO)	1300.05	1300.01	3291784
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf	? (TO)	1300.05	1300.03	3285022
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1300.05	1300.01	3282170
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf	? (TO)	1300.05	1300.02	3284884
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf	? (TO)	1300.05	1300.02	3284792
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf	? (TO)	1300.05	1300.02	3285666
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1300.05	1300.01	3282768
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf	? (TO)	1300.06	1300.02	3285574
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.06	1300.03	3285850
APPLICATIONS/bitverif/ smulo/smulo064.cnf	? (TO)	1300.06	1300.01	3282216
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf	? (TO)	1300.06	1300.02	3285344
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf	? (TO)	1300.06	1300.03	3285160
SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf	? (TO)	1300.06	1300.01	3291830
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf	? (TO)	1300.06	1300.02	3291968
SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf	? (TO)	1300.06	1300.02	3292842
APPLICATIONS/bitverif/countbitsarray/ countbitsarray04_32.cnf	? (TO)	1300.06	1300.03	3282400
application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf	? (TO)	1300.06	1300.01	3290312
application/kullmann/AES/Benchmarks/ 32/aes_32_4_keyfind_1.cnf	? (TO)	1300.06	1300.01	3290358
application/kullmann/AES/Benchmarks/ 32/aes_32_3_keyfind_1.cnf	? (TO)	1300.06	1300.01	3290404
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1300.06	1300.01	3282032
application/leberre/ 2dimensionalstrippacking/korf-18.cnf	? (TO)	1300.06	1300.01	3290726
APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf	? (TO)	1300.06	1300.01	3282124
SAT03/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf	? (TO)	1300.06	1300.02	3291462
SAT03/industrial/li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	? (TO)	1300.06	1300.02	3291508
SAT03/industrial/kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	? (TO)	1300.06	1300.02	3291554
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf	? (TO)	1300.06	1300.02	3287506
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf	? (TO)	1300.06	1300.03	3287460
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-countbits128-tseitin.cnf	? (TO)	1300.06	1300.02	3287276
APPLICATIONS/bitverif/ maxxororand/maxxororand064.cnf	? (TO)	1300.07	1300.03	3282262
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.07	1300.04	3285252
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf	? (TO)	1300.07	1300.02	3285620
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf	? (TO)	1300.07	1300.04	3285390
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf	? (TO)	1300.07	1300.02	3292060
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1300.07	1300.04	3286080
SAT03/industrial/maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf	? (TO)	1300.07	1300.02	3291278
APPLICATIONS/diagnosis/ UR-20-10p0.cnf	? (TO)	1300.07	1300.02	3283412
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1300.07	1300.01	3283826
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1300.07	1300.02	3283918
SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf	? (TO)	1300.07	1300.02	3291600
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1300.07	1300.01	3284056
SAT03/industrial/schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	? (TO)	1300.07	1300.02	3291692
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1300.08	1300.02	3283596
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1300.08	1300.02	3283642
application/rintanen/SATPlanning/ transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf	? (TO)	1300.08	1300.05	3286034
application/leberre/ 2dimensionalstrippacking/E00N23.cnf	? (TO)	1300.08	1300.02	3291048
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1300.08	1300.03	3281940
application/leberre/ 2dimensionalstrippacking/E00X23.cnf	? (TO)	1300.08	1300.02	3291002
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf	? (TO)	1300.09	1300.04	3285528
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf	? (TO)	1300.11	1300.06	3285482

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3500_3500_30f1.shuffled.cnf	UNSAT	0.013997	0.016025	3266171
crafted/skvortsov/battleship/ battleship-5-8-unsat.cnf	UNSAT	0.067988	0.0692561	3261243
SAT03/handmade/bevan/cnf/ marg3x3add8.shuffled-as.sat03-1449.cnf	UNSAT	0.135979	0.136259	3263971
SAT05/crafted/sabharwal05/ordering/gt-ordering/ sat/gt-030.shuffled-as.sat05-1295.cnf	UNSAT	0.309951	0.31025	3265423
crafted/skvortsov/battleship/ battleship-6-9-unsat.cnf	UNSAT	0.52092	0.523345	3261507
SAT05/crafted/sorge05/QG8/ gensys-ukn007.shuffled-as.sat05-3586.cnf	UNSAT	0.890864	0.892128	3265995
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-010-008.shuffled-as.sat05-1171.cnf	UNSAT	1.57676	1.57733	3265159
SAT03/handmade/bevan/cnf/ marg3x3add8ch.shuffled-as.sat03-1448.cnf	UNSAT	1.66874	1.67068	3264015
SAT05/crafted/sabharwal05/planning/logistics/unsat/ logistics-rotate-07t5.shuffled-as.sat05-1137.cnf	UNSAT	2.03869	2.03945	3265071
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/ grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf	UNSAT	2.91456	2.92075	3265379
crafted/skvortsov/ automata-synchronization/crn_11_99_u.cnf	UNSAT	5.65614	5.68973	3260715
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_060.shuffled.cnf	UNSAT	5.96909	5.96955	3266215
crafted/skvortsov/battleship/ battleship-10-10-unsat.cnf	UNSAT	17.2174	17.2181	3261111
SAT02/handmade/chu-min-li/urquhart/ urquhart3_25bis.shuffled.cnf	UNSAT	30.4224	30.4277	3266611
crafted/skvortsov/ automata-synchronization/rnd_100_28_u.cnf	UNSAT	56.3054	56.3069	3260671
crafted/skvortsov/ automata-synchronization/rnd_150_29_u.cnf	UNSAT	83.7023	83.7009	3260803
SAT05/crafted/sorge05/QG6/ dead-dnd002.shuffled-as.sat05-2713.cnf	UNSAT	108.041	108.037	3266083
crafted/skvortsov/battleship/ battleship-12-12-unsat.cnf	UNSAT	264.74	264.732	3261375
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_381.cnf	UNSAT	280.868	280.861	3262255
SAT02/handmade/zhang-lintao/ xor-chain/x1_40.shuffled.cnf	UNSAT	282.776	282.769	3266567
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-19_348.cnf	UNSAT	286.99	286.987	3262123
SAT03/handmade/markstrom/UNSATISFIABLE/ mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf	UNSAT	346.175	346.166	3263927
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf	UNSAT	369.899	369.895	3262651
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_401.cnf	UNSAT	839.041	839.025	3262211
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf	UNSAT	925.332	925.365	3263003
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	UNSAT	934.922	934.9	3257591
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_390.cnf	UNSAT	1002.45	1002.42	3262299

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/skvortsov/battleship/ battleship-7-13-sat.cnf	SAT	0.003998	0.00591611	3261639
crafted/skvortsov/battleship/ battleship-8-15-sat.cnf	SAT	0.004999	0.00618789	3261023
crafted/skvortsov/battleship/ battleship-9-17-sat.cnf	SAT	0.007998	0.0101059	3261771
crafted/skvortsov/battleship/ battleship-10-18-sat.cnf	SAT	0.008998	0.00968694	3261155
crafted/mosoi/289/ 289-sat-4x8.cnf	SAT	0.009998	0.010336	3259923
crafted/skvortsov/battleship/ battleship-10-19-sat.cnf	SAT	0.010998	0.01231	3261595
crafted/mosoi/289/ 289-sat-5x8.cnf	SAT	0.015997	0.0181591	3260275
crafted/mosoi/289/ 289-sat-7x6.cnf	SAT	0.017997	0.0195921	3260231
crafted/mosoi/ 289/289-sat-11x4.cnf	SAT	0.021995	0.021704	3260363
crafted/mosoi/289/ 289-sat-6x8.cnf	SAT	0.023995	0.0239751	3260407
crafted/skvortsov/battleship/ battleship-12-23-sat.cnf	SAT	0.032994	0.033531	3261419
crafted/mosoi/289/ 289-sat-6x9.cnf	SAT	0.032994	0.0339249	3260495
SAT02/handmade/pehoushek/twentyvars/ 7cnf20_90000_90000_7.shuffled.cnf	SAT	0.078987	0.0815509	3266127
SAT05/crafted/sorge05/QG8/ iso-ukn009.shuffled-as.sat05-3632.cnf	SAT	0.078987	0.0854469	3266039
SAT05/crafted/sorge05/QG7/ iso-ukn004.shuffled-as.sat05-3385.cnf	SAT	0.091985	0.096688	3265863
crafted/mosoi/ 289/289-sat-11x9.cnf	SAT	0.144977	0.151229	3260451
CRAFTED/sgi/ satsgi-n26himBHm28-p0-q293.cnf	SAT	0.177972	0.183619	3257679
crafted/mosoi/ 289/289-sat-6x19.cnf	SAT	0.18897	0.189187	3259879
SAT04/handmade/anton/l4k4/ lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf	SAT	0.203968	0.209493	3264367
crafted/mosoi/ 289/289-sat-11x10.cnf	SAT	0.208967	0.209936	3260187
crafted/mosoi/ 289/289-sat-14x8.cnf	SAT	0.220965	0.221618	3260055
crafted/mosoi/ 289/289-sat-6x20.cnf	SAT	0.246962	0.247584	3260099
crafted/mosoi/ 289/289-sat-9x13.cnf	SAT	0.247961	0.249019	3260143
crafted/mosoi/ 289/289-sat-4x35.cnf	SAT	0.368943	0.3698	3259967
crafted/mosoi/ 289/289-sat-12x14.cnf	SAT	0.609906	0.610951	3260319
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	0.626904	0.628506	3257503
crafted/mosoi/ 289/289-sat-12x15.cnf	SAT	0.679896	0.680823	3260011
SAT04/handmade/anton/l5k3/ lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf	SAT	0.997847	1.00673	3264323
crafted/skvortsov/ automata-synchronization/crn_11_100_s.cnf	SAT	1.53277	1.53846	3260627
crafted/spence/sgen/ sgen3-n120-s12930489-sat.cnf	SAT	1.78473	1.78874	3274051
SAT05/crafted/sorge05/QG7a/ gensys-brn002.shuffled-as.sat05-3935.cnf	SAT	2.20366	2.20533	3265599
crafted/mosoi/289/ 289-unsat-6x30.cnf	SAT	3.41448	3.41656	3249229
crafted/skvortsov/ automata-synchronization/rnd_100_28_s.cnf	SAT	3.91041	3.9136	3260539
crafted/skvortsov/battleship/ battleship-10-17-sat.cnf	SAT	4.29335	4.29986	3260891
crafted/skvortsov/battleship/ battleship-14-27-sat.cnf	SAT	9.10761	9.10694	3261463
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf	SAT	11.6912	11.6922	3266831
crafted/skvortsov/ automata-synchronization/rnd_150_42_s.cnf	SAT	13.5219	13.5231	3260583
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p30-s39712998.cnf	SAT	13.6349	13.6363	3266743
crafted/skvortsov/ automata-synchronization/rnd_100_32_s.cnf	SAT	15.2867	15.2874	3260847
crafted/skvortsov/ automata-synchronization/rnd_100_27_s.cnf	SAT	17.4553	17.4564	3260759
crafted/skvortsov/battleship/ battleship-11-21-sat.cnf	SAT	23.1125	23.1121	3261727
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p30-s70617701.cnf	SAT	31.5032	31.5066	3266699
SAT04/handmade/anton/l5k3/ lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf	SAT	36.8564	36.861	3264279
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_399.cnf	SAT	40.3099	40.3122	3261903
crafted/skvortsov/battleship/ battleship-15-29-sat.cnf	SAT	80.3018	80.3047	3261683
crafted/skvortsov/battleship/ battleship-24-57-sat.cnf	SAT	87.1347	87.1328	3261067
crafted/skvortsov/battleship/ battleship-14-26-sat.cnf	SAT	89.7084	89.7065	3261287
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	110.517	110.516	3257415
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf	SAT	154.768	154.766	3266963
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p15-s58217873.cnf	SAT	172.337	172.332	3266787
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes5.cnf	SAT	173.386	173.391	3258427
SAT04/handmade/andrew/composite/ Composite-024BitPrimes-1.used-as.sat04-861.cnf	SAT	193.895	193.889	3264587
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g5.cnf	SAT	210.234	210.235	3257943
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf	SAT	229.104	229.099	3266655
crafted/skvortsov/battleship/ battleship-16-31-sat.cnf	SAT	267.701	267.694	3260935
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_527.cnf	SAT	290.506	290.498	3261815
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	SAT	351.033	351.034	3259747
crafted/spence/sgen/ sgen3-n140-s18527668-sat.cnf	SAT	391.466	391.454	3274192
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g7.cnf	SAT	492.099	492.086	3258119
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	SAT	665.626	665.61	3259791
SAT03/handmade/anton/SAT/ SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf	SAT	704.821	704.805	3263707
SAT04/handmade/connamacher/connm-d-0.02/ connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf	SAT	990.183	990.156	3264499

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/rbsat/random/ forced/rbsat-v1820c171155gyes3.cnf	? (TO)	1299.94	1300.01	3258691
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34309.cnf	? (TO)	1299.96	1300.01	3250373
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf	? (TO)	1299.97	1300.02	3264763
crafted/spence/sgen/ sgen3-n180-s33098896-unsat.cnf	? (TO)	1299.98	1300.01	3273487
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf	? (TO)	1299.98	1300.02	3251605
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf	? (TO)	1299.98	1300.01	3250769
crafted/mosoi/289/ 289-unsat-14x38.cnf	? (TO)	1299.98	1300.02	3249669
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g3.cnf	? (TO)	1299.98	1300.02	3258075
crafted/spence/sgen/ sgen3-n130-s30940966-unsat.cnf	? (TO)	1299.99	1300.01	3273863
SAT02/handmade/simon/satex-challenges/ par32-3.shuffled.cnf	? (TO)	1299.99	1300.01	3266479
crafted/spence/sgen/ sgen3-n280-s93756482-sat.cnf	? (TO)	1299.99	1300.01	3273910
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g4.cnf	? (TO)	1299.99	1300.01	3258163
SAT05/crafted/sorge05/QG7a/ gensys-ukn003.shuffled-as.sat05-3843.cnf	? (TO)	1300	1300.01	3265819
SAT03/handmade/anton/UNSAT/ SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf	? (TO)	1300	1300.03	3263619
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g7.cnf	? (TO)	1300	1300.02	3259087
crafted/spence/sgen/ sgen3-n140-s20078956-unsat.cnf	? (TO)	1300	1300.01	3273957
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1300	1300.01	3258823
crafted/mosoi/289/ 289-unsat-13x32.cnf	? (TO)	1300.01	1300.02	3249185
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes5.cnf	? (TO)	1300.01	1300.01	3258647
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-020-019.shuffled-as.sat05-1232.cnf	? (TO)	1300.01	1300.03	3265335
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes8.cnf	? (TO)	1300.01	1300.02	3259439
crafted/skvortsov/ automata-synchronization/crn_20_360_u.cnf	? (TO)	1300.01	1300.02	3249801
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/ mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf	? (TO)	1300.01	1300.01	3264719
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf	? (TO)	1300.01	1300.03	3250989
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-030-029.shuffled-as.sat05-1234.cnf	? (TO)	1300.02	1300.03	3265291
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes1.cnf	? (TO)	1300.02	1300.02	3258867
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf	? (TO)	1300.02	1300.02	3251077
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf	? (TO)	1300.02	1300.02	3251121
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf	? (TO)	1300.03	1300.03	3251297
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf	? (TO)	1300.03	1300.01	3263135
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf	? (TO)	1300.03	1300.01	3250813
SAT03/handmade/gomes/bqwh/ bqwh.50.825.shuffled-as.sat03-1648.cnf	? (TO)	1300.03	1300.01	3262695
SAT03/handmade/anton/UNSAT/ SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf	? (TO)	1300.03	1300.01	3262783
crafted/spence/sgen/ sgen3-n180-s34713902-sat.cnf	? (TO)	1300.03	1300.01	3273534
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-24_567.cnf	? (TO)	1300.03	1300.01	3261947
SAT03/handmade/gomes/bqwh/ bqwh.60.1152.shuffled-as.sat03-1650.cnf	? (TO)	1300.03	1300.01	3262739
crafted/spence/sgen/ sgen3-n220-s24359701-sat.cnf	? (TO)	1300.03	1300.01	3273769
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_512.cnf	? (TO)	1300.03	1300.01	3250197
crafted/spence/sgen/ sgen3-n120-s55656844-unsat.cnf	? (TO)	1300.03	1300.01	3273816
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf	? (TO)	1300.04	1300.01	3250637
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf	? (TO)	1300.04	1300.01	3250593
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_506.cnf	? (TO)	1300.04	1300.01	3262167
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_508.cnf	? (TO)	1300.04	1300.01	3250505
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_404.cnf	? (TO)	1300.04	1300.01	3262079
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_507.cnf	? (TO)	1300.04	1300.01	3262035
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes1.cnf	? (TO)	1300.04	1300.01	3258559
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes6.cnf	? (TO)	1300.04	1300.01	3258471
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes3.cnf	? (TO)	1300.04	1300.01	3259307
SAT03/handmade/stanion/hwb/ hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf	? (TO)	1300.04	1300.01	3263751
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1300.04	1300.02	3257547
CRAFTED/rbsat/random/forced/ rbsat-v2640c305320gyes10.cnf	? (TO)	1300.04	1300.01	3258779
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g9.cnf	? (TO)	1300.04	1300.01	3257987
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf	? (TO)	1300.04	1300.01	3263663
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g1.cnf	? (TO)	1300.04	1300.02	3257855
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g4.cnf	? (TO)	1300.04	1300.02	3257811
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g10.cnf	? (TO)	1300.04	1300.01	3257767
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g3.cnf	? (TO)	1300.04	1300.01	3257723
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf	? (TO)	1300.04	1300.02	3263531
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes2.cnf	? (TO)	1300.04	1300.01	3258339
SAT03/handmade/anton/UNSAT/ SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf	? (TO)	1300.04	1300.02	3263091
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf	? (TO)	1300.04	1300.02	3263047
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes7.cnf	? (TO)	1300.04	1300.01	3258383
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_464.cnf	? (TO)	1300.04	1300.01	3261991
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_528.cnf	? (TO)	1300.04	1300.01	3261859
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4232.cnf	? (TO)	1300.04	1300.01	3250461
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2072.cnf	? (TO)	1300.04	1300.01	3250153
crafted/manthey/sudoku-single-hard/ sudoku_81x81_unknown.cnf	? (TO)	1300.04	1300.01	3250109
crafted/skvortsov/battleship/ battleship-13-13-unsat.cnf	? (TO)	1300.04	1300.01	3261199
crafted/skvortsov/battleship/ battleship-14-14-unsat.cnf	? (TO)	1300.04	1300.01	3249977
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	1300.04	1300.01	3257327
crafted/skvortsov/battleship/ battleship-11-11-unsat.cnf	? (TO)	1300.04	1300.01	3260979
crafted/mosoi/289/ 289-unsat-9x32.cnf	? (TO)	1300.04	1300.02	3249581
crafted/mosoi/289/ 289-unsat-21x14.cnf	? (TO)	1300.04	1300.02	3249405
crafted/mosoi/289/ 289-unsat-21x40.cnf	? (TO)	1300.04	1300.02	3249361
crafted/mosoi/289/ 289-unsat-21x33.cnf	? (TO)	1300.04	1300.02	3249317
crafted/spence/ hard/s113-100.cnf	? (TO)	1300.04	1300.01	3257239
crafted/spence/sgen/ sgen3-n260-s62321009-sat.cnf	? (TO)	1300.04	1300.01	3274098
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p15-s54275047.cnf	? (TO)	1300.04	1300.03	3251517
crafted/spence/sgen/ sgen3-n300-s12830984-sat.cnf	? (TO)	1300.04	1300.01	3273440
crafted/spence/sgen/ sgen3-n160-s40283905-sat.cnf	? (TO)	1300.04	1300.01	3273393
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes7.cnf	? (TO)	1300.04	1300.01	3258515
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf	? (TO)	1300.04	1300.01	3250681
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf	? (TO)	1300.04	1300.01	3262563
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf	? (TO)	1300.05	1300.02	3250857
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2071.cnf	? (TO)	1300.05	1300.01	3250417
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	1300.05	1300.01	3258735
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_511.cnf	? (TO)	1300.05	1300.01	3250329
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34308.cnf	? (TO)	1300.05	1300.01	3250285
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4231.cnf	? (TO)	1300.05	1300.01	3250241
SAT03/handmade/stanion/hwb/ hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf	? (TO)	1300.05	1300.01	3263795
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes1.cnf	? (TO)	1300.05	1300.01	3259527
SAT04/handmade/kexu/frb-0.8/ frb59-26-2.used-as.sat04-892.cnf	? (TO)	1300.05	1300.01	3264191
CRAFTED/rbsat/crafted/unforced/ rbsat-v945c61409g3.cnf	? (TO)	1300.05	1300.01	3259043
crafted/skvortsov/battleship/ battleship-15-15-unsat.cnf	? (TO)	1300.05	1300.01	3250065
SAT04/handmade/marijn/equilarge-l/ equilarge_l4.used-as.sat04-896.cnf	? (TO)	1300.05	1300.01	3264675
SAT04/handmade/marijn/equilarge-l/ equilarge_l2.used-as.sat04-894.cnf	? (TO)	1300.05	1300.01	3264631
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	1300.05	1300.01	3259615
SAT04/handmade/kexu/frb-0.8/ frb59-26-1.used-as.sat04-891.cnf	? (TO)	1300.05	1300.01	3264235
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	1300.05	1300.02	3257459
SAT03/handmade/stanion/hwb/ hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf	? (TO)	1300.05	1300.01	3263839
SAT02/handmade/simon/ satex-challenges/c6288.shuffled.cnf	? (TO)	1300.05	1300.01	3266435
SAT02/handmade/simon/ satex-challenges/f600.shuffled.cnf	? (TO)	1300.05	1300.01	3266391
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_110.shuffled.cnf	? (TO)	1300.05	1300.01	3266347
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_220.shuffled.cnf	? (TO)	1300.05	1300.01	3266303
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_170.shuffled.cnf	? (TO)	1300.05	1300.01	3266259
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf	? (TO)	1300.05	1300.03	3251561
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf	? (TO)	1300.05	1300.02	3250945
crafted/skvortsov/automata-synchronization/ crn_40_1520_u.cnf	? (TO)	1300.05	1300.01	3249933
SAT04/handmade/hirsch03/ hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf	? (TO)	1300.05	1300.01	3264543
SAT04/handmade/connamacher/connm-d0.04/ connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf	? (TO)	1300.05	1300.01	3264455
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf	? (TO)	1300.05	1300.01	3265027
SAT04/handmade/connamacher/connm-d0.02/ connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf	? (TO)	1300.05	1300.01	3264411
crafted/mosoi/289/ 289-unsat-14x34.cnf	? (TO)	1300.05	1300.03	3249713
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes5.cnf	? (TO)	1300.05	1300.02	3259219
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p30-s19690873.cnf	? (TO)	1300.05	1300.03	3251693
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p15-s72490337.cnf	? (TO)	1300.05	1300.03	3251473
crafted/mosoi/289/ 289-unsat-17x27.cnf	? (TO)	1300.05	1300.02	3249537
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	? (TO)	1300.05	1300.03	3257283
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf	? (TO)	1300.05	1300.03	3251649
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p30-s67876261.cnf	? (TO)	1300.05	1300.03	3251429
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_443.cnf	? (TO)	1300.05	1300.01	3262343
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_406.cnf	? (TO)	1300.05	1300.01	3262387
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf	? (TO)	1300.05	1300.03	3251033
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes7.cnf	? (TO)	1300.05	1300.01	3259263
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes10.cnf	? (TO)	1300.05	1300.02	3259351
crafted/spence/sgen/ sgen3-n190-s29985700-unsat.cnf	? (TO)	1300.05	1300.01	3274239
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf	? (TO)	1300.05	1300.02	3264851
crafted/spence/sgen/ sgen3-n240-s78945233-sat.cnf	? (TO)	1300.05	1300.01	3274145
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf	? (TO)	1300.05	1300.02	3264895
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf	? (TO)	1300.05	1300.02	3264939
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g7.cnf	? (TO)	1300.05	1300.02	3258295
SAT05/crafted/sorge05/QG7/ dead-dnd003.shuffled-as.sat05-3109.cnf	? (TO)	1300.05	1300.01	3265951
SAT05/crafted/sorge05/QG7/ gensys-icl007.shuffled-as.sat05-3133.cnf	? (TO)	1300.05	1300.01	3265907
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g4.cnf	? (TO)	1300.05	1300.01	3258251
SAT05/crafted/sorge05/QG7a/ gensys-ukn004.shuffled-as.sat05-3844.cnf	? (TO)	1300.05	1300.01	3265775
SAT05/crafted/sorge05/QG7a/ gensys-ukn006.shuffled-as.sat05-3846.cnf	? (TO)	1300.05	1300.01	3265731
SAT05/crafted/sorge05/QG7a/ gensys-icl005.shuffled-as.sat05-3826.cnf	? (TO)	1300.05	1300.02	3265687
SAT05/crafted/sorge05/QG7a/ gensys-ukn009.shuffled-as.sat05-3849.cnf	? (TO)	1300.05	1300.02	3265643
SAT05/crafted/markstrom05/eulcbip/ eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf	? (TO)	1300.05	1300.01	3265555
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	1300.05	1300.01	3258207
SAT05/crafted/lynce05/social-golfer-problem/ sgp_5-6-8.shuffled-as.sat05-2669.cnf	? (TO)	1300.05	1300.02	3265467
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf	? (TO)	1300.05	1300.01	3264983
CRAFTED/rbsat/random/forced/ rbsat-v1375c111739gyes10.cnf	? (TO)	1300.05	1300.02	3258603
SAT03/handmade/anton/UNSAT/ SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf	? (TO)	1300.05	1300.02	3263575
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	1300.05	1300.02	3257635
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf	? (TO)	1300.05	1300.01	3262607
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g6.cnf	? (TO)	1300.05	1300.02	3258031
crafted/spence/sgen/ sgen3-n200-s00813792-unsat.cnf	? (TO)	1300.05	1300.01	3274004
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-040-039.shuffled-as.sat05-1194.cnf	? (TO)	1300.06	1300.04	3265203
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-045-035.shuffled-as.sat05-1181.cnf	? (TO)	1300.06	1300.03	3265115
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf	? (TO)	1300.06	1300.02	3264807
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p15-s2076598.cnf	? (TO)	1300.06	1300.02	3266919
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf	? (TO)	1300.06	1300.02	3251341
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf	? (TO)	1300.06	1300.02	3251253
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf	? (TO)	1300.06	1300.02	3266875
SAT04/handmade/kexu/frb-0.8/ frb45-21-1.used-as.sat04-883.cnf	? (TO)	1300.06	1300.02	3264147
SAT04/handmade/kexu/frb-0.6/ frb80-14-2.used-as.sat04-880.cnf	? (TO)	1300.06	1300.02	3264103
SAT03/handmade/stanion/hwb/ hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf	? (TO)	1300.06	1300.02	3263883
SAT03/handmade/anton/UNSAT/ SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf	? (TO)	1300.06	1300.01	3263355
SAT03/handmade/anton/UNSAT/ SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf	? (TO)	1300.06	1300.02	3262959
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf	? (TO)	1300.06	1300.02	3262915
SAT03/handmade/anton/UNSAT/ SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf	? (TO)	1300.06	1300.02	3262871
SAT05/crafted/roussel05/visbmc-PHNF/ phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf	? (TO)	1300.06	1300.02	3265511
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-020-019.shuffled-as.sat05-1190.cnf	? (TO)	1300.06	1300.03	3265247
crafted/skvortsov/battleship/ battleship-17-33-sat.cnf	? (TO)	1300.06	1300.04	3261551
crafted/skvortsov/battleship/ battleship-16-16-unsat.cnf	? (TO)	1300.06	1300.02	3250021
crafted/skvortsov/battleship/ battleship-7-12-unsat.cnf	? (TO)	1300.06	1300.02	3261331
crafted/skvortsov/ automata-synchronization/crn_20_361_s.cnf	? (TO)	1300.06	1300.01	3249889
crafted/skvortsov/automata-synchronization/ crn_40_1521_s.cnf	? (TO)	1300.06	1300.02	3249845
crafted/mosoi/289/ 289-unsat-21x39.cnf	? (TO)	1300.06	1300.03	3249757
crafted/mosoi/289/ 289-unsat-6x40.cnf	? (TO)	1300.06	1300.02	3249625
crafted/mosoi/289/ 289-unsat-7x39.cnf	? (TO)	1300.06	1300.03	3249449
crafted/mosoi/289/ 289-unsat-6x34.cnf	? (TO)	1300.06	1300.03	3249141
crafted/spence/sgen/ sgen3-n170-s56409011-unsat.cnf	? (TO)	1300.06	1300.01	3273722
crafted/spence/sgen/ sgen3-n160-s73223945-unsat.cnf	? (TO)	1300.06	1300.01	3273675
crafted/spence/sgen/ sgen3-n150-s89334302-unsat.cnf	? (TO)	1300.06	1300.01	3273628
crafted/spence/sgen/ sgen3-n200-s39840374-sat.cnf	? (TO)	1300.06	1300.01	3273581
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf	? (TO)	1300.06	1300.01	3250725
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf	? (TO)	1300.06	1300.01	3250549
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_462.cnf	? (TO)	1300.06	1300.01	3262519
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_505.cnf	? (TO)	1300.06	1300.01	3262475
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_445.cnf	? (TO)	1300.06	1300.01	3262431
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	? (TO)	1300.06	1300.02	3259835
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes2.cnf	? (TO)	1300.06	1300.01	3259703
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes10.cnf	? (TO)	1300.06	1300.02	3259659
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes1.cnf	? (TO)	1300.06	1300.01	3259571
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes6.cnf	? (TO)	1300.06	1300.02	3259483
CRAFTED/rbsat/crafted/ forced/rbsat-v2100c215164gyes4.cnf	? (TO)	1300.06	1300.02	3259395
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g2.cnf	? (TO)	1300.06	1300.02	3259175
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g9.cnf	? (TO)	1300.06	1300.01	3259131
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g6.cnf	? (TO)	1300.06	1300.01	3258999
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g9.cnf	? (TO)	1300.06	1300.01	3258955
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g7.cnf	? (TO)	1300.06	1300.02	3257899
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	1300.06	1300.03	3257371
SAT03/handmade/anton/UNSAT/ SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf	? (TO)	1300.07	1300.03	3263487
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf	? (TO)	1300.07	1300.03	3251209
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf	? (TO)	1300.07	1300.03	3251385
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g5.cnf	? (TO)	1300.07	1300.02	3258911
SAT02/handmade/zhang-lintao/ xor-chain/x1_80.shuffled.cnf	? (TO)	1300.07	1300.03	3266523
crafted/mosoi/289/ 289-unsat-17x30.cnf	? (TO)	1300.07	1300.04	3249493
SAT03/handmade/anton/UNSAT/ SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf	? (TO)	1300.07	1300.03	3262827
SAT04/handmade/kexu/frb-0.6/ frb75-13-2.used-as.sat04-878.cnf	? (TO)	1300.07	1300.02	3264059
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf	? (TO)	1300.07	1300.03	3250901
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf	? (TO)	1300.07	1300.02	3263267
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf	? (TO)	1300.07	1300.02	3263311
SAT03/handmade/anton/UNSAT/ SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf	? (TO)	1300.07	1300.02	3263399
SAT03/handmade/anton/UNSAT/ SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf	? (TO)	1300.07	1300.02	3263443
SAT03/handmade/anton/UNSAT/ SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf	? (TO)	1300.08	1300.02	3263223
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf	? (TO)	1300.08	1300.04	3251165
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf	? (TO)	1300.08	1300.03	3263179
crafted/mosoi/289/ 289-unsat-5x41.cnf	? (TO)	1300.08	1300.06	3249273

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

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

Category "applications instances" (APPLICATION)

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

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

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

Category "crafted instances" (CRAFTED)

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

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

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