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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SAT05/industrial/maris05/DriverLog/ driverlog1_ks99i.renamed-as.sat05-3951.cnf	SAT	0.000999	0.00633907	3292453
SAT05/industrial/maris05/DriverLog/ driverlog3_v01a.renamed-as.sat05-3963.cnf	SAT	0.001999	0.00611306	3292499
SAT02/industrial/aloul/ Bart/bart17.shuffled.cnf	SAT	0.002999	0.00654308	3292683
SAT05/industrial/maris05/Rovers/ rovers1_ks99i.renamed-as.sat05-3971.cnf	SAT	0.011997	0.01148	3292545
SAT02/industrial/goldberg/fpga_routing/ vda_gr_rcs_w9.shuffled.cnf	SAT	1.86671	1.87312	3292867
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_15_SAT.cnf	SAT	3.54746	3.54882	3283943
SAT04/industrial/vangelder/cnf-color/ abb313GPIA-9-tr.used-as.sat04-321.cnf	SAT	4.35234	4.35759	3291717
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_18_SAT.cnf	SAT	4.86526	4.86697	3283851
application/kullmann/AES/Benchmarks/ 32/aes_32_1_keyfind_1.cnf	SAT	9.64053	9.64026	3290245
SAT05/industrial/maris05/Ferry/ ferry5_ks99i.renamed-as.sat05-3994.cnf	SAT	23.0405	23.0422	3292591
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-rfunit_flat-64-tseitin.cnf	SAT	23.5414	23.5542	3286979
SAT02/industrial/biere/ dinphil/dp04s04.shuffled.cnf	SAT	95.4945	95.4912	3293235
SAT05/industrial/grieu05/vmpc/ vmpc_25.renamed-as.sat05-1913.cnf	SAT	134.223	134.221	3292269
SAT05/industrial/grieu05/vmpc/ vmpc_34.renamed-as.sat05-1926.cnf	SAT	214.013	214.009	3292177
SAT05/industrial/grieu05/vmpc/ vmpc_29.renamed-as.sat05-1916.cnf	SAT	835.656	835.639	3292223

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
application/rintanen/SATPlanning/ blocks-blocks-37-1.150-SAT.cnf	?	0	0.00635809	3285875
application/rintanen/SATPlanning/ blocks-blocks-37-1.130-NOTKNOWN.cnf	?	0	0.00638304	3285737
application/rintanen/SATPlanning/ blocks-blocks-36-0.170-NOTKNOWN.cnf	?	0	0.00624701	3285185
application/rintanen/SATPlanning/ blocks-blocks-36-0.180-SAT.cnf	?	0	0.0064971	3285047
application/rintanen/SATPlanning/ blocks-blocks-36-0.160-NOTKNOWN.cnf	?	0	0.00677104	3286105
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	?	0	0.00638102	3281367
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	?	0.000999	0.00656306	3283023
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	?	0.000999	0.00654803	3281413
velev-npe-1.0-9dlx-b71.cnf	?	0.000999	0.00641499	3284081

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	? (TO)	1292.13	1300.01	3282931
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq57_a.cnf	? (TO)	1294.4	1300.05	3293557
application/manthey/traffic/ traffic_kkb_unknown.cnf	? (TO)	1298.16	1300.01	3288405
application/fuhs/ AProVE11/AProVE11-15.cnf	? (TO)	1298.83	1300.01	3284357
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf	? (TO)	1299.27	1300.01	3288267
application/kullmann/AES/Benchmarks/ 64/aes_64_3_keyfind_1.cnf	? (TO)	1299.39	1300.01	3290153
application/manthey/traffic/ traffic_f_unknown.cnf	? (TO)	1299.63	1300.01	3288451
application/fuhs/ AProVE11/AProVE11-07.cnf	? (TO)	1299.68	1300.01	3284449
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_11_ooo.cnf	? (TO)	1299.72	1300.03	3293603
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf	? (TO)	1299.74	1300.01	3288221
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf	? (TO)	1299.96	1300.03	3285461
SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf	? (TO)	1299.96	1300.06	3293511
application/fuhs/ AProVE11/AProVE11-02.cnf	? (TO)	1299.97	1300.02	3284725
application/leberre/ 2dimensionalstrippacking/E04F20.cnf	? (TO)	1299.97	1300.01	3290797
application/fuhs/ AProVE11/AProVE11-06.cnf	? (TO)	1299.97	1300.02	3284587
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom23.cnf	? (TO)	1299.97	1300.01	3289785
APPLICATIONS/diagnosis/ UTI-20-10t1.cnf	? (TO)	1299.98	1300.02	3283759
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf	? (TO)	1299.98	1300.02	3284863
SAT03/industrial/kukula/addm_bench/ am_7_7.shuffled-as.sat03-363.cnf	? (TO)	1299.98	1300.01	3291533
SAT_RACE08/Q1/ SAT_dat.k85.cnf	? (TO)	1299.99	1300.01	3281459
APPLICATIONS/diagnosis/ UR-20-10p0.cnf	? (TO)	1299.99	1300.02	3283391
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf	? (TO)	1299.99	1300.01	3286611
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1299.99	1300.01	3281919
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top26.cnf	? (TO)	1299.99	1300.01	3288727
industrial/manolios/ manol-pipe-f7idw.cnf	? (TO)	1300	1300.01	3280999
APPLICATIONS/diagnosis/ ACG-10-10p0.cnf	? (TO)	1300	1300.01	3283161
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step15.cnf	? (TO)	1300	1300.03	3286473
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf	? (TO)	1300	1300.01	3287623
application/leberre/ 2dimensionalstrippacking/korf-18.cnf	? (TO)	1300	1300.01	3290705
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-nlzbe256-tseitin.cnf	? (TO)	1300	1300.02	3287025
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1300	1300.01	3284035
manol-pipe-c10nidw.cnf	? (TO)	1300	1300.02	3281597
application/manthey/ traffic/traffic_r_sat.cnf	? (TO)	1300	1300.04	3288543
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf	? (TO)	1300.01	1300.01	3285369
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1300.01	1300.01	3280355
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom21.cnf	? (TO)	1300.01	1300.01	3289739
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtviseisenberg1-tseitin.cnf	? (TO)	1300.01	1300.01	3287715
velev-pipe-sat-1.0-b9.cnf	? (TO)	1300.02	1300.06	3284127
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	? (TO)	1300.02	1300.02	3280125
SAT04/industrial/hoonsang/vis-bmc/ dekker.used-as.sat04-989.cnf	? (TO)	1300.02	1300.01	3291855
SAT-Race-2010-CNF/hardware-verification/ manolios/c10idw_i.cnf	? (TO)	1300.02	1300.01	3293465
SAT02/industrial/biere/ dinphil/dp04u03.shuffled.cnf	? (TO)	1300.02	1300.01	3293327
application/rintanen/SATPlanning/ blocks-blocks-36-0.120-NOTKNOWN.cnf	? (TO)	1300.02	1300.06	3285093
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.030-NOTKNOWN.cnf	? (TO)	1300.02	1300.02	3285967
ibm-2004-01-k90.cnf	? (TO)	1300.03	1300.01	3281873
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf	? (TO)	1300.03	1300.02	3285553
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1300.03	1300.01	3282839
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	? (TO)	1300.03	1300.02	3283115
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top28.cnf	? (TO)	1300.03	1300.01	3289417
industrial/crypto/ mizh-sha0-36-2.cnf	? (TO)	1300.03	1300.01	3280953
SAT04/industrial/hoonsang/vis-bmc/ all.used-as.sat04-986.cnf	? (TO)	1300.03	1300.01	3291901
SAT04/industrial/vangelder/cnf-color/ myciel6-tr.used-as.sat04-320.cnf	? (TO)	1300.03	1300.01	3291809
industrial/fuhs/medium/ AProVE07-21.cnf	? (TO)	1300.03	1300.01	3280447
APPLICATIONS/diagnosis/ UR-10-10p1.cnf	? (TO)	1300.03	1300.01	3283667
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf	? (TO)	1300.03	1300.01	3287531
application/manthey/traffic/ traffic_fb_unknown.cnf	? (TO)	1300.03	1300.01	3288313
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp3-tseitin.cnf	? (TO)	1300.03	1300.01	3288175
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf	? (TO)	1300.03	1300.01	3288129
APPLICATIONS/diagnosis/ ACG-15-5p1.cnf	? (TO)	1300.03	1300.01	3283713
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1300.03	1300.01	3283805
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	1300.03	1300.02	3283483
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step11.cnf	? (TO)	1300.03	1300.01	3286381
application/jarvisalo/ AAAI2010-SATPlanning/aaai10-planning-ipc5-rovers-18-step12.cnf	? (TO)	1300.03	1300.01	3286519
application/leberre/ 2dimensionalstrippacking/E05X15.cnf	? (TO)	1300.03	1300.01	3290889
application/leberre/ 2dimensionalstrippacking/korf-17.cnf	? (TO)	1300.03	1300.01	3290843
SAT-Race-2010-CNF/cryptography/ mizh/md5_48_3.cnf	? (TO)	1300.03	1300.01	3293419
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step21.cnf	? (TO)	1300.03	1300.01	3286657
SAT-Race-2010-CNF/cryptography/ mizh/sha0_36_5.cnf	? (TO)	1300.03	1300.01	3293373
application/fuhs/ AProVE11/AProVE11-16.cnf	? (TO)	1300.03	1300.01	3284403
SAT02/industrial/biere/ dinphil/dp10s10.shuffled.cnf	? (TO)	1300.03	1300.01	3293281
application/kullmann/AES/Benchmarks/ 64/aes_64_2_keyfind_1.cnf	? (TO)	1300.03	1300.01	3290061
ibm-2002-30r-k85.cnf	? (TO)	1300.03	1300.01	3281827
SAT03/industrial/li/li-test4/ li-test4-100.shuffled-as.sat03-370.cnf	? (TO)	1300.04	1300.01	3291487
SAT03/industrial/li/li-exam/ li-exam-61.shuffled-as.sat03-366.cnf	? (TO)	1300.04	1300.01	3291441
SAT03/industrial/goldberg/hard_eq_check/ k2mul.miter.shuffled-as.sat03-355.cnf	? (TO)	1300.04	1300.01	3291395
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	? (TO)	1300.04	1300.01	3282977
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1300.04	1300.01	3282885
SAT02/industrial/dellacherie/ comb/comb1.shuffled.cnf	? (TO)	1300.04	1300.01	3293097
SAT02/industrial/goldberg/rand_net/ rand_net60-25-10.shuffled.cnf	? (TO)	1300.04	1300.01	3293051
SAT02/industrial/goldberg/rand_net/ rand_net60-40-10.shuffled.cnf	? (TO)	1300.04	1300.01	3293005
SAT02/industrial/goldberg/rand_net/ rand_net60-30-1.shuffled.cnf	? (TO)	1300.04	1300.01	3292959
SAT02/industrial/goldberg/rand_net/ rand_net70-60-10.shuffled.cnf	? (TO)	1300.04	1300.01	3292913
SAT02/industrial/aloul/ Homer/homer17.shuffled.cnf	? (TO)	1300.04	1300.01	3292821
SAT02/industrial/aloul/ Homer/homer16.shuffled.cnf	? (TO)	1300.04	1300.01	3292775
SAT02/industrial/aloul/ Homer/homer14.shuffled.cnf	? (TO)	1300.04	1300.01	3292729
SAT05/industrial/grieu05/vmpc/ vmpc_36.renamed-as.sat05-1922.cnf	? (TO)	1300.04	1300.01	3292407
SAT05/industrial/grieu05/vmpc/ vmpc_32.renamed-as.sat05-1919.cnf	? (TO)	1300.04	1300.01	3292315
application/leberre/ 2dimensionalstrippacking/E02F22.cnf	? (TO)	1300.04	1300.02	3290751
application/leberre/ 2dimensionalstrippacking/E03N17.cnf	? (TO)	1300.04	1300.01	3290567
application/leberre/ 2dimensionalstrippacking/korf-15.cnf	? (TO)	1300.04	1300.01	3290429
application/kullmann/AES/Benchmarks/ 64/aes_64_1_keyfind_1.cnf	? (TO)	1300.04	1300.01	3290107
application/kullmann/AES/Benchmarks/ 64/aes_64_4_keyfind_1.cnf	? (TO)	1300.04	1300.01	3290015
application/kullmann/AES/Benchmarks/ 128/aes_128_10_keyfind_1.cnf	? (TO)	1300.04	1300.01	3289969
application/kullmann/AES/Benchmarks/ 128/aes_128_3_keyfind_1.cnf	? (TO)	1300.04	1300.01	3289831
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom16.cnf	? (TO)	1300.04	1300.01	3289601
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom18.cnf	? (TO)	1300.04	1300.01	3289555
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top30.cnf	? (TO)	1300.04	1300.01	3289509
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom14.cnf	? (TO)	1300.04	1300.01	3289463
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top25.cnf	? (TO)	1300.04	1300.01	3289371
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top29.cnf	? (TO)	1300.04	1300.01	3289325
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom19.cnf	? (TO)	1300.04	1300.01	3289279
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom12.cnf	? (TO)	1300.04	1300.01	3289233
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom13.cnf	? (TO)	1300.04	1300.01	3289187
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top24.cnf	? (TO)	1300.04	1300.01	3289141
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top21.cnf	? (TO)	1300.04	1300.01	3289095
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top23.cnf	? (TO)	1300.04	1300.01	3289049
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf	? (TO)	1300.04	1300.01	3289003
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom20.cnf	? (TO)	1300.04	1300.01	3288957
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom25.cnf	? (TO)	1300.04	1300.01	3288911
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom15.cnf	? (TO)	1300.04	1300.01	3288865
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom26.cnf	? (TO)	1300.04	1300.01	3288819
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom24.cnf	? (TO)	1300.04	1300.01	3288773
application/manthey/traffic/ traffic_3b_unknown.cnf	? (TO)	1300.04	1300.01	3288681
application/manthey/traffic/ traffic_b_unsat.cnf	? (TO)	1300.04	1300.01	3288635
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-bc57sensorsp2-tseitin.cnf	? (TO)	1300.04	1300.01	3287669
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf	? (TO)	1300.04	1300.01	3287577
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf	? (TO)	1300.04	1300.01	3287393
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-ext_con_032_008_0256-tseitin.cnf	? (TO)	1300.04	1300.01	3287301
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-countbits128-tseitin.cnf	? (TO)	1300.04	1300.01	3287255
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbsharemodes_vc5759-tseitin.cnf	? (TO)	1300.04	1300.01	3287209
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libmsrpc_vc1225336-tseitin.cnf	? (TO)	1300.04	1300.01	3287163
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf	? (TO)	1300.04	1300.01	3285645
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf	? (TO)	1300.04	1300.01	3285599
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf	? (TO)	1300.04	1300.02	3286887
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-servers_slapd_a_vc149789-tseitin.cnf	? (TO)	1300.04	1300.02	3286841
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-13-step17.cnf	? (TO)	1300.04	1300.01	3286703
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step16.cnf	? (TO)	1300.04	1300.01	3286151
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1300.04	1300.02	3283621
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	? (TO)	1300.04	1300.02	3283529
application/fuhs/ AProVE11/AProVE11-12.cnf	? (TO)	1300.04	1300.01	3284311
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1300.04	1300.02	3280217
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1300.04	1300.01	3280493
industrial/fuhs/hard/ AProVE07-03.cnf	? (TO)	1300.04	1300.01	3280539
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1300.04	1300.01	3280585
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1300.04	1300.02	3280677
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1300.04	1300.01	3280861
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1300.04	1300.01	3280907
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	? (TO)	1300.04	1300.01	3281045
SAT_RACE08/Q1/ SAT_dat.k80_04.cnf	? (TO)	1300.04	1300.01	3281505
ibm-2004-23-k100.cnf	? (TO)	1300.04	1300.02	3281735
manol-pipe-f7nidw.cnf	? (TO)	1300.04	1300.02	3281781
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1300.04	1300.01	3282149
APPLICATIONS/ bitverif/maxxor/maxxor032.cnf	? (TO)	1300.04	1300.08	3282517
APPLICATIONS/crypto/ md5gen/gus-md5-12.cnf	? (TO)	1300.04	1300.06	3282563
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	? (TO)	1300.04	1300.01	3282655
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmsgoodbakery-tseitin.cnf	? (TO)	1300.05	1300.01	3288037
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf	? (TO)	1300.05	1300.02	3285277
application/kullmann/AES/Benchmarks/ 128/aes_128_1_keyfind_1.cnf	? (TO)	1300.05	1300.01	3289923
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf	? (TO)	1300.05	1300.02	3285001
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.085-SAT.cnf	? (TO)	1300.05	1300.02	3284955
application/fuhs/ AProVE11/AProVE11-11.cnf	? (TO)	1300.05	1300.01	3284679
application/fuhs/ AProVE11/AProVE11-09.cnf	? (TO)	1300.05	1300.01	3284495
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-src_wget_vc18517-tseitin.cnf	? (TO)	1300.05	1300.01	3286933
APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf	? (TO)	1300.05	1300.01	3282103
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_004_127_112-tseitin.cnf	? (TO)	1300.05	1300.01	3286795
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-lfsr_008_063_080-tseitin.cnf	? (TO)	1300.05	1300.01	3286749
APPLICATIONS/bitverif/ smulo/smulo064.cnf	? (TO)	1300.05	1300.01	3282195
application/leberre/ 2dimensionalstrippacking/E04F19.cnf	? (TO)	1300.05	1300.01	3290613
application/leberre/ 2dimensionalstrippacking/E05F18.cnf	? (TO)	1300.05	1300.01	3290659
application/leberre/ 2dimensionalstrippacking/E04N18.cnf	? (TO)	1300.05	1300.01	3290935
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-18-step16.cnf	? (TO)	1300.05	1300.03	3286427
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pathways-17-step20.cnf	? (TO)	1300.05	1300.01	3286289
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-12-step15.cnf	? (TO)	1300.05	1300.02	3286197
APPLICATIONS/bitverif/ maxxororand/maxxororand064.cnf	? (TO)	1300.05	1300.01	3282241
application/leberre/ 2dimensionalstrippacking/E05F20.cnf	? (TO)	1300.05	1300.01	3291165
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1300.05	1300.02	3283437
APPLICATIONS/diagnosis/ UTI-10-5t1.cnf	? (TO)	1300.05	1300.01	3283345
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1300.05	1300.01	3283897
SAT05/industrial/grieu05/vmpc/ vmpc_35.renamed-as.sat05-1921.cnf	? (TO)	1300.05	1300.01	3292361
SAT03/industrial/maris/CNF/ gripper13u.shuffled-as.sat03-395.cnf	? (TO)	1300.05	1300.01	3291257
velev-pipe-o-uns-1.1-6.cnf	? (TO)	1300.05	1300.01	3284173
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_19_UNKNOWN.cnf	? (TO)	1300.05	1300.01	3283989
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	? (TO)	1300.05	1300.01	3280079
SAT03/industrial/schuppan/l2s/ bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf	? (TO)	1300.05	1300.02	3291625
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1300.05	1300.02	3280171
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	? (TO)	1300.05	1300.02	3280309
SAT03/industrial/schuppan/l2s/ dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf	? (TO)	1300.05	1300.01	3291671
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1300.05	1300.01	3280401
SAT04/industrial/vangelder/ cnf-color/abb313GPIA-9-c.used-as.sat04-317.cnf	? (TO)	1300.05	1300.01	3291763
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1300.05	1300.25	3282471
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (TO)	1300.05	1300.01	3283207
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1300.05	1300.02	3280631
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1300.05	1300.11	3282609
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	? (TO)	1300.05	1300.02	3280723
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1300.05	1300.01	3282701
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1300.05	1300.01	3282747
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	? (TO)	1300.05	1300.01	3281275
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	? (TO)	1300.05	1300.01	3282793
mizh-sha0-36-4.cnf	? (TO)	1300.05	1300.01	3281643
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtvisns3p00-tseitin.cnf	? (TO)	1300.05	1300.01	3287991
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-pdtswvsam6x8p3-tseitin.cnf	? (TO)	1300.05	1300.01	3287945
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf	? (TO)	1300.05	1300.01	3288083
manol-pipe-c6bidw_i.cnf	? (TO)	1300.05	1300.01	3281689
application/manthey/traffic/ traffic_3_uc_sat.cnf	? (TO)	1300.05	1300.02	3288497
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtvisns3p02-tseitin.cnf	? (TO)	1300.05	1300.01	3287485
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf	? (TO)	1300.05	1300.01	3287439
application/jarvisalo/ HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-bjrb07amba2andenv-tseitin.cnf	? (TO)	1300.05	1300.01	3287347
SAT-Race-2010-CNF/hardware-verification/ velev/2dlx_ca_bp_f_liveness.cnf	? (TO)	1300.05	1300.04	3293649
APPLICATIONS/bitverif/ minandmaxor/minandmaxor016.cnf	? (TO)	1300.05	1300.01	3281965
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf	? (TO)	1300.05	1300.01	3287117
application/jarvisalo/smtqfbv-aigs/ smtlib-qfbv-aigs-bin_libsmbclient_vc1228502-tseitin.cnf	? (TO)	1300.05	1300.01	3287071
application/manthey/traffic/ traffic_pcb_unknown.cnf	? (TO)	1300.05	1300.01	3288589
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1300.05	1300.01	3282011
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1300.05	1300.01	3282057
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom22.cnf	? (TO)	1300.05	1300.01	3289647
application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-bottom17.cnf	? (TO)	1300.05	1300.01	3289693
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	? (TO)	1300.06	1300.01	3281091
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1300.06	1300.03	3281551
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.050-NOTKNOWN.cnf	? (TO)	1300.06	1300.02	3285323
SAT-Race-2010-CNF/hardware-verification/ velev/11pipe_k.cnf	? (TO)	1300.06	1300.04	3293695
application/rintanen/SATPlanning/ openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.035-NOTKNOWN.cnf	? (TO)	1300.06	1300.02	3285139
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1300.06	1300.02	3280263
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf	? (TO)	1300.06	1300.03	3284771
application/fuhs/ AProVE11/AProVE11-13.cnf	? (TO)	1300.06	1300.02	3284633
application/fuhs/ AProVE11/AProVE11-10.cnf	? (TO)	1300.06	1300.02	3284541
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf	? (TO)	1300.06	1300.01	3293143
application/kullmann/AES/Benchmarks/ 32/aes_32_4_keyfind_1.cnf	? (TO)	1300.06	1300.01	3290337
application/kullmann/AES/Benchmarks/ 32/aes_32_3_keyfind_1.cnf	? (TO)	1300.06	1300.01	3290383
application/leberre/ 2dimensionalstrippacking/E02F20.cnf	? (TO)	1300.06	1300.01	3290475
application/leberre/ 2dimensionalstrippacking/E02F17.cnf	? (TO)	1300.06	1300.01	3290521
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bobsm5378d2-tseitin.cnf	? (TO)	1300.06	1300.01	3287899
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-bc57sensorsp1-tseitin.cnf	? (TO)	1300.06	1300.01	3287853
APPLICATIONS/diagnosis/ UTI-20-10t0.cnf	? (TO)	1300.06	1300.02	3283253
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k45-pdtswvrod6x8p1-tseitin.cnf	? (TO)	1300.06	1300.01	3287761
SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w9.shuffled.cnf	? (TO)	1300.06	1300.01	3293189
application/rintanen/SATPlanning/ grid-strips-grid-y-4.025-NOTKNOWN.cnf	? (TO)	1300.06	1300.02	3285921
application/manthey/traffic/ traffic_r_uc_sat.cnf	? (TO)	1300.06	1300.04	3288359
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	? (TO)	1300.06	1300.02	3283299
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-30-step11.cnf	? (TO)	1300.06	1300.03	3286243
application/rintanen/SATPlanning/ transport-transport-city-sequential-25nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.060-SAT.cnf	? (TO)	1300.06	1300.03	3286013
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1300.06	1300.02	3283575
SAT03/industrial/simon/sat02/ 6pipe_6_ooo.shuffled-as.sat03-413.cnf	? (TO)	1300.06	1300.01	3291211
application/rintanen/SATPlanning/ grid-strips-grid-y-3.035-NOTKNOWN.cnf	? (TO)	1300.06	1300.02	3285783
SAT03/industrial/goldberg/hard_eq_check/ c6288mul.miter.shuffled-as.sat03-346.cnf	? (TO)	1300.06	1300.01	3291303
ibm-2002-21r-k95.cnf	? (TO)	1300.06	1300.01	3284265
velev-pipe-o-uns-1.0-7.cnf	? (TO)	1300.06	1300.01	3284219
SAT03/industrial/goldberg/hard_eq_check/ x1mul.miter.shuffled-as.sat03-359.cnf	? (TO)	1300.06	1300.01	3291349
SAT03/industrial/schuppan/l2s/ valves-gates-1-k617-unsat.shuffled-as.sat03-412.cnf	? (TO)	1300.06	1300.03	3291579
application/kullmann/AES/Benchmarks/ 128/aes_128_2_keyfind_1.cnf	? (TO)	1300.06	1300.01	3289877
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug4_q0.used-as.sat04-723.cnf	? (TO)	1300.07	1300.03	3292131
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	? (TO)	1300.07	1300.01	3281183
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step13.cnf	? (TO)	1300.07	1300.04	3286565
APPLICATIONS/bitverif/countbitsarray/ countbitsarray04_32.cnf	? (TO)	1300.07	1300.01	3282379
application/kullmann/AES/Benchmarks/ 32/aes_32_5_keyfind_1.cnf	? (TO)	1300.07	1300.01	3290291
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf	? (TO)	1300.07	1300.05	3291947
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	? (TO)	1300.07	1300.01	3281229
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1300.07	1300.05	3286059
APPLICATIONS/bitverif/countbitswegner/ countbitswegner128.cnf	? (TO)	1300.07	1300.01	3282287
SAT05/industrial/narain05/vpn/ clauses-8.renamed-as.sat05-1964.cnf	? (TO)	1300.07	1300.04	3292637
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1300.07	1300.01	3282333
application/rintanen/SATPlanning/ sokoban-sequential-p145-microban-sequential.080-SAT.cnf	? (TO)	1300.07	1300.03	3285691
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	? (TO)	1300.07	1300.01	3281137
application/leberre/ 2dimensionalstrippacking/E00X23.cnf	? (TO)	1300.07	1300.03	3290981
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1300.07	1300.01	3282425
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	? (TO)	1300.07	1300.03	3283069
application/rintanen/SATPlanning/ transport-transport-two-cities-sequential-15nodes-1000size-3degree-100mindistance-3trucks-10packages-2008seed.040-SAT.cnf	? (TO)	1300.07	1300.03	3285415
application/kullmann/AES/Benchmarks/ 32/aes_32_2_keyfind_1.cnf	? (TO)	1300.07	1300.01	3290199
application/leberre/ 2dimensionalstrippacking/E00N23.cnf	? (TO)	1300.07	1300.02	3291027
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf	? (TO)	1300.07	1300.03	3291993
application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-pipesworld-27-step14.cnf	? (TO)	1300.07	1300.03	3286335
SAT-Race-2010-CNF/software-verification/ nec/hard-18-U-10652.cnf	? (TO)	1300.08	1300.05	3293741
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf	? (TO)	1300.08	1300.06	3285507
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1300.08	1300.04	3281321
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.030-NOTKNOWN.cnf	? (TO)	1300.08	1300.04	3284909
SAT04/industrial/velev/pipe-sat-1-1/ 12pipe_bug6_q0.used-as.sat04-725.cnf	? (TO)	1300.08	1300.04	3292085
application/rintanen/SATPlanning/ blocks-blocks-37-1.120-NOTKNOWN.cnf	? (TO)	1300.09	1300.06	3284817
application/rintanen/SATPlanning/ transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.09	1300.05	3285829
application/rintanen/SATPlanning/ transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.040-NOTKNOWN.cnf	? (TO)	1300.09	1300.05	3285231
SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf	? (TO)	1300.1	1300.06	3292039

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-nusmvreactorp4-tseitin.cnf	? (problem)	0.197968	0.20198	3287807
industrial/babic/dspam/ dspam_dump_vc949.cnf	? (problem)	0.905861	0.910957	3280769
application/leberre/ 2dimensionalstrippacking/E07N15.cnf	? (problem)	3.53546	3.53701	3291073
application/leberre/ 2dimensionalstrippacking/E15N15.cnf	? (problem)	4.13037	4.13317	3291119
industrial/babic/hsatv17/ hsat_vc12062.cnf	? (problem)	5.63814	5.6409	3280815
SAT-Race-2010-CNF/software-verification/ nec/hard-6-U-7061.cnf	? (problem)	693.174	693.172	3293787
SAT-Race-2010-CNF/software-verification/ nec/hard-25-U-7061.cnf	? (problem)	903.553	903.528	3293833

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/skvortsov/battleship/ battleship-7-13-sat.cnf	SAT	0.000999	0.00645109	3261618
crafted/skvortsov/battleship/ battleship-8-15-sat.cnf	SAT	0.001998	0.006708	3261002
crafted/mosoi/289/ 289-sat-4x8.cnf	SAT	0.002999	0.00642689	3259902
crafted/skvortsov/battleship/ battleship-9-17-sat.cnf	SAT	0.002999	0.00642111	3261750
crafted/skvortsov/battleship/ battleship-10-17-sat.cnf	SAT	0.003998	0.00673799	3260870
crafted/spence/sgen/ sgen3-n120-s12930489-sat.cnf	SAT	0.003998	0.00602091	3274030
crafted/skvortsov/battleship/ battleship-10-19-sat.cnf	SAT	0.003999	0.00650798	3261574
crafted/skvortsov/battleship/ battleship-10-18-sat.cnf	SAT	0.004998	0.00718509	3261134
crafted/mosoi/289/ 289-sat-5x8.cnf	SAT	0.004999	0.00627393	3260254
crafted/mosoi/ 289/289-sat-11x4.cnf	SAT	0.005998	0.00639007	3260342
crafted/mosoi/289/ 289-sat-7x6.cnf	SAT	0.005999	0.00758893	3260210
crafted/skvortsov/battleship/ battleship-12-23-sat.cnf	SAT	0.008997	0.013436	3261398
crafted/skvortsov/battleship/ battleship-11-21-sat.cnf	SAT	0.008997	0.008731	3261706
crafted/mosoi/289/ 289-sat-6x8.cnf	SAT	0.008997	0.00886404	3260386
SAT02/handmade/simon/ satex-challenges/f600.shuffled.cnf	SAT	0.011997	0.0146119	3266370
crafted/mosoi/289/ 289-sat-6x9.cnf	SAT	0.011998	0.011658	3260474
crafted/skvortsov/battleship/ battleship-14-27-sat.cnf	SAT	0.014997	0.020908	3261442
crafted/skvortsov/battleship/ battleship-15-29-sat.cnf	SAT	0.021995	0.0229869	3261662
CRAFTED/sgi/ satsgi-n26himBHm28-p0-q293.cnf	SAT	0.033993	0.034366	3257658
SAT04/handmade/anton/l5k3/ lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf	SAT	0.034993	0.0358471	3264302
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_220.shuffled.cnf	SAT	0.035994	0.0365961	3266282
crafted/skvortsov/battleship/ battleship-17-33-sat.cnf	SAT	0.042992	0.0476911	3261530
crafted/mosoi/ 289/289-sat-11x9.cnf	SAT	0.05899	0.062072	3260430
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_110.shuffled.cnf	SAT	0.058991	0.0596779	3266326
crafted/skvortsov/battleship/ battleship-16-31-sat.cnf	SAT	0.062989	0.0629581	3260914
crafted/mosoi/ 289/289-sat-11x10.cnf	SAT	0.074987	0.0756449	3260166
crafted/mosoi/ 289/289-sat-6x19.cnf	SAT	0.075987	0.0756761	3259858
crafted/mosoi/ 289/289-sat-14x8.cnf	SAT	0.077987	0.07997	3260034
crafted/mosoi/ 289/289-sat-6x20.cnf	SAT	0.086986	0.087805	3260078
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_4300_4300_170.shuffled.cnf	SAT	0.095984	0.0955449	3266238
crafted/mosoi/ 289/289-sat-9x13.cnf	SAT	0.098984	0.0994399	3260122
SAT02/handmade/pehoushek/twentyvars/ 7cnf20_90000_90000_7.shuffled.cnf	SAT	0.106983	0.109905	3266106
crafted/mosoi/ 289/289-sat-4x35.cnf	SAT	0.111982	0.117577	3259946
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p15-s58217873.cnf	SAT	0.118981	0.118853	3266766
crafted/skvortsov/battleship/ battleship-14-26-sat.cnf	SAT	0.12598	0.126615	3261266
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_527.cnf	SAT	0.147976	0.150614	3261794
SAT03/handmade/anton/SAT/ SGI_30_80_15_90_4-dir.shuffled-as.sat03-6.cnf	SAT	0.19197	0.191549	3263686
SAT04/handmade/anton/l5k3/ lksat-n1100-m4103-k3-l5-s558351420.used-as.sat04-934.cnf	SAT	0.228965	0.229585	3264258
crafted/skvortsov/battleship/ battleship-24-57-sat.cnf	SAT	0.240962	0.245473	3261046
crafted/mosoi/289/ 289-unsat-6x30.cnf	SAT	0.272958	0.277527	3249208
crafted/mosoi/ 289/289-sat-12x14.cnf	SAT	0.275957	0.276876	3260298
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g7.cnf	SAT	0.284955	0.288747	3257878
crafted/mosoi/ 289/289-sat-12x15.cnf	SAT	0.308952	0.313548	3259990
SAT05/crafted/sorge05/QG8/ iso-ukn009.shuffled-as.sat05-3632.cnf	SAT	0.404937	0.409153	3266018
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q225-n25-p30-s70617701.cnf	SAT	0.412937	0.413394	3266678
SAT04/handmade/kexu/frb-0.6/ frb75-13-2.used-as.sat04-878.cnf	SAT	0.549915	0.550202	3264038
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g7.cnf	SAT	0.594909	0.596054	3258098
SAT04/handmade/anton/l4k4/ lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf	SAT	0.607906	0.608594	3264346
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes10.cnf	SAT	0.658899	0.662273	3259330
crafted/spence/sgen/ sgen3-n140-s18527668-sat.cnf	SAT	0.673897	0.675407	3274171
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_511.cnf	SAT	0.719889	0.722078	3250308
SAT04/handmade/kexu/frb-0.8/ frb45-21-1.used-as.sat04-883.cnf	SAT	1.36879	1.36928	3264126
SAT05/crafted/sorge05/QG7a/ gensys-brn002.shuffled-as.sat05-3935.cnf	SAT	1.38679	1.38979	3265578
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g9.cnf	SAT	1.39179	1.39212	3258934
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p15-s2076598.cnf	SAT	1.69974	1.70144	3266898
crafted/spence/sgen/ sgen3-n180-s34713902-sat.cnf	SAT	1.87871	1.87832	3273513
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes5.cnf	SAT	2.19567	2.19699	3259198
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes6.cnf	SAT	2.57161	2.57253	3259462
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p15-s44266159.cnf	SAT	2.6056	2.60743	3266942
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p15-s54275047.cnf	SAT	2.77358	2.77409	3251496
crafted/spence/sgen/ sgen3-n160-s40283905-sat.cnf	SAT	2.96955	2.9689	3273372
SAT04/handmade/kexu/frb-0.6/ frb80-14-2.used-as.sat04-880.cnf	SAT	3.40148	3.40295	3264082
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf	SAT	4.35634	4.35829	3266854
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g5.cnf	SAT	5.84111	5.84605	3257922
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	SAT	5.9071	5.91026	3259814
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes5.cnf	SAT	6.06208	6.06233	3258406
crafted/anton/SRHD-SGI/ srhd-sgi-m27-q255-n25-p30-s39712998.cnf	SAT	6.76997	6.77086	3266722
SAT05/crafted/sorge05/QG7/ iso-ukn004.shuffled-as.sat05-3385.cnf	SAT	9.53755	9.53868	3265842
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q326.25-n30-p30-s48700942.cnf	SAT	10.2384	10.2389	3266810
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes1.cnf	SAT	14.2958	14.2951	3259506
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	24.6383	24.6399	3257394
crafted/spence/sgen/ sgen3-n200-s39840374-sat.cnf	SAT	27.7558	27.755	3273560
CRAFTED/rbsat/crafted/unforced/ rbsat-v945c61409g3.cnf	SAT	27.8498	27.9207	3259022
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes8.cnf	SAT	34.8747	34.8732	3259418
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p15-s25120921.cnf	SAT	34.8847	34.8855	3266634
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g7.cnf	SAT	37.8272	37.827	3259066
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes7.cnf	SAT	48.8206	48.8217	3259242
crafted/anton/SRHD-SGI/ srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf	SAT	53.9808	53.9825	3251584
crafted/spence/sgen/ sgen3-n220-s24359701-sat.cnf	SAT	74.0018	74.0028	3273748
crafted/spence/sgen/ sgen3-n240-s78945233-sat.cnf	SAT	89.1075	89.1053	3274124
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g4.cnf	SAT	89.8693	89.867	3257790
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g3.cnf	SAT	101.03	101.027	3258054
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g1.cnf	SAT	127.457	127.458	3257834
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf	SAT	136.506	136.509	3250924
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes1.cnf	SAT	175.385	175.381	3258846
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_404.cnf	SAT	203.411	203.408	3262058
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p15-s48276711.cnf	SAT	220.036	220.042	3251144
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_443.cnf	SAT	227.123	227.118	3262322
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p15-s28972035.cnf	SAT	255.295	255.29	3251056
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p15-s16393788.cnf	SAT	289.167	289.157	3251364
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g7.cnf	SAT	300.873	300.869	3258274
crafted/spence/sgen/ sgen3-n260-s62321009-sat.cnf	SAT	315.756	315.747	3274077
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_399.cnf	SAT	322.05	322.28	3261882
CRAFTED/rbsat/random/forced/ rbsat-v1375c111739gyes10.cnf	SAT	387.124	387.113	3258582
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p15-s72490337.cnf	SAT	444.335	444.34	3251452
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	624.247	624.246	3257482
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g4.cnf	SAT	807.032	807.009	3258230
crafted/anton/SRHD-SGI/ srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf	SAT	1032.57	1032.53	3251276
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_506.cnf	SAT	1140.7	1140.68	3262146

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_507.cnf	? (TO)	1299.3	1300.01	3262014
crafted/mosoi/289/ 289-unsat-6x34.cnf	? (TO)	1299.48	1300.01	3249120
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-24_567.cnf	? (TO)	1299.81	1300.01	3261926
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	1299.93	1300.01	3257438
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g9.cnf	? (TO)	1299.94	1300.01	3259110
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_464.cnf	? (TO)	1299.94	1300.01	3261970
crafted/skvortsov/ automata-synchronization/rnd_100_32_s.cnf	? (TO)	1299.96	1300.01	3260826
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	? (TO)	1299.97	1300.01	3259770
SAT03/handmade/anton/UNSAT/ SGI_30_70_21_60_7-log.shuffled-as.sat03-151.cnf	? (TO)	1299.98	1300.01	3263378
SAT03/handmade/anton/UNSAT/ SGI_30_70_18_80_10-dir.shuffled-as.sat03-140.cnf	? (TO)	1299.98	1300.01	3263202
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_1-log.shuffled-as.sat03-107.cnf	? (TO)	1299.98	1300.01	3262982
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_406.cnf	? (TO)	1299.98	1300.01	3262366
SAT02/handmade/zhang-lintao/ xor-chain/x1_80.shuffled.cnf	? (TO)	1299.99	1300.01	3266502
SAT03/handmade/anton/UNSAT/ SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf	? (TO)	1299.99	1300.01	3262806
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf	? (TO)	1299.99	1300.01	3251100
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q585-n40-p30-s19690873.cnf	? (TO)	1299.99	1300.01	3251672
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	1299.99	1300.01	3257306
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf	? (TO)	1300	1300.01	3251628
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes2.cnf	? (TO)	1300	1300.01	3259682
SAT02/handmade/zhang-lintao/ xor-chain/x1_40.shuffled.cnf	? (TO)	1300	1300.01	3266546
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-045-035.shuffled-as.sat05-1181.cnf	? (TO)	1300	1300.01	3265094
SAT05/crafted/jarvisalo05/mod2-rand3bip-sat/ mod2-rand3bip-sat-270-1.shuffled-as.sat05-2248.cnf	? (TO)	1300.01	1300.01	3264698
SAT03/handmade/anton/UNSAT/ SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf	? (TO)	1300.01	1300.01	3263070
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_5-log.shuffled-as.sat03-111.cnf	? (TO)	1300.01	1300.01	3263114
SAT04/handmade/connamacher/connm-d-0.02/ connm-ue-csp-sat-n1200-d-0.02-s405595518.used-as.sat04-950.cnf	? (TO)	1300.01	1300.01	3264478
SAT03/handmade/anton/UNSAT/ SGI_30_60_28_40_7-log.shuffled-as.sat03-127.cnf	? (TO)	1300.01	1300.01	3263334
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf	? (TO)	1300.01	1300.01	3251012
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	? (TO)	1300.01	1300.01	3257262
crafted/mosoi/289/ 289-unsat-13x32.cnf	? (TO)	1300.02	1300.01	3249164
crafted/spence/sgen/ sgen3-n140-s20078956-unsat.cnf	? (TO)	1300.02	1300.01	3273936
SAT05/crafted/sorge05/QG6/ dead-dnd002.shuffled-as.sat05-2713.cnf	? (TO)	1300.02	1300.01	3266062
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-log.shuffled-as.sat03-137.cnf	? (TO)	1300.02	1300.01	3263026
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_60_10-dir.shuffled-as.sat03-144.cnf	? (TO)	1300.02	1300.01	3263246
crafted/mosoi/289/ 289-unsat-21x39.cnf	? (TO)	1300.02	1300.01	3249736
crafted/skvortsov/ automata-synchronization/rnd_100_28_s.cnf	? (TO)	1300.02	1300.01	3260518
CRAFTED/rbsat/random/ forced/rbsat-v1820c171155gyes3.cnf	? (TO)	1300.02	1300.01	3258670
crafted/skvortsov/battleship/ battleship-13-13-unsat.cnf	? (TO)	1300.02	1300.01	3261178
SAT03/handmade/anton/UNSAT/ SGI_30_70_29_50_3-dir.shuffled-as.sat03-179.cnf	? (TO)	1300.03	1300.01	3263466
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf	? (TO)	1300.03	1300.01	3262894
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4232.cnf	? (TO)	1300.03	1300.01	3250440
crafted/mosoi/289/ 289-unsat-14x38.cnf	? (TO)	1300.03	1300.01	3249648
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-19_348.cnf	? (TO)	1300.03	1300.01	3262102
crafted/mosoi/289/ 289-unsat-7x39.cnf	? (TO)	1300.03	1300.01	3249428
crafted/mosoi/289/ 289-unsat-21x40.cnf	? (TO)	1300.03	1300.01	3249340
SAT03/handmade/anton/UNSAT/ SGI_30_70_26_60_1-dir.shuffled-as.sat03-167.cnf	? (TO)	1300.03	1300.01	3263158
crafted/skvortsov/ automata-synchronization/rnd_150_42_s.cnf	? (TO)	1300.03	1300.01	3260562
crafted/mosoi/289/ 289-unsat-5x41.cnf	? (TO)	1300.03	1300.01	3249252
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_381.cnf	? (TO)	1300.03	1300.01	3262234
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-230-3.shuffled-as.sat05-2505.cnf	? (TO)	1300.03	1300.01	3264962
SAT03/handmade/anton/UNSAT/ SGI_30_70_20_70_1-dir.shuffled-as.sat03-146.cnf	? (TO)	1300.03	1300.01	3263290
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-1.shuffled-as.sat05-2533.cnf	? (TO)	1300.03	1300.01	3265006
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-4_512.cnf	? (TO)	1300.03	1300.01	3250176
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-4-5_4231.cnf	? (TO)	1300.03	1300.01	3250220
SAT03/handmade/stanion/hwb/ hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf	? (TO)	1300.03	1300.01	3263730
crafted/mosoi/289/ 289-unsat-14x34.cnf	? (TO)	1300.03	1300.01	3249692
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_389.cnf	? (TO)	1300.04	1300.01	3250572
SAT02/handmade/simon/satex-challenges/ par32-3.shuffled.cnf	? (TO)	1300.04	1300.01	3266458
SAT02/handmade/simon/ satex-challenges/c6288.shuffled.cnf	? (TO)	1300.04	1300.01	3266414
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3500_3500_30f1.shuffled.cnf	? (TO)	1300.04	1300.01	3266150
SAT05/crafted/sorge05/QG8/ gensys-ukn007.shuffled-as.sat05-3586.cnf	? (TO)	1300.04	1300.01	3265974
SAT05/crafted/sorge05/QG7/ dead-dnd003.shuffled-as.sat05-3109.cnf	? (TO)	1300.04	1300.01	3265930
SAT05/crafted/sorge05/QG7/ gensys-icl007.shuffled-as.sat05-3133.cnf	? (TO)	1300.04	1300.01	3265886
SAT05/crafted/sorge05/QG7a/ gensys-ukn003.shuffled-as.sat05-3843.cnf	? (TO)	1300.04	1300.01	3265798
SAT05/crafted/sorge05/QG7a/ gensys-ukn004.shuffled-as.sat05-3844.cnf	? (TO)	1300.04	1300.01	3265754
SAT05/crafted/sorge05/QG7a/ gensys-ukn006.shuffled-as.sat05-3846.cnf	? (TO)	1300.04	1300.01	3265710
SAT05/crafted/sorge05/QG7a/ gensys-icl005.shuffled-as.sat05-3826.cnf	? (TO)	1300.04	1300.01	3265666
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-020-019.shuffled-as.sat05-1190.cnf	? (TO)	1300.04	1300.01	3265226
SAT05/crafted/sabharwal05/planning/logistics/unsat/ logistics-rotate-07t5.shuffled-as.sat05-1137.cnf	? (TO)	1300.04	1300.01	3265050
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-2.shuffled-as.sat05-2534.cnf	? (TO)	1300.04	1300.01	3264786
crafted/anton/SRHD-SGI/ srhd-sgi-m42-q663-n40-p30-s67876261.cnf	? (TO)	1300.04	1300.01	3251408
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf	? (TO)	1300.04	1300.02	3251232
crafted/anton/SRHD-SGI/ srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf	? (TO)	1300.04	1300.01	3251188
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf	? (TO)	1300.04	1300.01	3250968
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf	? (TO)	1300.04	1300.01	3264742
SAT04/handmade/andrew/composite/ Composite-024BitPrimes-1.used-as.sat04-861.cnf	? (TO)	1300.04	1300.01	3264566
SAT04/handmade/hirsch03/ hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf	? (TO)	1300.04	1300.01	3264522
SAT04/handmade/connamacher/connm-d0.04/ connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf	? (TO)	1300.04	1300.01	3264434
SAT03/handmade/bevan/cnf/ marg3x3add8.shuffled-as.sat03-1449.cnf	? (TO)	1300.04	1300.01	3263950
SAT03/handmade/markstrom/UNSATISFIABLE/ mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf	? (TO)	1300.04	1300.01	3263906
SAT03/handmade/anton/UNSAT/ SGI_30_80_28_70_8-dir.shuffled-as.sat03-215.cnf	? (TO)	1300.04	1300.01	3262938
SAT03/handmade/anton/UNSAT/ SGI_30_70_19_80_8-log.shuffled-as.sat03-143.cnf	? (TO)	1300.04	1300.01	3262850
SAT03/handmade/gomes/bqwh/ bqwh.60.1152.shuffled-as.sat03-1650.cnf	? (TO)	1300.04	1300.01	3262718
SAT03/handmade/gomes/bqwh/ bqwh.50.825.shuffled-as.sat03-1648.cnf	? (TO)	1300.04	1300.01	3262674
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_445.cnf	? (TO)	1300.04	1300.01	3262410
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-20_390.cnf	? (TO)	1300.04	1300.01	3262278
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-21_401.cnf	? (TO)	1300.04	1300.01	3262190
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_508.cnf	? (TO)	1300.04	1300.01	3250484
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-5_528.cnf	? (TO)	1300.04	1300.01	3261838
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2071.cnf	? (TO)	1300.04	1300.01	3250396
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34309.cnf	? (TO)	1300.04	1300.02	3250352
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-3-6_2072.cnf	? (TO)	1300.04	1300.01	3250132
SAT03/handmade/anton/UNSAT/ SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf	? (TO)	1300.04	1300.01	3263554
SAT03/handmade/anton/UNSAT/ SGI_30_70_15_90_1-dir.shuffled-as.sat03-136.cnf	? (TO)	1300.04	1300.01	3263510
SAT03/handmade/anton/UNSAT/ SGI_30_70_22_70_7-dir.shuffled-as.sat03-154.cnf	? (TO)	1300.04	1300.01	3263422
crafted/skvortsov/battleship/ battleship-15-15-unsat.cnf	? (TO)	1300.04	1300.01	3250044
crafted/skvortsov/battleship/ battleship-12-12-unsat.cnf	? (TO)	1300.04	1300.01	3261354
crafted/skvortsov/battleship/ battleship-16-16-unsat.cnf	? (TO)	1300.04	1300.01	3250000
crafted/skvortsov/battleship/ battleship-5-8-unsat.cnf	? (TO)	1300.04	1300.01	3261222
crafted/skvortsov/battleship/ battleship-14-14-unsat.cnf	? (TO)	1300.04	1300.01	3249956
crafted/skvortsov/battleship/ battleship-10-10-unsat.cnf	? (TO)	1300.04	1300.01	3261090
crafted/skvortsov/automata-synchronization/ crn_40_1521_s.cnf	? (TO)	1300.04	1300.01	3249824
crafted/skvortsov/ automata-synchronization/crn_11_100_s.cnf	? (TO)	1300.04	1300.01	3260606
crafted/skvortsov/ automata-synchronization/crn_20_360_u.cnf	? (TO)	1300.04	1300.01	3249780
crafted/mosoi/289/ 289-unsat-21x14.cnf	? (TO)	1300.04	1300.01	3249384
crafted/mosoi/289/ 289-unsat-21x33.cnf	? (TO)	1300.04	1300.01	3249296
crafted/spence/sgen/ sgen3-n190-s29985700-unsat.cnf	? (TO)	1300.04	1300.01	3274218
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf	? (TO)	1300.04	1300.01	3250792
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf	? (TO)	1300.04	1300.01	3262630
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf	? (TO)	1300.04	1300.01	3250748
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf	? (TO)	1300.04	1300.01	3262542
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-17_279.cnf	? (TO)	1300.04	1300.01	3250528
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_462.cnf	? (TO)	1300.04	1300.01	3262498
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-23_505.cnf	? (TO)	1300.04	1300.01	3262454
crafted/spence/sgen/ sgen3-n130-s30940966-unsat.cnf	? (TO)	1300.04	1300.01	3273842
CRAFTED/rbsat/crafted/ forced/rbsat-v2100c215164gyes4.cnf	? (TO)	1300.04	1300.01	3259374
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g9.cnf	? (TO)	1300.04	1300.01	3257966
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	1300.04	1300.01	3257614
crafted/spence/ hard/s113-100.cnf	? (TO)	1300.04	1300.01	3257218
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g10.cnf	? (TO)	1300.04	1300.01	3257746
CRAFTED/rbsat/random/unforced/ rbsat-v2400c266431g3.cnf	? (TO)	1300.04	1300.01	3257702
crafted/skvortsov/ automata-synchronization/rnd_100_27_s.cnf	? (TO)	1300.05	1300.01	3260738
crafted/skvortsov/ automata-synchronization/crn_11_99_u.cnf	? (TO)	1300.05	1300.01	3260694
crafted/skvortsov/ automata-synchronization/rnd_100_28_u.cnf	? (TO)	1300.05	1300.01	3260650
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes7.cnf	? (TO)	1300.05	1300.01	3258494
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes6.cnf	? (TO)	1300.05	1300.01	3258450
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes7.cnf	? (TO)	1300.05	1300.01	3258362
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf	? (TO)	1300.05	1300.02	3250836
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	1300.05	1300.01	3258714
crafted/skvortsov/battleship/ battleship-7-12-unsat.cnf	? (TO)	1300.05	1300.01	3261310
SAT04/handmade/marijn/equilarge-l/ equilarge_l2.used-as.sat04-894.cnf	? (TO)	1300.05	1300.01	3264610
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes5.cnf	? (TO)	1300.05	1300.01	3258626
CRAFTED/rbsat/random/ forced/rbsat-v2400c266431gyes1.cnf	? (TO)	1300.05	1300.01	3258538
crafted/skvortsov/battleship/ battleship-11-11-unsat.cnf	? (TO)	1300.05	1300.01	3260958
crafted/skvortsov/automata-synchronization/ crn_40_1520_u.cnf	? (TO)	1300.05	1300.01	3249912
SAT04/handmade/marijn/equilarge-l/ equilarge_l4.used-as.sat04-896.cnf	? (TO)	1300.05	1300.01	3264654
crafted/skvortsov/ automata-synchronization/rnd_150_29_u.cnf	? (TO)	1300.05	1300.01	3260782
crafted/skvortsov/ automata-synchronization/crn_20_361_s.cnf	? (TO)	1300.05	1300.01	3249868
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-250-3.shuffled-as.sat05-2535.cnf	? (TO)	1300.05	1300.01	3264830
crafted/mosoi/289/ 289-unsat-6x40.cnf	? (TO)	1300.05	1300.01	3249604
crafted/mosoi/289/ 289-unsat-17x30.cnf	? (TO)	1300.05	1300.01	3249472
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-220-3.shuffled-as.sat05-2490.cnf	? (TO)	1300.05	1300.01	3264874
CRAFTED/rbsat/random/ forced/rbsat-v2640c305320gyes2.cnf	? (TO)	1300.05	1300.01	3258318
SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/ mod2c-rand3bip-sat-240-2.shuffled-as.sat05-2519.cnf	? (TO)	1300.05	1300.01	3264918
SAT05/crafted/sabharwal05/counting/php/unsat/ easier/php-010-008.shuffled-as.sat05-1171.cnf	? (TO)	1300.05	1300.01	3265138
SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-040-039.shuffled-as.sat05-1194.cnf	? (TO)	1300.05	1300.01	3265182
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (TO)	1300.05	1300.01	3259726
CRAFTED/rbsat/random/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	1300.05	1300.01	3258186
CRAFTED/rbsat/random/unforced/ rbsat-v2100c215164g4.cnf	? (TO)	1300.05	1300.01	3258142
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g6.cnf	? (TO)	1300.05	1300.01	3258010
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-15_218.cnf	? (TO)	1300.05	1300.01	3250704
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf	? (TO)	1300.05	1300.01	3250660
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	1300.05	1300.01	3257350
SAT02/handmade/chu-min-li/urquhart/ urquhart3_25bis.shuffled.cnf	? (TO)	1300.05	1300.01	3266590
SAT05/crafted/sorge05/QG7a/ gensys-ukn009.shuffled-as.sat05-3849.cnf	? (TO)	1300.05	1300.01	3265622
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1300.05	1300.01	3257570
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1300.05	1300.01	3257526
crafted/spence/sgen/ sgen3-n200-s00813792-unsat.cnf	? (TO)	1300.05	1300.01	3273983
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-030-029.shuffled-as.sat05-1234.cnf	? (TO)	1300.05	1300.01	3265270
crafted/spence/sgen/ sgen3-n280-s93756482-sat.cnf	? (TO)	1300.05	1300.01	3273889
SAT02/handmade/pehoushek/plainoldcnf/ 5cnf_3900_3900_060.shuffled.cnf	? (TO)	1300.05	1300.01	3266194
crafted/spence/sgen/ sgen3-n120-s55656844-unsat.cnf	? (TO)	1300.05	1300.01	3273795
crafted/spence/sgen/ sgen3-n170-s56409011-unsat.cnf	? (TO)	1300.05	1300.01	3273701
crafted/spence/sgen/ sgen3-n160-s73223945-unsat.cnf	? (TO)	1300.05	1300.01	3273654
crafted/spence/sgen/ sgen3-n150-s89334302-unsat.cnf	? (TO)	1300.05	1300.01	3273607
crafted/spence/sgen/ sgen3-n180-s33098896-unsat.cnf	? (TO)	1300.05	1300.01	3273466
crafted/spence/sgen/ sgen3-n300-s12830984-sat.cnf	? (TO)	1300.05	1300.01	3273419
SAT05/crafted/sabharwal05/counting/fphp/unsat/ harder/fphp-020-019.shuffled-as.sat05-1232.cnf	? (TO)	1300.05	1300.01	3265314
SAT05/crafted/sabharwal05/pebbling/grid-pebbling/unsat/ grid-pbl-0250.shuffled-as.sat05-1349.shuffled-as.sat05-1349.cnf	? (TO)	1300.05	1300.01	3265358
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes10.cnf	? (TO)	1300.05	1300.01	3259638
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes3.cnf	? (TO)	1300.05	1300.01	3259594
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes1.cnf	? (TO)	1300.05	1300.01	3259550
SAT05/crafted/markstrom05/eulcbip/ eulcbip-7-UNSAT.shuffled-as.sat05-3936.cnf	? (TO)	1300.05	1300.01	3265534
CRAFTED/rbsat/crafted/unforced/ rbsat-v760c43649g2.cnf	? (TO)	1300.05	1300.01	3259154
SAT03/handmade/stanion/hwb/ hwb-n28-01-S136611085.shuffled-as.sat03-1627.cnf	? (TO)	1300.05	1300.01	3263862
SAT03/handmade/stanion/hwb/ hwb-n30-02-S77299857.shuffled-as.sat03-1633.cnf	? (TO)	1300.05	1300.01	3263818
SAT03/handmade/stanion/hwb/ hwb-n32-02-S1478512323.shuffled-as.sat03-1638.cnf	? (TO)	1300.05	1300.01	3263774
crafted/manthey/sudoku-single-hard/ sudoku_81x81_unknown.cnf	? (TO)	1300.05	1300.01	3250088
SAT03/handmade/anton/UNSAT/ SGI_30_50_30_20_3-log.shuffled-as.sat03-109.cnf	? (TO)	1300.05	1300.01	3263642
SAT03/handmade/anton/UNSAT/ SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf	? (TO)	1300.05	1300.01	3263598
SAT05/crafted/sabharwal05/ordering/gt-ordering/ sat/gt-030.shuffled-as.sat05-1295.cnf	? (TO)	1300.05	1300.01	3265402
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g6.cnf	? (TO)	1300.05	1300.01	3258978
crafted/kullmann/GreenTao/ GreenTaok1k2/GreenTao_2-5-5_34308.cnf	? (TO)	1300.05	1300.02	3250264
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g5.cnf	? (TO)	1300.05	1300.01	3258890
SAT03/handmade/anton/UNSAT/ SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf	? (TO)	1300.05	1300.01	3262762
SAT03/handmade/bevan/cnf/ marg3x3add8ch.shuffled-as.sat03-1448.cnf	? (TO)	1300.05	1300.01	3263994
SAT04/handmade/kexu/frb-0.8/ frb59-26-2.used-as.sat04-892.cnf	? (TO)	1300.05	1300.01	3264170
SAT04/handmade/kexu/frb-0.8/ frb59-26-1.used-as.sat04-891.cnf	? (TO)	1300.05	1300.01	3264214
SAT04/handmade/connamacher/connm-d0.02/ connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf	? (TO)	1300.05	1300.01	3264390
crafted/skvortsov/battleship/ battleship-6-9-unsat.cnf	? (TO)	1300.05	1300.01	3261486
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1300.05	1300.01	3258802
CRAFTED/rbsat/random/forced/ rbsat-v2640c305320gyes10.cnf	? (TO)	1300.05	1300.01	3258758
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf	? (TO)	1300.06	1300.01	3250880
crafted/anton/SRHD-SGI/ srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf	? (TO)	1300.06	1300.01	3251320
crafted/anton/SRHD-SGI/ srhd-sgi-m52-q1041.25-n50-p15-s99099953.cnf	? (TO)	1300.06	1300.01	3251540
SAT05/crafted/lynce05/social-golfer-problem/ sgp_5-6-8.shuffled-as.sat05-2669.cnf	? (TO)	1300.06	1300.01	3265446
SAT05/crafted/roussel05/visbmc-PHNF/ phnf-size10-exclusive-philo.used-as.sat04-988.shuffled-as.sat05-4195.cnf	? (TO)	1300.06	1300.02	3265490
crafted/mosoi/289/ 289-unsat-9x32.cnf	? (TO)	1300.06	1300.01	3249560
crafted/mosoi/289/ 289-unsat-17x27.cnf	? (TO)	1300.06	1300.01	3249516
CRAFTED/rbsat/crafted/ forced/rbsat-v2400c266431gyes3.cnf	? (TO)	1300.06	1300.01	3259286
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-18_312.cnf	? (TO)	1300.06	1300.01	3250616
crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf	? (TO)	1300.06	1300.01	3262586

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/medium/ unif-k3-r4.26-v400-c1704-S913455068-085.SATISFIABLE.cnf	SAT	0.004999	0.00804696	3168862
random/medium/ unif-k3-r4.26-v350-c1491-S1946851065-023.SATISFIABLE.cnf	SAT	0.004999	0.00628498	3168515
random/medium/ unif-k3-r4.26-v400-c1704-S1050579435-065.SATISFIABLE.cnf	SAT	0.006998	0.0102201	3168659
random/medium/ unif-k3-r4.26-v350-c1491-S1077220429-098.SATISFIABLE.cnf	SAT	0.006998	0.00858504	3168694
random/medium/ unif-k3-r4.26-v450-c1917-S1097024859-001.SATISFIABLE.cnf	SAT	0.006998	0.00699109	3168785
random/medium/ unif-k3-r4.26-v350-c1491-S1794283924-053.SATISFIABLE.cnf	SAT	0.007998	0.00915097	3168710
random/medium/ unif-k3-r4.26-v350-c1491-S946474812-075.SATISFIABLE.cnf	SAT	0.007998	0.00805897	3168701
random/medium/ unif-k3-r4.26-v450-c1917-S1915396418-078.SATISFIABLE.cnf	SAT	0.009997	0.010077	3168602
random/medium/ unif-k3-r4.26-v600-c2556-S735137557-045.SATISFIABLE.cnf	SAT	0.010997	0.0113109	3168777
random/medium/ unif-k3-r4.26-v700-c2982-S1863077195-052.SATISFIABLE.cnf	SAT	0.010997	0.0143059	3168774
random/medium/ unif-k3-r4.26-v400-c1704-S1462223811-042.SATISFIABLE.cnf	SAT	0.010997	0.011439	3168641
random/medium/ unif-k3-r4.26-v400-c1704-S1440346932-010.SATISFIABLE.cnf	SAT	0.011998	0.0127179	3168824
random/medium/ unif-k3-r4.26-v550-c2343-S1114532273-035.SATISFIABLE.cnf	SAT	0.012997	0.0126221	3168702
random/medium/ unif-k3-r4.26-v350-c1491-S87195105-042.SATISFIABLE.cnf	SAT	0.012998	0.012329	3168851
random/medium/ unif-k3-r4.26-v400-c1704-S183128297-005.SATISFIABLE.cnf	SAT	0.012998	0.0144321	3168740
random/medium/ unif-k3-r4.26-v500-c2130-S204737200-067.SATISFIABLE.cnf	SAT	0.012998	0.013995	3168859
random/medium/ unif-k3-r4.26-v550-c2343-S107514131-038.SATISFIABLE.cnf	SAT	0.015997	0.0165201	3168865
random/medium/ unif-k3-r4.26-v650-c2769-S30721646-064.SATISFIABLE.cnf	SAT	0.017996	0.0190491	3168752
random/medium/ unif-k3-r4.26-v350-c1491-S773607012-011.SATISFIABLE.cnf	SAT	0.017997	0.021179	3168755
random/medium/ unif-k3-r4.26-v500-c2130-S31329941-054.SATISFIABLE.cnf	SAT	0.018997	0.019164	3168578
random/medium/ unif-k3-r4.26-v350-c1491-S146789605-022.SATISFIABLE.cnf	SAT	0.020995	0.0208561	3168609
random/medium/ unif-k3-r4.26-v700-c2982-S1617172756-030.SATISFIABLE.cnf	SAT	0.021995	0.0221349	3168792
random/medium/ unif-k3-r4.26-v500-c2130-S9113894-047.SATISFIABLE.cnf	SAT	0.021996	0.0223861	3168793
random/medium/ unif-k3-r4.26-v500-c2130-S1563258922-027.SATISFIABLE.cnf	SAT	0.021996	0.0229911	3168711
random/medium/ unif-k3-r4.26-v450-c1917-S2088689288-085.SATISFIABLE.cnf	SAT	0.022995	0.0258921	3168852
random/medium/ unif-k5-r21.3-v75-c1597-S906725726-060.SATISFIABLE.cnf	SAT	0.022996	0.024387	3168766
random/medium/ unif-k3-r4.26-v700-c2982-S171669125-021.SATISFIABLE.cnf	SAT	0.023995	0.0270759	3168685
random/medium/ unif-k3-r4.26-v550-c2343-S1610857498-043.SATISFIABLE.cnf	SAT	0.023995	0.02408	3168808
random/medium/ unif-k3-r4.26-v350-c1491-S1914191877-004.SATISFIABLE.cnf	SAT	0.024996	0.0257759	3168655
random/medium/ unif-k5-r21.3-v75-c1597-S1129651135-081.SATISFIABLE.cnf	SAT	0.025996	0.0286861	3168756
random/medium/ unif-k5-r21.3-v75-c1597-S25975519-056.SATISFIABLE.cnf	SAT	0.026995	0.0298609	3168564
random/medium/ unif-k3-r4.26-v450-c1917-S2083898043-071.SATISFIABLE.cnf	SAT	0.027995	0.032349	3168750
random/medium/ unif-k5-r21.3-v75-c1597-S1214523131-078.SATISFIABLE.cnf	SAT	0.028994	0.033621	3168817
random/medium/ unif-k5-r21.3-v75-c1597-S1366648725-024.SATISFIABLE.cnf	SAT	0.028995	0.0323199	3168524
random/medium/ unif-k3-r4.26-v450-c1917-S222128792-011.SATISFIABLE.cnf	SAT	0.029995	0.031656	3168745
random/medium/ unif-k3-r4.26-v550-c2343-S960198064-030.SATISFIABLE.cnf	SAT	0.030994	0.030547	3168662
random/medium/ unif-k5-r21.3-v100-c2130-S1980330668-030.SATISFIABLE.cnf	SAT	0.030995	0.0309591	3168867
random/medium/ unif-k3-r4.26-v650-c2769-S4140122-004.SATISFIABLE.cnf	SAT	0.031995	0.0323171	3168790
random/medium/ unif-k3-r4.26-v600-c2556-S727005963-093.SATISFIABLE.cnf	SAT	0.032994	0.0336479	3168720
random/medium/ unif-k3-r4.26-v500-c2130-S831119356-083.SATISFIABLE.cnf	SAT	0.033993	0.034098	3168800
random/medium/ unif-k5-r21.3-v75-c1597-S2038462183-033.SATISFIABLE.cnf	SAT	0.033994	0.0392711	3168621
random/medium/ unif-k5-r21.3-v100-c2130-S1574817612-041.SATISFIABLE.cnf	SAT	0.035994	0.036695	3168565
random/medium/ unif-k3-r4.26-v650-c2769-S1894319588-015.SATISFIABLE.cnf	SAT	0.037993	0.0374679	3168591
random/medium/ unif-k3-r4.26-v700-c2982-S1744841484-003.SATISFIABLE.cnf	SAT	0.039993	0.0395109	3168860
random/medium/ unif-k3-r4.26-v350-c1491-S1060672754-058.SATISFIABLE.cnf	SAT	0.042993	0.046428	3168732
random/medium/ unif-k3-r4.26-v400-c1704-S823305148-084.SATISFIABLE.cnf	SAT	0.042993	0.046095	3168505
random/medium/ unif-k3-r4.26-v550-c2343-S1552308135-080.SATISFIABLE.cnf	SAT	0.043992	0.0437799	3168718
random/medium/ unif-k5-r21.3-v100-c2130-S20037494-023.SATISFIABLE.cnf	SAT	0.044992	0.0472939	3168530
random/medium/ unif-k3-r4.26-v550-c2343-S927210717-059.SATISFIABLE.cnf	SAT	0.044993	0.0464721	3168758
random/medium/ unif-k5-r21.3-v100-c2130-S1189700536-035.SATISFIABLE.cnf	SAT	0.045993	0.0476681	3168541
random/medium/ unif-k3-r4.26-v550-c2343-S1940049314-069.SATISFIABLE.cnf	SAT	0.046992	0.0508499	3168839
random/medium/ unif-k5-r21.3-v100-c2130-S707565158-096.SATISFIABLE.cnf	SAT	0.046992	0.046843	3168571
random/medium/ unif-k5-r21.3-v75-c1597-S241605246-015.SATISFIABLE.cnf	SAT	0.047992	0.0496041	3168724
random/medium/ unif-k3-r4.26-v600-c2556-S373048162-052.SATISFIABLE.cnf	SAT	0.051992	0.0524961	3168568
random/medium/ unif-k3-r4.26-v650-c2769-S1261029273-036.SATISFIABLE.cnf	SAT	0.052991	0.0532359	3168825
random/medium/ unif-k5-r21.3-v75-c1597-S445191369-092.SATISFIABLE.cnf	SAT	0.05999	0.0607131	3168781
random/medium/ unif-k3-r4.26-v700-c2982-S900569154-026.SATISFIABLE.cnf	SAT	0.063989	0.0651579	3168525
random/medium/ unif-k5-r21.3-v125-c2662-S1300400916-048.SATISFIABLE.cnf	SAT	0.06499	0.0668061	3168747
random/medium/ unif-k3-r4.26-v750-c3195-S973075635-083.SATISFIABLE.cnf	SAT	0.06499	0.0653689	3168589
random/medium/ unif-k5-r21.3-v175-c3727-S1110880865-004.SATISFIABLE.cnf	SAT	0.065989	0.0665949	3168493
random/medium/ unif-k5-r21.3-v100-c2130-S196779284-038.SATISFIABLE.cnf	SAT	0.065989	0.065479	3168819
random/medium/ unif-k3-r4.26-v800-c3408-S91768321-029.SATISFIABLE.cnf	SAT	0.066988	0.0672761	3168883
random/medium/ unif-k3-r4.26-v800-c3408-S456969343-019.SATISFIABLE.cnf	SAT	0.067989	0.068705	3168640
random/medium/ unif-k5-r21.3-v125-c2662-S436871389-051.SATISFIABLE.cnf	SAT	0.068989	0.0689	3168545
random/medium/ unif-k3-r4.26-v400-c1704-S1960786523-069.SATISFIABLE.cnf	SAT	0.078987	0.0796209	3168633
random/medium/ unif-k5-r21.3-v125-c2662-S1396350646-062.SATISFIABLE.cnf	SAT	0.080986	0.08183	3168763
random/medium/ unif-k3-r4.26-v400-c1704-S1023920765-089.SATISFIABLE.cnf	SAT	0.080987	0.0810549	3168801
random/medium/ unif-k5-r21.3-v150-c3195-S1216095115-028.SATISFIABLE.cnf	SAT	0.088986	0.088941	3168636
random/medium/ unif-k3-r4.26-v600-c2556-S379672572-039.SATISFIABLE.cnf	SAT	0.089985	0.0911349	3168647
random/medium/ unif-k3-r4.26-v650-c2769-S1920526651-049.SATISFIABLE.cnf	SAT	0.090985	0.092799	3168635
random/medium/ unif-k5-r21.3-v75-c1597-S1009664450-096.SATISFIABLE.cnf	SAT	0.090985	0.0919859	3168782
random/medium/ unif-k3-r4.26-v450-c1917-S528475885-007.SATISFIABLE.cnf	SAT	0.095985	0.100197	3168661
random/medium/ unif-k3-r4.26-v550-c2343-S874954918-011.SATISFIABLE.cnf	SAT	0.106982	0.107243	3168587
random/medium/ unif-k3-r4.26-v800-c3408-S846876765-035.SATISFIABLE.cnf	SAT	0.111982	0.113265	3168846
random/medium/ unif-k3-r4.26-v400-c1704-S930506247-025.SATISFIABLE.cnf	SAT	0.111982	0.112921	3168554
random/medium/ unif-k3-r4.26-v500-c2130-S481747904-003.SATISFIABLE.cnf	SAT	0.112981	0.113002	3168584
random/medium/ unif-k3-r4.26-v450-c1917-S1617626827-069.SATISFIABLE.cnf	SAT	0.113982	0.11721	3168754
random/medium/ unif-k5-r21.3-v100-c2130-S332580795-055.SATISFIABLE.cnf	SAT	0.12498	0.124738	3168874
random/medium/ unif-k5-r21.3-v125-c2662-S675870149-098.SATISFIABLE.cnf	SAT	0.12598	0.126973	3168675
random/medium/ unif-k5-r21.3-v100-c2130-S1926673460-089.SATISFIABLE.cnf	SAT	0.132979	0.132475	3168583
random/medium/ unif-k5-r21.3-v125-c2662-S1258495116-025.SATISFIABLE.cnf	SAT	0.132979	0.133037	3168569
random/medium/ unif-k3-r4.26-v500-c2130-S1280860344-022.SATISFIABLE.cnf	SAT	0.136978	0.138533	3168848
random/medium/ unif-k3-r4.26-v600-c2556-S252359291-002.SATISFIABLE.cnf	SAT	0.142977	0.142737	3168698
random/medium/ unif-k5-r21.3-v125-c2662-S34055288-072.SATISFIABLE.cnf	SAT	0.162975	0.164402	3168651
random/medium/ unif-k3-r4.26-v750-c3195-S1115406553-014.SATISFIABLE.cnf	SAT	0.166973	0.166723	3168882
random/medium/ unif-k3-r4.26-v500-c2130-S1263625223-038.SATISFIABLE.cnf	SAT	0.166974	0.16746	3168495
random/medium/ unif-k5-r21.3-v175-c3727-S752966552-099.SATISFIABLE.cnf	SAT	0.167974	0.168431	3168593
random/medium/ unif-k3-r4.26-v500-c2130-S840902310-084.SATISFIABLE.cnf	SAT	0.169974	0.169949	3168831
random/medium/ unif-k3-r4.26-v750-c3195-S1985868475-070.SATISFIABLE.cnf	SAT	0.170974	0.171724	3168526
random/medium/ unif-k5-r21.3-v150-c3195-S334650851-022.SATISFIABLE.cnf	SAT	0.177972	0.181803	3168534
random/medium/ unif-k5-r21.3-v125-c2662-S464722883-083.SATISFIABLE.cnf	SAT	0.18897	0.189376	3168746
random/medium/ unif-k3-r4.26-v800-c3408-S1536861174-069.SATISFIABLE.cnf	SAT	0.194969	0.201062	3168726
random/medium/ unif-k3-r4.26-v550-c2343-S2058622508-076.SATISFIABLE.cnf	SAT	0.200968	0.202379	3168658
random/medium/ unif-k3-r4.26-v800-c3408-S890760919-021.SATISFIABLE.cnf	SAT	0.206968	0.207923	3168753
random/medium/ unif-k5-r21.3-v150-c3195-S1428216398-076.SATISFIABLE.cnf	SAT	0.207968	0.208183	3168695
random/medium/ unif-k3-r4.26-v650-c2769-S525571208-063.SATISFIABLE.cnf	SAT	0.219966	0.224223	3168533
random/medium/ unif-k5-r21.3-v100-c2130-S328068950-002.SATISFIABLE.cnf	SAT	0.231963	0.232147	3168669
random/medium/ unif-k3-r4.26-v700-c2982-S608588601-044.SATISFIABLE.cnf	SAT	0.237962	0.238742	3168760
random/medium/ unif-k3-r4.26-v450-c1917-S380157195-014.SATISFIABLE.cnf	SAT	0.25696	0.259378	3168516
random/medium/ unif-k3-r4.26-v700-c2982-S628307658-028.SATISFIABLE.cnf	SAT	0.267958	0.269198	3168598
random/medium/ unif-k3-r4.26-v650-c2769-S466707249-079.SATISFIABLE.cnf	SAT	0.295954	0.296736	3168827
random/medium/ unif-k5-r21.3-v150-c3195-S1787844685-006.SATISFIABLE.cnf	SAT	0.306953	0.309866	3168864
random/medium/ unif-k3-r4.26-v450-c1917-S386464511-018.SATISFIABLE.cnf	SAT	0.310952	0.311475	3168717
random/medium/ unif-k3-r4.26-v450-c1917-S2065964480-034.SATISFIABLE.cnf	SAT	0.347946	0.348229	3168590
random/medium/ unif-k5-r21.3-v175-c3727-S520872997-084.SATISFIABLE.cnf	SAT	0.348946	0.348942	3168497
random/medium/ unif-k3-r4.26-v800-c3408-S1831593686-090.SATISFIABLE.cnf	SAT	0.399939	0.400555	3168542
random/medium/ unif-k3-r4.26-v750-c3195-S664770261-061.SATISFIABLE.cnf	SAT	0.404938	0.405552	3168553
random/medium/ unif-k3-r4.26-v600-c2556-S610796494-086.SATISFIABLE.cnf	SAT	0.407937	0.412237	3168788
random/medium/ unif-k3-r4.26-v800-c3408-S1631205309-024.SATISFIABLE.cnf	SAT	0.45193	0.452616	3168518
random/medium/ unif-k7-r89-v50-c4450-S768928417-025.SATISFIABLE.cnf	SAT	0.466929	0.468742	3168570
random/medium/ unif-k3-r4.26-v800-c3408-S852188518-088.SATISFIABLE.cnf	SAT	0.476926	0.477918	3168500
random/medium/ unif-k5-r21.3-v75-c1597-S1636883934-028.SATISFIABLE.cnf	SAT	0.478927	0.479997	3168708
random/medium/ unif-k3-r4.26-v350-c1491-S1507171828-044.SATISFIABLE.cnf	SAT	0.482926	0.488074	3168713
random/medium/ unif-k7-r89-v50-c4450-S675112162-053.SATISFIABLE.cnf	SAT	0.499924	0.50149	3168715
random/medium/ unif-k7-r89-v50-c4450-S1788358104-029.SATISFIABLE.cnf	SAT	0.501923	0.503761	3168797
random/medium/ unif-k7-r89-v50-c4450-S864690872-081.SATISFIABLE.cnf	SAT	0.509922	0.511287	3168684
random/medium/ unif-k7-r89-v50-c4450-S1786071619-083.SATISFIABLE.cnf	SAT	0.510922	0.511884	3168663
random/medium/ unif-k5-r21.3-v175-c3727-S1592669696-022.SATISFIABLE.cnf	SAT	0.512922	0.517294	3168733
random/medium/ unif-k7-r89-v60-c5340-S1583005701-053.SATISFIABLE.cnf	SAT	0.541916	0.541748	3168727
random/medium/ unif-k7-r89-v50-c4450-S1496316430-079.SATISFIABLE.cnf	SAT	0.552915	0.554267	3168861
random/medium/ unif-k3-r4.26-v750-c3195-S576842028-023.SATISFIABLE.cnf	SAT	0.562913	0.562244	3168666
random/medium/ unif-k5-r21.3-v125-c2662-S218235649-089.SATISFIABLE.cnf	SAT	0.569912	0.571647	3168840
random/medium/ unif-k5-r21.3-v100-c2130-S1880411078-058.SATISFIABLE.cnf	SAT	0.592909	0.598528	3168597
random/medium/ unif-k7-r89-v50-c4450-S879384975-017.SATISFIABLE.cnf	SAT	0.595909	0.596852	3168608
random/medium/ unif-k5-r21.3-v150-c3195-S1579607106-017.SATISFIABLE.cnf	SAT	0.634902	0.634543	3168543
random/medium/ unif-k7-r89-v50-c4450-S422404201-035.SATISFIABLE.cnf	SAT	0.640902	0.642241	3168818
random/medium/ unif-k7-r89-v60-c5340-S239039906-021.SATISFIABLE.cnf	SAT	0.6519	0.653723	3168546
random/medium/ unif-k7-r89-v50-c4450-S1087312438-073.SATISFIABLE.cnf	SAT	0.666897	0.666892	3168604
random/medium/ unif-k3-r4.26-v750-c3195-S1378008329-078.SATISFIABLE.cnf	SAT	0.668898	0.67434	3168561
random/medium/ unif-k7-r89-v70-c6230-S1321356000-046.SATISFIABLE.cnf	SAT	0.673897	0.674512	3168703
random/medium/ unif-k7-r89-v60-c5340-S385597856-055.SATISFIABLE.cnf	SAT	0.674896	0.674805	3168784
random/large/ unif-k3-r4.2-v2500-c10500-S89508070-083-UNKNOWN.cnf	SAT	0.724889	0.724741	3168423
random/medium/ unif-k3-r4.26-v800-c3408-S1534711423-054.SATISFIABLE.cnf	SAT	0.756884	0.757461	3168654
random/medium/ unif-k3-r4.26-v700-c2982-S893015585-015.SATISFIABLE.cnf	SAT	0.790878	0.791338	3168735
random/medium/ unif-k3-r4.26-v800-c3408-S902286199-017.SATISFIABLE.cnf	SAT	0.829873	0.82953	3168803
random/medium/ unif-k7-r89-v60-c5340-S969033069-088.SATISFIABLE.cnf	SAT	0.906861	0.912791	3168866
random/medium/ unif-k7-r89-v70-c6230-S1555786344-071.SATISFIABLE.cnf	SAT	0.907861	0.908674	3168491
random/medium/ unif-k3-r4.26-v700-c2982-S812011128-009.SATISFIABLE.cnf	SAT	0.91286	0.912788	3168869
random/medium/ unif-k7-r89-v50-c4450-S1430772875-039.SATISFIABLE.cnf	SAT	0.929858	0.935137	3168537
random/medium/ unif-k7-r89-v70-c6230-S1018943457-089.SATISFIABLE.cnf	SAT	0.947855	0.948662	3168681
random/medium/ unif-k5-r21.3-v150-c3195-S1650617512-037.SATISFIABLE.cnf	SAT	0.969852	0.973057	3168856
random/medium/ unif-k5-r21.3-v175-c3727-S100095490-071.SATISFIABLE.cnf	SAT	1.06284	1.06455	3168677
random/medium/ unif-k7-r89-v70-c6230-S944754256-018.SATISFIABLE.cnf	SAT	1.07284	1.0724	3168488
random/medium/ unif-k7-r89-v90-c8010-S224440242-006.SATISFIABLE.cnf	SAT	1.18982	1.19042	3168853
random/medium/ unif-k5-r21.3-v150-c3195-S1499315720-089.SATISFIABLE.cnf	SAT	1.24681	1.24718	3168764
random/medium/ unif-k3-r4.26-v650-c2769-S1495462442-016.SATISFIABLE.cnf	SAT	1.24881	1.24908	3168503
random/medium/ unif-k7-r89-v60-c5340-S1510638717-051.SATISFIABLE.cnf	SAT	1.40179	1.40295	3168721
random/medium/ unif-k3-r4.26-v550-c2343-S311101868-094.SATISFIABLE.cnf	SAT	1.47578	1.47574	3168776
random/medium/ unif-k7-r89-v60-c5340-S630613738-050.SATISFIABLE.cnf	SAT	1.48277	1.48514	3168767
random/medium/ unif-k3-r4.26-v750-c3195-S2050161601-088.SATISFIABLE.cnf	SAT	1.59476	1.59594	3168637
random/medium/ unif-k3-r4.26-v400-c1704-S1864619158-076.SATISFIABLE.cnf	SAT	1.62775	1.62973	3168509
random/medium/ unif-k5-r21.3-v175-c3727-S110935064-075.SATISFIABLE.cnf	SAT	1.68674	1.68659	3168603
random/medium/ unif-k5-r21.3-v125-c2662-S446351158-079.SATISFIABLE.cnf	SAT	1.72174	1.72222	3168667
random/medium/ unif-k7-r89-v80-c7120-S1623694027-006.SATISFIABLE.cnf	SAT	1.74073	1.74503	3168532
random/medium/ unif-k5-r21.3-v125-c2662-S236776564-037.SATISFIABLE.cnf	SAT	1.76773	1.76751	3168849
random/medium/ unif-k7-r89-v70-c6230-S2045410966-069.SATISFIABLE.cnf	SAT	1.78473	1.7895	3168749
random/medium/ unif-k3-r4.26-v600-c2556-S1468528501-076.SATISFIABLE.cnf	SAT	1.84372	1.84447	3168592
random/medium/ unif-k7-r89-v80-c7120-S2107193201-069.UNKNOWN.cnf	SAT	1.88271	1.88269	3168594
random/medium/ unif-k7-r89-v80-c7120-S513640009-027.SATISFIABLE.cnf	SAT	1.9387	1.93886	3168789
random/medium/ unif-k7-r89-v70-c6230-S1846644927-079.SATISFIABLE.cnf	SAT	2.07768	2.07806	3168487
random/medium/ unif-k7-r89-v90-c8010-S2014736708-037.SATISFIABLE.cnf	SAT	2.14567	2.14564	3168601
random/medium/ unif-k3-r4.26-v600-c2556-S2050053883-062.SATISFIABLE.cnf	SAT	2.17167	2.17274	3168761
random/medium/ unif-k3-r4.26-v750-c3195-S158767647-027.SATISFIABLE.cnf	SAT	2.20666	2.21201	3168691
random/medium/ unif-k7-r89-v80-c7120-S1639347701-083.SATISFIABLE.cnf	SAT	2.35664	2.35779	3168709
random/medium/ unif-k7-r89-v60-c5340-S388186442-035.SATISFIABLE.cnf	SAT	2.48362	2.48656	3168769
random/medium/ unif-k3-r4.26-v600-c2556-S2019147653-030.SATISFIABLE.cnf	SAT	2.49062	2.49108	3168614
random/medium/ unif-k3-r4.26-v600-c2556-S1383380994-043.SATISFIABLE.cnf	SAT	2.70259	2.70716	3168822
random/medium/ unif-k7-r89-v70-c6230-S314780693-050.SATISFIABLE.cnf	SAT	2.76658	2.7676	3168813
random/medium/ unif-k7-r89-v90-c8010-S271997978-024.SATISFIABLE.cnf	SAT	2.86256	2.86303	3168795
random/medium/ unif-k3-r4.26-v750-c3195-S397702672-080.SATISFIABLE.cnf	SAT	3.03754	3.03914	3168876
random/medium/ unif-k7-r89-v70-c6230-S1351138814-007.SATISFIABLE.cnf	SAT	3.2705	3.27089	3168630
random/medium/ unif-k7-r89-v70-c6230-S2143190124-085.SATISFIABLE.cnf	SAT	3.53546	3.53562	3168586
random/medium/ unif-k7-r89-v60-c5340-S1141565617-016.SATISFIABLE.cnf	SAT	3.61345	3.614	3168510
random/medium/ unif-k7-r89-v90-c8010-S501033814-049.SATISFIABLE.cnf	SAT	4.09238	4.09317	3168757
random/medium/ unif-k7-r89-v80-c7120-S1957603206-080.SATISFIABLE.cnf	SAT	4.13537	4.13572	3168826
random/medium/ unif-k7-r89-v60-c5340-S1982873755-080.SATISFIABLE.cnf	SAT	4.24735	4.24747	3168734
random/medium/ unif-k5-r21.3-v175-c3727-S82160031-050.SATISFIABLE.cnf	SAT	4.38333	4.38366	3168612
random/medium/ unif-k7-r89-v80-c7120-S153059456-076.SATISFIABLE.cnf	SAT	4.48732	4.48806	3168716
random/medium/ unif-k7-r89-v90-c8010-S51928934-076.SATISFIABLE.cnf	SAT	4.54031	4.5405	3168771
random/medium/ unif-k7-r89-v90-c8010-S64052796-033.SATISFIABLE.cnf	SAT	4.5823	4.58216	3168617
random/medium/ unif-k3-r4.26-v700-c2982-S115072124-051.SATISFIABLE.cnf	SAT	4.78427	4.78617	3168770
random/medium/ unif-k5-r21.3-v150-c3195-S1116496771-020.SATISFIABLE.cnf	SAT	5.69113	5.69143	3168559
random/large/ unif-k7-r85-v150-c12750-S367425675-085-UNKNOWN.cnf	SAT	6.43002	6.4339	3168414
random/large/ unif-k3-r4.2-v2500-c10500-S49783605-066-UNKNOWN.cnf	SAT	6.61199	6.61293	3168429
random/medium/ unif-k3-r4.26-v750-c3195-S8215859-049.SATISFIABLE.cnf	SAT	6.98494	6.98553	3168494
random/medium/ unif-k5-r21.3-v175-c3727-S539832832-088.SATISFIABLE.cnf	SAT	8.74067	8.7402	3168574
random/medium/ unif-k3-r4.26-v650-c2769-S1402967451-034.SATISFIABLE.cnf	SAT	8.94264	8.94381	3168850
random/medium/ unif-k7-r89-v80-c7120-S175431861-098.SATISFIABLE.cnf	SAT	9.48556	9.48737	3168619
random/medium/ unif-k7-r89-v90-c8010-S231612998-061.SATISFIABLE.cnf	SAT	9.72952	9.72917	3168780
random/medium/ unif-k7-r89-v70-c6230-S1335110382-066.SATISFIABLE.cnf	SAT	10.1565	10.1555	3168670
random/medium/ unif-k7-r89-v80-c7120-S474185167-033.SATISFIABLE.cnf	SAT	13.141	13.1439	3168607
random/large/ unif-k3-r4.2-v2500-c10500-S1300417189-038-UNKNOWN.cnf	SAT	15.0727	15.072	3168321
random/large/ unif-k3-r4.2-v2500-c10500-S722024572-014-UNKNOWN.cnf	SAT	15.1737	15.1747	3168336
random/medium/ unif-k5-r21.3-v175-c3727-S1126657927-015.SATISFIABLE.cnf	SAT	16.0056	16.0075	3168845
random/medium/ unif-k7-r89-v80-c7120-S1147977026-087.SATISFIABLE.cnf	SAT	16.6335	16.6362	3168489
random/large/ unif-k3-r4.2-v2500-c10500-S1907658523-004-UNKNOWN.cnf	SAT	17.4044	17.4055	3168432
random/large/ unif-k7-r85-v150-c12750-S511186849-048-UNKNOWN.cnf	SAT	19.409	19.4096	3168436
random/medium/ unif-k3-r4.26-v500-c2130-S261841674-082.SATISFIABLE.cnf	SAT	19.799	19.8036	3168689
random/medium/ unif-k7-r89-v90-c8010-S1828831772-021.SATISFIABLE.cnf	SAT	20.3139	20.3145	3168579
random/medium/ unif-k5-r21.3-v150-c3195-S259896945-079.SATISFIABLE.cnf	SAT	22.0406	22.0407	3168644
random/medium/ unif-k3-r4.26-v650-c2769-S1069233620-009.SATISFIABLE.cnf	SAT	24.3143	24.3147	3168741
random/large/ unif-k5-r20-v1000-c20000-S1950850246-038-UNKNOWN.cnf	SAT	25.3531	25.3541	3168370
random/medium/ unif-k7-r89-v60-c5340-S1458986015-022.SATISFIABLE.cnf	SAT	26.083	26.0835	3168645
random/large/ unif-k3-r4.2-v2500-c10500-S1201761407-024-UNKNOWN.cnf	SAT	26.8799	26.8826	3168444
random/medium/ unif-k7-r89-v90-c8010-S2039249975-038.SATISFIABLE.cnf	SAT	27.3578	27.3589	3168841
random/medium/ unif-k7-r89-v80-c7120-S1254315629-032.SATISFIABLE.cnf	SAT	28.0147	28.0156	3168638
random/large/ unif-k3-r4.2-v5000-c21000-S1781430408-009-UNKNOWN.cnf	SAT	36.5714	36.5703	3168459
random/large/ unif-k5-r20-v750-c15000-S64285713-004-UNKNOWN.cnf	SAT	38.7391	38.7374	3168416
random/large/ unif-k5-r20-v1250-c25000-S313445894-099-UNKNOWN.cnf	SAT	40.0009	40.0017	3168482
random/medium/ unif-k7-r89-v80-c7120-S1801179747-047.SATISFIABLE.cnf	SAT	40.1079	40.1082	3168704
random/large/ unif-k3-r4.2-v10000-c42000-S677627694-051-UNKNOWN.cnf	SAT	44.1303	44.1334	3168463
random/medium/ unif-k7-r89-v90-c8010-S661190852-039.SATISFIABLE.cnf	SAT	52.9369	52.9377	3168517
random/large/ unif-k3-r4.2-v2500-c10500-S882087907-088-UNKNOWN.cnf	SAT	55.5925	55.5908	3168356
random/large/ unif-k3-r4.2-v2500-c10500-S924370159-018-UNKNOWN.cnf	SAT	58.6401	58.6409	3168308
random/large/ unif-k3-r4.2-v10000-c42000-S963265686-085-UNKNOWN.cnf	SAT	63.6123	63.6119	3168385
random/large/ unif-k3-r4.2-v5000-c21000-S434028979-077-UNKNOWN.cnf	SAT	65.2271	65.2284	3168361
random/medium/ unif-k5-r21.3-v175-c3727-S185833400-026.SATISFIABLE.cnf	SAT	72.665	72.6669	3168772
random/medium/ unif-k5-r21.3-v150-c3195-S1632870961-099.SATISFIABLE.cnf	SAT	84.0782	84.0784	3168742
random/large/ unif-k3-r4.2-v5000-c21000-S720914503-051-UNKNOWN.cnf	SAT	85.828	85.8314	3168406
random/large/ unif-k5-r20-v750-c15000-S440979335-036-UNKNOWN.cnf	SAT	96.2254	96.2253	3168364
random/large/ unif-k3-r4.2-v2500-c10500-S374960214-041-UNKNOWN.cnf	SAT	96.2684	96.2654	3168453
random/large/ unif-k5-r20-v750-c15000-S1207160791-083-UNKNOWN.cnf	SAT	114.579	114.582	3168409
random/large/ unif-k5-r20-v1000-c20000-S883282443-030-UNKNOWN.cnf	SAT	141.929	141.926	3168292
random/large/ unif-k5-r20-v750-c15000-S656533785-100-UNKNOWN.cnf	SAT	159.354	159.35	3168440
random/large/ unif-k3-r4.2-v25000-c105000-S808762165-030-UNKNOWN.cnf	SAT	166.576	166.575	3168478
random/large/ unif-k5-r20-v750-c15000-S976181807-056-UNKNOWN.cnf	SAT	175.274	175.27	3168469
random/large/ unif-k3-r4.2-v40000-c168000-S1368340883-085-UNKNOWN.cnf	SAT	178.303	178.305	3168323
random/large/ unif-k3-r4.2-v5000-c21000-S936020932-012-UNKNOWN.cnf	SAT	195.569	195.572	3168342
random/large/ unif-k5-r20-v1000-c20000-S945664020-055-UNKNOWN.cnf	SAT	202.73	202.725	3168377
random/large/ unif-k3-r4.2-v20000-c84000-S525505471-054-UNKNOWN.cnf	SAT	216.932	216.939	3168381
random/large/ unif-k3-r4.2-v15000-c63000-S1386494586-003-UNKNOWN.cnf	SAT	218.282	218.278	3168396
random/large/ unif-k7-r85-v150-c12750-S1290198737-013-UNKNOWN.cnf	SAT	222.459	222.458	3168466
random/large/ unif-k3-r4.2-v20000-c84000-S313385224-076-UNKNOWN.cnf	SAT	231.501	231.494	3168405
random/large/ unif-k3-r4.2-v20000-c84000-S1204913987-029-UNKNOWN.cnf	SAT	234.592	234.596	3168300
random/large/ unif-k5-r20-v1250-c25000-S1688530456-019-UNKNOWN.cnf	SAT	235.781	235.779	3168310
random/large/ unif-k5-r20-v750-c15000-S957625236-045-UNKNOWN.cnf	SAT	240.978	240.969	3168291
random/large/ unif-k3-r4.2-v15000-c63000-S43885340-006-UNKNOWN.cnf	SAT	254.018	254.019	3168462
random/large/ unif-k7-r85-v150-c12750-S93401285-051-UNKNOWN.cnf	SAT	254.468	254.46	3168288
random/large/ unif-k3-r4.2-v10000-c42000-S903594090-011-UNKNOWN.cnf	SAT	266.63	266.624	3168372
random/large/ unif-k5-r20-v750-c15000-S131912631-041-UNKNOWN.cnf	SAT	273.186	273.182	3168382
random/large/ unif-k3-r4.2-v25000-c105000-S919014656-003-UNKNOWN.cnf	SAT	279.181	279.174	3168484
random/large/ unif-k3-r4.2-v20000-c84000-S840292785-048-UNKNOWN.cnf	SAT	284.363	284.356	3168430
random/large/ unif-k3-r4.2-v10000-c42000-S1778317451-042-UNKNOWN.cnf	SAT	300.897	300.901	3168474
random/large/ unif-k3-r4.2-v15000-c63000-S976131144-051-UNKNOWN.cnf	SAT	302.256	302.269	3168353
random/large/ unif-k3-r4.2-v5000-c21000-S425619685-036-UNKNOWN.cnf	SAT	306.476	306.474	3168348
random/large/ unif-k3-r4.2-v10000-c42000-S338979727-056-UNKNOWN.cnf	SAT	307.032	307.05	3168313
random/large/ unif-k3-r4.2-v15000-c63000-S1201608256-021-UNKNOWN.cnf	SAT	308.742	308.734	3168349
random/large/ unif-k3-r4.2-v10000-c42000-S360796849-068-UNKNOWN.cnf	SAT	311.251	311.238	3168286
random/large/ unif-k3-r4.2-v30000-c126000-S629207485-001-UNKNOWN.cnf	SAT	311.348	311.35	3168327
random/large/ unif-k5-r20-v1000-c20000-S1351005860-011-UNKNOWN.cnf	SAT	319.244	319.253	3168470
random/large/ unif-k3-r4.2-v35000-c147000-S1098107876-060-UNKNOWN.cnf	SAT	326.545	326.54	3168307
random/large/ unif-k3-r4.2-v10000-c42000-S1256256213-053-UNKNOWN.cnf	SAT	327.094	327.105	3168287
random/large/ unif-k3-r4.2-v15000-c63000-S980027332-029-UNKNOWN.cnf	SAT	329.958	329.948	3168379
random/large/ unif-k5-r20-v750-c15000-S888530894-020-UNKNOWN.cnf	SAT	330.526	330.516	3168403
random/large/ unif-k3-r4.2-v15000-c63000-S38529837-091-UNKNOWN.cnf	SAT	345.672	345.663	3168366
random/large/ unif-k3-r4.2-v5000-c21000-S912026804-034-UNKNOWN.cnf	SAT	352.653	352.642	3168339
random/large/ unif-k3-r4.2-v40000-c168000-S709305826-098-UNKNOWN.cnf	SAT	359.54	359.528	3168352
random/large/ unif-k5-r20-v1000-c20000-S941604910-059-UNKNOWN.cnf	SAT	366.551	366.548	3168302
random/large/ unif-k3-r4.2-v5000-c21000-S1157767653-025-UNKNOWN.cnf	SAT	371.944	371.936	3168335
random/large/ unif-k3-r4.2-v15000-c63000-S619136916-059-UNKNOWN.cnf	SAT	375.293	375.303	3168464
random/large/ unif-k3-r4.2-v20000-c84000-S878494004-057-UNKNOWN.cnf	SAT	385.685	385.677	3168467
random/large/ unif-k7-r85-v150-c12750-S789865458-092-UNKNOWN.cnf	SAT	388.03	388.044	3168355
random/large/ unif-k3-r4.2-v20000-c84000-S1778371838-017-UNKNOWN.cnf	SAT	390.237	390.241	3168322
random/large/ unif-k3-r4.2-v25000-c105000-S1233052734-067-UNKNOWN.cnf	SAT	433.782	433.769	3168299
random/large/ unif-k3-r4.2-v5000-c21000-S901912629-090-UNKNOWN.cnf	SAT	442.038	442.029	3168456
random/large/ unif-k3-r4.2-v15000-c63000-S89201333-019-UNKNOWN.cnf	SAT	459.462	459.461	3168400
random/large/ unif-k3-r4.2-v15000-c63000-S1868678442-026-UNKNOWN.cnf	SAT	494.949	494.941	3168293
random/large/ unif-k3-r4.2-v25000-c105000-S92008434-079-UNKNOWN.cnf	SAT	499.372	499.401	3168306
random/large/ unif-k3-r4.2-v5000-c21000-S1259410977-065-UNKNOWN.cnf	SAT	503.592	503.594	3168424
random/large/ unif-k3-r4.2-v30000-c126000-S285324961-078-UNKNOWN.cnf	SAT	536.071	536.063	3168433
random/large/ unif-k3-r4.2-v15000-c63000-S594553190-015-UNKNOWN.cnf	SAT	544.776	544.758	3168455
random/large/ unif-k5-r20-v1250-c25000-S1245360321-088-UNKNOWN.cnf	SAT	568.379	568.358	3168389
random/large/ unif-k3-r4.2-v35000-c147000-S1268831169-016-UNKNOWN.cnf	SAT	572.794	572.8	3168435
random/large/ unif-k3-r4.2-v30000-c126000-S1354319962-100-UNKNOWN.cnf	SAT	577.482	577.476	3168443
random/large/ unif-k3-r4.2-v10000-c42000-S977705304-066-UNKNOWN.cnf	SAT	578.524	578.503	3168331
random/large/ unif-k3-r4.2-v10000-c42000-S709804505-031-UNKNOWN.cnf	SAT	583.232	583.216	3168326
random/large/ unif-k3-r4.2-v40000-c168000-S64788608-008-UNKNOWN.cnf	SAT	595.942	595.932	3168399
random/large/ unif-k3-r4.2-v25000-c105000-S269939581-066-UNKNOWN.cnf	SAT	601.12	601.112	3168438
random/large/ unif-k7-r85-v150-c12750-S1737989193-079-UNKNOWN.cnf	SAT	611.331	611.312	3168447
random/large/ unif-k3-r4.2-v5000-c21000-S72547786-008-UNKNOWN.cnf	SAT	654.361	654.348	3168373
random/large/ unif-k3-r4.2-v10000-c42000-S1091905403-047-UNKNOWN.cnf	SAT	668.546	668.525	3168458
random/large/ unif-k3-r4.2-v40000-c168000-S907804052-003-UNKNOWN.cnf	SAT	698.803	698.784	3168461
random/large/ unif-k3-r4.2-v20000-c84000-S921718479-079-UNKNOWN.cnf	SAT	711.415	711.405	3168369
random/large/ unif-k3-r4.2-v30000-c126000-S926207202-053-UNKNOWN.cnf	SAT	716.342	716.33	3168439
random/large/ unif-k5-r20-v1500-c30000-S1793954886-065-UNKNOWN.cnf	SAT	717.079	717.083	3168320
random/large/ unif-k7-r85-v150-c12750-S541704841-072-UNKNOWN.cnf	SAT	802.893	802.877	3168296
random/large/ unif-k3-r4.2-v35000-c147000-S1886449473-022-UNKNOWN.cnf	SAT	825.288	825.263	3168404
random/large/ unif-k3-r4.2-v40000-c168000-S895938734-057-UNKNOWN.cnf	SAT	962.479	962.459	3168314
random/large/ unif-k5-r20-v1000-c20000-S541740666-063-UNKNOWN.cnf	SAT	977.496	977.467	3168316
random/large/ unif-k5-r20-v1000-c20000-S107009952-009-UNKNOWN.cnf	SAT	998.291	998.245	3168285
random/large/ unif-k3-r4.2-v25000-c105000-S1838224332-006-UNKNOWN.cnf	SAT	1006.76	1006.73	3168337
random/large/ unif-k3-r4.2-v20000-c84000-S1298436766-097-UNKNOWN.cnf	SAT	1018.01	1017.97	3168428
random/large/ unif-k5-r20-v1250-c25000-S1103412232-098-UNKNOWN.cnf	SAT	1021.16	1021.14	3168309
random/large/ unif-k3-r4.2-v50000-c210000-S1401248878-094-UNKNOWN.cnf	SAT	1063.77	1063.74	3168367
random/large/ unif-k3-r4.2-v25000-c105000-S533496308-018-UNKNOWN.cnf	SAT	1076.15	1076.13	3168376
random/large/ unif-k3-r4.2-v50000-c210000-S964643921-035-UNKNOWN.cnf	SAT	1112.63	1112.65	3168483
random/large/ unif-k3-r4.2-v50000-c210000-S1170024351-015-UNKNOWN.cnf	SAT	1122.78	1122.74	3168480
random/large/ unif-k3-r4.2-v30000-c126000-S379804333-028-UNKNOWN.cnf	SAT	1136	1136.03	3168397
random/large/ unif-k5-r20-v1250-c25000-S573815729-001-UNKNOWN.cnf	SAT	1158.97	1158.95	3168344
random/large/ unif-k3-r4.2-v40000-c168000-S1920335371-069-UNKNOWN.cnf	SAT	1210.14	1210.09	3168450

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

Result page for solver adaptg2wsat2011 2011-03-02 (incomplete)

Category "applications instances" (APPLICATION)

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

Solver didn't decide (UNKNOWN) (9 runs) [Show/Hide]

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

No recognized solution line (7 runs) [Show/Hide]

Category "crafted instances" (CRAFTED)

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

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

Category "random instances" (RANDOM)

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

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