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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	0.481926	0.482925	1722107
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT	1.47777	1.47852	1722007
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	1.61875	1.62026	1721307
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	SAT	1.64075	1.64142	1722457
vange-col-abb313GPIA-9-c.cnf	SAT	19.1461	19.1529	1720325
industrial/grieu/ vmpc_24.cnf	SAT	112.565	112.595	1718505
industrial/grieu/ vmpc_26.cnf	SAT	239.596	239.674	1718713
industrial/grieu/ vmpc_25.cnf	SAT	1023.81	1024.1	1718349

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	?	0	0.00533497	1579343
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	?	0	0.00534997	1580747
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	?	0	0.00527705	1715749
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	?	0	0.00512311	1553839
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	?	0	0.00536401	1716269
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	?	0	0.00497591	1715801
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	?	0	0.00508502	1719025
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	?	0	0.00535303	1716373
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	?	0	0.00631894	1581475
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	?	0	0.00513198	1719181
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	?	0	0.00530293	1719233
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	?	0	0.00506694	1716477
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	?	0	0.00533792	1577471
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	?	0	0.00534393	1581319
schup-l2s-motst-2-k315.cnf	?	0	0.00502695	1720013
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	?	0	0.00635409	1555139
manol-pipe-g10nid.cnf	?	0	0.00497205	1720169
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	?	0	0.00535804	1563303
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	?	0	0.00535894	1577627
industrial/babic/hsatv17/ hsat_vc11813.cnf	?	0	0.00499103	1717933
manol-pipe-g10bidw.cnf	?	0	0.00508508	1723261
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	?	0	0.00562896	1563615
manol-pipe-c10nidw_s.cnf	?	0.000999	0.0052611	1723209
velev-pipe-sat-1.0-b10.cnf	?	0.000999	0.0055181	1723313
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	?	0.000999	0.00532592	1577835
manol-pipe-f10ni.cnf	?	0.000999	0.00526207	1724041
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	?	0.000999	0.00499112	1715593
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	?	0.000999	0.00502301	1716113
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	?	0.000999	0.00513489	1715957
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	?	0.000999	0.00498503	1716061
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	?	0.000999	0.00529007	1716009
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	?	0.000999	0.00538293	1716217
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	?	0.000999	0.00531904	1716529
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	?	0.000999	0.00532804	1716737
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	?	0.000999	0.00508097	1717153
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	?	0.000999	0.005306	1717361
industrial/palacios/medium/ cube-11-h13-unsat.cnf	?	0.000999	0.00509496	1717777
industrial/palacios/medium/ cube-11-h14-sat.cnf	?	0.000999	0.00508309	1717725
industrial/babic/hsatv17/ hsat_vc11803.cnf	?	0.000999	0.00526206	1717985
industrial/narain/ clauses-8.cnf	?	0.000999	0.00530205	1718765
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	?	0.000999	0.00580106	1718921
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	?	0.000999	0.00552999	1719337
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	?	0.000999	0.00537906	1719389
schup-l2s-bc56s-1-k391.cnf	?	0.000999	0.00531588	1719909
manol-pipe-c10nid_i.cnf	?	0.000999	0.00506789	1720741
velev-pipe-sat-1.0-b7.cnf	?	0.000999	0.00498895	1723157
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	?	0.000999	0.005777	1580227
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	?	0.000999	0.0054971	1580071
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	?	0.000999	0.00506497	1580019
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	?	0.000999	0.00505193	1578927
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	?	0.000999	0.00594405	1578771
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	?	0.000999	0.00537802	1577887
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	?	0.000999	0.00675302	1563459
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	?	0.000999	0.00650804	1563407
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	?	0.000999	0.00499595	1563251
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	?	0.000999	0.00528001	1580123
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	?	0.000999	0.00572591	1582151
APPLICATIONS/bitverif/ maxor/maxor128.cnf	?	0.000999	0.00553399	1555867
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	?	0.000999	0.00663603	1563719
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	?	0.000999	0.00506793	1577523
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	?	0.000999	0.00541809	1577731
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	?	0.000999	0.00539206	1577783
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	?	0.000999	0.004921	1716581
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	?	0.000999	0.00534105	1556231
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	?	0.000999	0.00626388	1582411
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	?	0.000999	0.00500705	1581891
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	?	0.000999	0.00570693	1554515
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	?	0.000999	0.00501594	1580331
industrial/palacios/hard/ safe-50-h49-unsat.cnf	?	0.001998	0.00501996	1717257
manol-pipe-c10nidw.cnf	?	0.001998	0.00505305	1720065
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	?	0.001999	0.00624709	1581059
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	?	0.001999	0.00501593	1715853
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	?	0.001999	0.00506894	1577575
industrial/fuhs/medium/ AProVE07-09.cnf	?	0.001999	0.0050959	1716789
APPLICATIONS/aprove09/ AProVE09-03.cnf	?	0.002998	0.00516901	1560651
APPLICATIONS/aprove09/ AProVE09-25.cnf	?	0.002998	0.00643495	1560131
industrial/fuhs/hard/ AProVE07-01.cnf	?	0.002998	0.00528595	1716893
APPLICATIONS/aprove09/ AProVE09-01.cnf	?	0.002998	0.00535996	1560391
APPLICATIONS/aprove09/ AProVE09-10.cnf	?	0.003998	0.00509203	1560807
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	?	0.010997	0.0119691	1717673
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	?	0.014997	0.015613	1717517
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	?	0.014997	0.015051	1717569
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	?	0.018996	0.0191881	1717413
velev-vliw-uns-4.0-9C1.cnf	?	0.711891	0.712352	1723781
velev-vliw-uns-4.0-9-i1.cnf	?	1.36379	1.36468	1719701

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.01	1200.41	1716997
aloul-chnl11-13.cnf	? (TO)	1200.01	1200.61	1720377
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	1200.01	1200.41	1722957
manol-pipe-c6nidw_i.cnf	? (TO)	1200.01	1200.31	1724457
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	1200.01	1200.41	1722807
simon-s02b-dp11u10.cnf	? (TO)	1200.02	1200.41	1723833
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	1200.02	1200.41	1722757
APPLICATIONS/aprove09/ AProVE09-07.cnf	? (TO)	1200.02	1200.41	1560599
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	? (TO)	1200.02	1200.41	1562939
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	? (TO)	1200.02	1200.31	1553267
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.02	1200.31	1718193
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	1200.02	1200.61	1722357
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	? (TO)	1200.02	1200.31	1556751
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	1200.02	1200.41	1558779
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	1200.02	1200.41	1721657
APPLICATIONS/aprove09/ AProVE09-17.cnf	? (TO)	1200.02	1200.31	1559715
mizh-md5-48-5.cnf	? (TO)	1200.02	1200.31	1721105
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	? (TO)	1200.03	1200.41	1717465
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	1200.03	1200.51	1556023
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	? (TO)	1200.03	1200.51	1554099
manol-pipe-g7nidw.cnf	? (TO)	1200.03	1200.51	1724301
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	? (TO)	1200.03	1200.61	1562731
APPLICATIONS/ bitverif/minand/minand128.cnf	? (TO)	1200.03	1200.41	1554203
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.03	1199.91	1718661
manol-pipe-f9b.cnf	? (TO)	1200.04	1200.61	1719961
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	? (TO)	1200.04	1200.41	1562835
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	? (TO)	1200.04	1206.02	1582723
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	1200.04	1200.41	1559507
APPLICATIONS/aprove09/ AProVE09-21.cnf	? (TO)	1200.04	1200.51	1560079
APPLICATIONS/aprove09/ AProVE09-13.cnf	? (TO)	1200.04	1200.51	1560287
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1200.04	1200.81	1717101
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	1200.04	1200.31	1556543
APPLICATIONS/aprove09/ AProVE09-20.cnf	? (TO)	1200.04	1200.41	1559767
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	1200.05	1207.02	1579811
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	? (TO)	1200.05	1200.71	1563355
APPLICATIONS/aprove09/ AProVE09-08.cnf	? (TO)	1200.05	1200.41	1560703
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	? (TO)	1200.05	1200.42	1716321
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	1200.05	1200.41	1724197
mizh-sha0-36-3.cnf	? (TO)	1200.05	1200.41	1719805
industrial/babic/xinetd/ xinetd_vc56703.cnf	? (TO)	1200.05	1200.41	1718817
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	? (TO)	1200.05	1200.51	1556595
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.05	1200.41	1718037
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	1200.05	1200.41	1557687
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	? (TO)	1200.05	1200.42	1577679
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1200.05	1200.31	1557999
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	1200.05	1200.41	1721207
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	? (TO)	1200.05	1200.51	1562783
schup-l2s-abp4-1-k31.cnf	? (TO)	1200.05	1200.51	1719597
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	? (TO)	1200.05	1202.52	1578199
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	1200.05	1200.42	1719285
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (TO)	1200.06	1200.51	1555243
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200.06	1200.41	1718089
mizh-md5-47-3.cnf	? (TO)	1200.06	1200.51	1719493
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	? (TO)	1200.06	1200.42	1715697
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.06	1200.51	1717205
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	? (TO)	1200.06	1200.41	1718245
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	1200.06	1200.41	1719077
mizh-md5-47-4.cnf	? (TO)	1200.06	1200.41	1720533
cmu-bmc-longmult15.cnf	? (TO)	1200.06	1200.51	1720637
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	1200.06	1200.51	1721257
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	1200.06	1200.41	1721357
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	1200.06	1200.41	1721507
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	1200.06	1200.41	1721757
velev-pipe-o-uns-1.1-6.cnf	? (TO)	1200.06	1200.51	1723573
goldb-heqc-term1mul.cnf	? (TO)	1200.06	1200.41	1723625
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	1200.06	1200.51	1558207
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	? (TO)	1200.06	1200.41	1557791
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	1200.06	1200.41	1556491
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	1200.06	1200.51	1556127
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	1200.06	1200.41	1556075
APPLICATIONS/ bitverif/maxand/maxand064.cnf	? (TO)	1200.06	1200.41	1555607
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	? (TO)	1200.06	1200.51	1555035
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	? (TO)	1200.06	1200.41	1554567
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	1200.06	1200.52	1581579
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	? (TO)	1200.06	1200.41	1553787
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	? (TO)	1200.06	1200.41	1553319
APPLICATIONS/bitverif/ minor/minor064.cnf	? (TO)	1200.06	1200.51	1553163
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	1200.06	1200.41	1558831
manol-pipe-c7bidw_i.cnf	? (TO)	1200.06	1200.41	1724249
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1200.07	1200.41	1716945
manol-pipe-c7nidw.cnf	? (TO)	1200.07	1200.41	1723469
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	? (TO)	1200.07	1200.52	1580539
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.07	1200.41	1717829
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	? (TO)	1200.07	1200.41	1722257
simon-s03-w08-15.cnf	? (TO)	1200.07	1200.51	1719753
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	? (TO)	1200.07	1200.42	1581735
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	? (TO)	1200.07	1200.41	1718297
goldb-heqc-frg1mul.cnf	? (TO)	1200.07	1200.61	1719649
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	? (TO)	1200.07	1200.51	1563199
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	1200.07	1200.51	1558987
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	1200.07	1200.41	1559299
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	1200.07	1200.51	1721157
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (TO)	1200.07	1200.41	1553475
industrial/fuhs/medium/ AProVE07-16.cnf	? (TO)	1200.07	1200.51	1716841
goldb-heqc-dalumul.cnf	? (TO)	1200.08	1200.41	1720429
schup-l2s-guid-1-k56.cnf	? (TO)	1200.08	1200.41	1724093
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	1200.08	1200.61	1557479
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	? (TO)	1200.08	1200.52	1715645
mizh-sha0-35-3.cnf	? (TO)	1200.08	1200.41	1720689
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	? (TO)	1200.08	1200.52	1581943
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	1200.08	1200.51	1718869
industrial/grieu/ vmpc_28.cnf	? (TO)	1200.08	1200.51	1718609
manol-pipe-c9.cnf	? (TO)	1200.08	1200.41	1724353
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	1200.08	1200.51	1722557
APPLICATIONS/aprove09/ AProVE09-24.cnf	? (TO)	1200.08	1200.41	1559923
APPLICATIONS/aprove09/ AProVE09-05.cnf	? (TO)	1200.08	1200.51	1560027
industrial/grieu/ vmpc_29.cnf	? (TO)	1200.08	1200.41	1718557
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1200.08	1200.51	1717309
APPLICATIONS/aprove09/ AProVE09-19.cnf	? (TO)	1200.08	1200.51	1560911
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	1200.08	1200.62	1554879
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1200.08	1200.51	1722857
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	? (TO)	1200.08	1200.41	1579395
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	? (TO)	1200.08	1200.41	1563095
industrial/grieu/ vmpc_30.cnf	? (TO)	1200.08	1200.51	1718401
manol-pipe-g6bi.cnf	? (TO)	1200.08	1200.41	1723729
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1200.08	1200.51	1554151
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	1200.08	1207.01	1559351
goldb-heqc-x1mul.cnf	? (TO)	1200.08	1200.41	1719441
goldb-heqc-i10mul.cnf	? (TO)	1200.08	1200.41	1723417
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	? (TO)	1200.08	1200.41	1559195
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	1200.08	1200.41	1721807
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	? (TO)	1200.09	1200.41	1556855
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	1200.09	1200.41	1722607
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	1200.09	1200.61	1723107
een-tip-uns-nusmv-t5.B.cnf	? (TO)	1200.09	1200.41	1723365
manol-pipe-g10id.cnf	? (TO)	1200.09	1200.51	1723521
cmu-bmc-barrel6.cnf	? (TO)	1200.09	1200.41	1719545
velev-live-uns-2.0-ebuf.cnf	? (TO)	1200.09	1200.41	1723677
simon-s03-fifo8-300.cnf	? (TO)	1200.09	1200.41	1724145
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1200.09	1200.41	1557947
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	? (TO)	1200.09	1200.41	1557063
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1200.09	1200.41	1557011
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	1200.09	1200.74	1718973
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	1200.09	1200.61	1556699
velev-pipe-o-uns-1.0-7.cnf	? (TO)	1200.09	1200.41	1723885
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1200.09	1200.41	1554671
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (TO)	1200.09	1200.41	1554411
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1200.09	1200.51	1553371
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	? (TO)	1200.09	1200.41	1563043
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.09	1200.51	1718453
APPLICATIONS/bitverif/ minor/minor032.cnf	? (TO)	1200.09	1200.51	1553215
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	? (TO)	1200.09	1200.41	1717621
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	? (TO)	1200.09	1200.41	1563667
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (TO)	1200.09	1200.41	1563563
APPLICATIONS/aprove09/ AProVE09-12.cnf	? (TO)	1200.09	1200.51	1560339
APPLICATIONS/aprove09/ AProVE09-06.cnf	? (TO)	1200.09	1200.41	1559663
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1200.09	1200.41	1559247
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200.09	1200.42	1716165
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	? (TO)	1200.09	1200.42	1717881
mizh-sha0-36-4.cnf	? (TO)	1200.09	1200.51	1720221
manol-pipe-c6bidw_i.cnf	? (TO)	1200.09	1200.41	1720273
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	1200.09	1200.51	1722157
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1200.09	1200.41	1721857
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1200.09	1200.41	1722407
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1200.1	1200.41	1556335
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.1	1200.41	1716685
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	? (TO)	1200.1	1200.41	1562887
velev-pipe-uns-1.0-8.cnf	? (TO)	1200.1	1200.62	1724405
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	1200.1	1200.41	1717049
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	? (TO)	1200.1	1200.41	1556803
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	? (TO)	1200.1	1200.41	1563147
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	? (TO)	1200.1	1200.41	1557583
een-tip-sat-texas-tp-5e.cnf	? (TO)	1200.1	1200.41	1720897
mizh-sha0-36-2.cnf	? (TO)	1200.1	1200.41	1723989
APPLICATIONS/aprove09/ AProVE09-15.cnf	? (TO)	1200.1	1200.51	1560547
goldb-heqc-alu4mul.cnf	? (TO)	1200.1	1200.41	1721001
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	1200.1	1200.41	1558051
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.1	1200.42	1716633
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	? (TO)	1200.1	1200.51	1579863
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	? (TO)	1200.1	1200.62	1580851
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	? (TO)	1200.11	1200.41	1562991
hoons-vbmc-lucky7.cnf	? (TO)	1200.11	1200.71	1719857
manol-pipe-f9n.cnf	? (TO)	1200.11	1200.41	1723937
APPLICATIONS/aprove09/ AProVE09-22.cnf	? (TO)	1200.11	1200.41	1560443
APPLICATIONS/bitverif/ smulo/smulo016.cnf	? (TO)	1200.11	1200.41	1554827
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	? (TO)	1200.11	1200.41	1562679
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	? (TO)	1200.11	1200.41	1722507
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	? (TO)	1200.11	1200.41	1723057
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1200.11	1200.61	1559611
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (TO)	1200.11	1200.52	1716425
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	? (TO)	1200.11	1200.41	1721707
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	1200.11	1200.51	1556439
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	? (TO)	1200.11	1200.42	1715905
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	? (TO)	1200.11	1200.41	1558467
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	? (TO)	1200.11	1200.51	1558415
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	1200.11	1200.41	1721957
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	? (TO)	1200.11	1200.42	1579967
velev-engi-uns-1.0-4nd.cnf	? (TO)	1200.11	1200.51	1720117
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	1200.11	1200.41	1554723
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (TO)	1200.11	1200.62	1581995
APPLICATIONS/aprove09/ AProVE09-11.cnf	? (TO)	1200.11	1200.61	1560859
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	1200.11	1200.51	1553995
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	? (TO)	1200.11	1200.41	1579447
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	? (TO)	1200.11	1200.41	1718141
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	? (TO)	1200.11	1200.41	1562627
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	1200.11	1200.51	1723007
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	1200.12	1200.41	1721407
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	1200.12	1200.43	1719129
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	? (TO)	1200.12	1200.43	1555451

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/sgi/ satsgi-n17himBHm20-p0-q146.cnf	SAT	0.013997	0.014213	1734207
CRAFTED/ramseycube/ Q3inK08.cnf	SAT	0.013997	0.014587	1733007
CRAFTED/sgi/ satsgi-n18himBHm21-p0-q167.cnf	SAT	0.014997	0.015457	1734357
CRAFTED/sgi/ satsgi-n19himBHm22-p0-q181.cnf	SAT	0.015997	0.015696	1734107
CRAFTED/sgi/ satsgi-n22himBHm25-p0-q229.cnf	SAT	0.020996	0.0218279	1734457
CRAFTED/sgi/ satsgi-n22himBHm24-p0-q209.cnf	SAT	0.020996	0.0212821	1734157
CRAFTED/sgi/ satsgi-n23himBHm25-p0-q219.cnf	SAT	0.021996	0.022713	1734407
CRAFTED/sgi/ satsgi-n23himBHm26-p0-q248.cnf	SAT	0.023995	0.0246149	1734307
CRAFTED/sgi/ satsgi-n23himBHm27-p0-q251.cnf	SAT	0.023996	0.024539	1734557
CRAFTED/sgi/ sgi-difficult4.cnf	SAT	0.024995	0.0256291	1736157
CRAFTED/sgi/ satsgi-n25himBHm27-p0-q251.cnf	SAT	0.026994	0.0277	1734257
CRAFTED/sgi/ satsgi-n25himBHm29-p0-q290.cnf	SAT	0.028995	0.0288061	1734607
CRAFTED/parity-games/ instance_n3_i3_pp.cnf	SAT	0.033994	0.03445	1737057
CRAFTED/sgi/ satsgi-n28himBHm30-p0-q333.cnf	SAT	0.035993	0.0365971	1734507
CRAFTED/sgi/ new-difficult-20-152-18-95.cnf	SAT	0.038993	0.040007	1738105
CRAFTED/sgi/ sgi-difficult7.cnf	SAT	0.041992	0.0429881	1736207
CRAFTED/ramseycube/ Q3inK09.cnf	SAT	0.078987	0.0782321	1732657
CRAFTED/parity-games/ instance_n3_i3_pp_ci_ce.cnf	SAT	0.096985	0.0970969	1736407
CRAFTED/sgen/sat/ sgen1-sat-160-100.cnf	SAT	0.185971	0.185157	1732457
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	0.367943	0.36846	1732857
CRAFTED/edgematching/ fbcolors/em_7_3_6_fbc.cnf	SAT	0.805877	0.805636	1562367
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g1.cnf	SAT	0.889864	0.890895	1735057
CRAFTED/ramseycube/ Q3inK11.cnf	SAT	1.3178	1.31852	1733107
CRAFTED/sgen/sat/ sgen1-sat-140-100.cnf	SAT	1.54476	1.54576	1732357
CRAFTED/edgematching/ all/em_11_3_4_all.cnf	SAT	1.66875	1.6694	1562055
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes1.cnf	SAT	2.45663	2.4583	1735257
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	2.5996	2.60108	1561795
CRAFTED/sgi/ new-difficult-21-168-19-90.cnf	SAT	2.91955	2.92057	1738158
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes6.cnf	SAT	3.32449	3.32472	1735307
CRAFTED/sgi/ new-difficult-22-173-20-80.cnf	SAT	3.62845	3.6303	1738264
CRAFTED/ramseycube/ Q3inK12.cnf	SAT	3.97939	3.98142	1732907
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes4.cnf	SAT	4.62529	4.62664	1735107
CRAFTED/sgen/sat/ sgen1-sat-180-100.cnf	SAT	5.18221	5.1848	1732307
CRAFTED/edgematching/ all/em_12_2_4_all.cnf	SAT	5.54316	5.54358	1561899
CRAFTED/modcircuits/ mod5block_1var_7gates.cnf	SAT	7.2359	7.238	1733257
CRAFTED/edgematching/ explicit/em_11_3_4_exp.cnf	SAT	7.41287	7.41519	1561379
CRAFTED/edgematching/ all/em_14_7_3_all.cnf	SAT	10.2544	10.2577	1561951
CRAFTED/edgematching/ explicit/em_12_2_4_exp.cnf	SAT	11.6202	11.6244	1561483
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes2.cnf	SAT	13.6519	13.6557	1735757
CRAFTED/rbsat/random/ forced/rbsat-v760c43649gyes10.cnf	SAT	14.7078	14.714	1735207
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g8.cnf	SAT	19.2681	19.2659	1734757
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes4.cnf	SAT	20.3049	20.313	1735157
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes2.cnf	SAT	20.8288	20.8344	1735857
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g10.cnf	SAT	21.1588	21.1621	1734957
CRAFTED/sgen/sat/ sgen1-sat-220-100.cnf	SAT	23.2295	23.2362	1732407
CRAFTED/parity-games/ instance_n4_i4_pp.cnf	SAT	23.3444	23.3506	1736507
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes9.cnf	SAT	24.0763	24.0832	1735407
CRAFTED/parity-games/ instance_n4_i4_pp_ci_ce.cnf	SAT	40.2959	40.3079	1736757
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes1.cnf	SAT	41.7207	41.7307	1736007
CRAFTED/sgen/sat/ sgen1-sat-200-100.cnf	SAT	46.9059	46.9463	1732607
CRAFTED/sgi/ new-difficult-24-193-22-70.cnf	SAT	66.6909	66.7073	1738052
CRAFTED/ edgematching/all/em_7_3_6_all.cnf	SAT	75.4635	75.4846	1562003
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	SAT	87.8736	87.9002	1738317
CRAFTED/sgi/ new-difficult-28-302-26-75.cnf	SAT	90.0443	90.0787	1738370
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g10.cnf	SAT	109.343	109.376	1734907
CRAFTED/sgen/sat/ sgen1-sat-230-100.cnf	SAT	110.457	110.486	1737469
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	SAT	136.692	136.73	1725675
CRAFTED/sgen/sat/ sgen1-sat-240-100.cnf	SAT	138.162	138.198	1732557
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes8.cnf	SAT	147.833	147.876	1735907
CRAFTED/sgi/ new-difficult-26-243-24-70.cnf	SAT	212.13	212.186	1738211
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	SAT	226.459	226.542	1561015
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	SAT	256.54	256.625	1725622
CRAFTED/edgematching/ explicit/em_8_4_5_exp.cnf	SAT	311.749	311.859	1561691
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes1.cnf	SAT	323.585	323.672	1736107
CRAFTED/sgen/sat/ sgen1-sat-250-100.cnf	SAT	395.617	395.723	1737416
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	SAT	448.241	448.36	1725728
CRAFTED/edgematching/ compact/em_8_4_5_cmp.cnf	SAT	514.529	514.665	1561327
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g6.cnf	SAT	610.445	610.624	1735507
CRAFTED/sgen/sat/ sgen1-sat-260-100.cnf	SAT	611.48	611.631	1732207
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	SAT	993.834	994.133	1562211
CRAFTED/edgematching/ explicit/em_7_3_6_exp.cnf	SAT	1098.09	1098.47	1561743

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/edgematching/ explicit/em_7_4_9_exp.cnf	? (TO)	1200.01	1200.31	1561535
CRAFTED/sgen/unsat/ sgen1-unsat-151-100.cnf	? (TO)	1200.01	1200.31	1737628
CRAFTED/sgen/unsat/ sgen1-unsat-97-100.cnf	? (TO)	1200.01	1200.41	1731857
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	? (TO)	1200.01	1200.31	1731293
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	? (TO)	1200.01	1200.51	1727954
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	1200.01	1200.31	1729650
CRAFTED/parity-games/ instance_n5_i6_pp_ci_ce.cnf	? (TO)	1200.01	1200.91	1736457
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	? (TO)	1200.01	1200.31	1729703
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1731452
CRAFTED/sgen/sat/ sgen1-sat-270-100.cnf	? (TO)	1200.02	1200.31	1737575
CRAFTED/sgen/unsat/ sgen1-unsat-139-100.cnf	? (TO)	1200.02	1200.31	1737522
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1729120
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	? (TO)	1200.02	1200.41	1737999
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1728166
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1729756
CRAFTED/sgen/unsat/ sgen1-unsat-127-100.cnf	? (TO)	1200.02	1200.51	1737257
CRAFTED/edgematching/ compact/em_7_4_8_cmp.cnf	? (TO)	1200.02	1200.31	1561275
CRAFTED/sgen/unsat/ sgen1-unsat-109-100.cnf	? (TO)	1200.02	1200.31	1731807
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	1200.03	1200.41	1729544
CRAFTED/sgen/unsat/ sgen1-unsat-121-100.cnf	? (TO)	1200.03	1200.41	1732157
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	? (TO)	1200.03	1200.41	1729968
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (TO)	1200.03	1200.51	1730233
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (TO)	1200.03	1199.91	1730763
CRAFTED/edgematching/ fbcolors/em_11_3_4_fbc.cnf	? (TO)	1200.03	1200.51	1562575
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	? (TO)	1200.03	1200.41	1725781
CRAFTED/rbsat/crafted/unforced/ rbsat-v2640c305320g4.cnf	? (TO)	1200.03	1200.51	1735557
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	? (TO)	1200.03	1199.91	1730975
CRAFTED/modcircuits/ mod3block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.03	1200.31	1733807
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	? (TO)	1200.04	1200.51	1726311
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	? (TO)	1200.04	1200.33	1730657
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (TO)	1200.04	1200.62	1727424
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	? (TO)	1200.04	1200.51	1730021
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1729491
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	? (TO)	1200.04	1200.31	1731134
CRAFTED/modcircuits/ owp_4vars_5gates.cnf	? (TO)	1200.04	1200.31	1733857
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	1200.04	1200.31	1729438
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1731611
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	? (TO)	1200.04	1200.31	1730710
CRAFTED/sgen/sat/ sgen1-sat-280-100.cnf	? (TO)	1200.04	1200.41	1732257
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1728802
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1729809
CRAFTED/edgematching/ compact/em_14_7_3_cmp.cnf	? (TO)	1200.05	1200.41	1561223
CRAFTED/edgematching/ compact/em_7_4_9_cmp.cnf	? (TO)	1200.05	1200.41	1560963
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1725993
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	? (TO)	1200.05	1200.51	1725834
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	? (TO)	1200.05	1200.51	1726258
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1726152
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1200.05	1200.41	1733907
CRAFTED/edgematching/ fbcolors/em_7_4_9_fbc.cnf	? (TO)	1200.05	1200.41	1562419
CRAFTED/parity-games/ instance_n8_i8_pp.cnf	? (TO)	1200.05	1200.41	1737787
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1726735
CRAFTED/sgen/unsat/ sgen1-unsat-145-100.cnf	? (TO)	1200.05	1200.41	1732057
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1727159
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1727848
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1728060
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1731399
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1730074
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1729862
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.06	1200.41	1733957
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1728696
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1726205
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	? (TO)	1200.06	1199.91	1726099
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1731081
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1729014
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1728749
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1727901
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1728007
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.06	1200.71	1734057
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1725569
CRAFTED/parity-games/ instance_n3_i4_pp_ci_ce.cnf	? (TO)	1200.06	1200.41	1736357
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1725410
CRAFTED/parity-games/ instance_n7_i7_pp_ci_ce.cnf	? (TO)	1200.06	1200.41	1736707
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1729067
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1725357
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1728537
CRAFTED/sgen/unsat/ sgen1-unsat-115-100.cnf	? (TO)	1200.06	1200.41	1737310
CRAFTED/sgen/sat/ sgen1-sat-290-100.cnf	? (TO)	1200.06	1200.41	1737363
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1729332
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1729915
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (TO)	1200.06	1200.53	1727318
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (TO)	1200.06	1200.51	1737734
CRAFTED/ramseycube/ Q32inK10.cnf	? (TO)	1200.06	1200.41	1732957
CRAFTED/ramseycube/ Q3inK13.cnf	? (TO)	1200.06	1200.55	1732757
CRAFTED/ramseycube/ Q32inK09.cnf	? (TO)	1200.06	1200.41	1733057
CRAFTED/parity-games/ instance_n6_i7_pp.cnf	? (TO)	1200.07	1200.51	1736307
CRAFTED/ edgematching/all/em_7_4_8_all.cnf	? (TO)	1200.07	1200.41	1562159
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1726576
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1726629
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1726894
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1727106
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	? (TO)	1200.07	1200.52	1727265
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (TO)	1200.07	1200.54	1727477
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (TO)	1200.07	1200.54	1727583
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1729226
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1728908
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1730922
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1731187
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1731240
CRAFTED/ramseycube/ Q32inK11.cnf	? (TO)	1200.07	1200.51	1732807
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2.cnf	? (TO)	1200.07	1200.51	1733207
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1200.07	1200.41	1733357
CRAFTED/modcircuits/ mod3_4vars_6gates.cnf	? (TO)	1200.07	1200.41	1733657
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g2.cnf	? (TO)	1200.07	1200.41	1734857
CRAFTED/rbsat/random/unforced/ rbsat-v1820c171155g3.cnf	? (TO)	1200.07	1200.41	1734807
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes8.cnf	? (TO)	1200.07	1200.41	1735957
CRAFTED/rbsat/crafted/ forced/rbsat-v1820c171155gyes6.cnf	? (TO)	1200.07	1200.41	1735807
CRAFTED/modcircuits/ mod3block_3vars_9gates_restr.cnf	? (TO)	1200.08	1200.71	1734007
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1731664
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2_autoenc.cnf	? (TO)	1200.08	1200.41	1733507
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1730286
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1728961
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	? (TO)	1200.08	1200.44	1728378
CRAFTED/sgen/unsat/ sgen1-unsat-73-100.cnf	? (TO)	1200.08	1200.41	1732107
CRAFTED/parity-games/ instance_n8_i9_pp_ci_ce.cnf	? (TO)	1200.08	1200.41	1737946
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1730127
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	1200.08	1200.41	1561171
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1730816
CRAFTED/parity-games/ instance_n6_i6_pp.cnf	? (TO)	1200.08	1200.41	1736907
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1728325
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1728219
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1725304
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1730445
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1730551
CRAFTED/parity-games/ instance_n5_i6_pp.cnf	? (TO)	1200.08	1200.41	1736807
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1727742
CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf	? (TO)	1200.08	1200.51	1736607
CRAFTED/parity-games/ instance_n5_i5_pp.cnf	? (TO)	1200.08	1200.51	1736657
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1200.08	1200.41	1735457
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1725940
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1730339
CRAFTED/ edgematching/all/em_7_4_9_all.cnf	? (TO)	1200.08	1200.41	1562107
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1731558
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g4.cnf	? (TO)	1200.08	1200.41	1735607
CRAFTED/sgen/unsat/ sgen1-unsat-85-100.cnf	? (TO)	1200.08	1200.51	1731907
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	1200.08	1200.62	1727371
CRAFTED/edgematching/ compact/em_9_3_5_cmp.cnf	? (TO)	1200.09	1200.51	1561119
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1728484
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1731028
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1727795
CRAFTED/edgematching/ explicit/em_7_4_8_exp.cnf	? (TO)	1200.09	1200.51	1561639
CRAFTED/sgen/unsat/ sgen1-unsat-133-100.cnf	? (TO)	1200.09	1200.41	1731957
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1726841
CRAFTED/sgen/unsat/ sgen1-unsat-61-100.cnf	? (TO)	1200.09	1200.51	1732007
CRAFTED/edgematching/ fbcolors/em_9_3_5_fbc.cnf	? (TO)	1200.09	1200.51	1562263
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2_restricted.cnf	? (TO)	1200.09	1200.42	1733307
CRAFTED/parity-games/ instance_n8_i9_pp.cnf	? (TO)	1200.09	1200.61	1737840
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1726470
CRAFTED/sgen/unsat/ sgen1-unsat-103-100.cnf	? (TO)	1200.09	1200.41	1737681
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	1200.09	1200.61	1726364
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g2.cnf	? (TO)	1200.09	1200.51	1735007
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes3.cnf	? (TO)	1200.09	1200.51	1735357
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes9.cnf	? (TO)	1200.09	1200.41	1736057
CRAFTED/parity-games/ instance_n7_i8_pp_ci_ce.cnf	? (TO)	1200.09	1200.41	1736257
CRAFTED/edgematching/ fbcolors/em_12_2_4_fbc.cnf	? (TO)	1200.09	1200.41	1562523
CRAFTED/parity-games/ instance_n7_i8_pp.cnf	? (TO)	1200.09	1200.41	1737207
CRAFTED/parity-games/ instance_n2_i2_pp.cnf	? (TO)	1200.09	1200.41	1736857
CRAFTED/parity-games/ instance_n6_i6_pp_ci_ce.cnf	? (TO)	1200.09	1200.41	1737107
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	1200.09	1200.41	1561067
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1728431
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1729597
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1729385
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1728643
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g4.cnf	? (TO)	1200.1	1200.41	1734657
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1726046
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	? (TO)	1200.1	1200.62	1727212
CRAFTED/parity-games/ instance_n4_i5_pp.cnf	? (TO)	1200.1	1200.41	1737007
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1728590
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1728855
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1727689
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g2.cnf	? (TO)	1200.1	1200.41	1735707
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1727636
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g5.cnf	? (TO)	1200.1	1200.41	1735657
CRAFTED/edgematching/ fbcolors/em_7_4_8_fbc.cnf	? (TO)	1200.1	1200.41	1562471
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1730392
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1730180
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1729279
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1725516
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1725463
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1725251
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1730498
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1727000
CRAFTED/parity-games/ instance_n9_i9_pp_ci_ce.cnf	? (TO)	1200.1	1200.61	1737893
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1726788
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1726682
CRAFTED/modcircuits/ mod3block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.1	1200.41	1733457
CRAFTED/modcircuits/ mod4block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.1	1200.51	1733607
CRAFTED/parity-games/ instance_n7_i7_pp.cnf	? (TO)	1200.1	1200.51	1736957
CRAFTED/edgematching/ fbcolors/em_14_7_3_fbc.cnf	? (TO)	1200.1	1200.41	1562315
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	? (TO)	1200.11	1200.51	1728113
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1730604
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	? (TO)	1200.11	1200.51	1730869
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	? (TO)	1200.11	1201.01	1726417
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (TO)	1200.11	1200.62	1728272
CRAFTED/sgen/sat/ sgen1-sat-300-100.cnf	? (TO)	1200.11	1200.41	1732507
CRAFTED/modcircuits/ mod4block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.11	1200.41	1733557
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1731505
CRAFTED/edgematching/ explicit/em_9_3_5_exp.cnf	? (TO)	1200.11	1200.51	1561431
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	? (TO)	1200.11	1200.51	1731346
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	1200.11	1200.51	1727053
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g6.cnf	? (TO)	1200.11	1200.41	1734707
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1726523
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	? (TO)	1200.11	1200.51	1729173
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2.cnf	? (TO)	1200.11	1200.42	1733157
CRAFTED/modcircuits/ mod5block_2vars_12gates.cnf	? (TO)	1200.11	1200.41	1733407
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2_restricted.cnf	? (TO)	1200.12	1200.42	1733757
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2.cnf	? (TO)	1200.12	1200.42	1733707
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	1200.13	1200.63	1726947
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (TO)	1200.14	1200.74	1727530

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n2_i3_pp.cnf	Signal 11	946.544	946.813	1736557
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	Signal 11	1109.27	1109.75	1725887

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1516934767-080.cnf	SAT	0.009998	0.0105611	1522342
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1326039470-063.cnf	SAT	0.010997	0.010851	1522298
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S418266958-049.cnf	SAT	0.010997	0.0111951	1522291
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1460100153-095.cnf	SAT	0.010997	0.0110171	1522269
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S208461254-049.cnf	SAT	0.010998	0.0112799	1522308
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S2032263657-035.cnf	SAT	0.010998	0.0117721	1522353
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1666821205-020.cnf	SAT	0.010998	0.0115001	1522304
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1733990810-090.cnf	SAT	0.011997	0.012506	1522331
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S321371087-018.cnf	SAT	0.011998	0.0126399	1522330
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1614425450-034.cnf	SAT	0.012997	0.013318	1522336
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1161147107-031.cnf	SAT	0.012997	0.012394	1522265
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1263695887-042.cnf	SAT	0.013997	0.0148759	1522306
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S621134782-041.cnf	SAT	0.014997	0.0158439	1522264
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S308012126-046.cnf	SAT	0.014997	0.0153331	1522048
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1684547485-073.cnf	SAT	0.014997	0.01564	1522350
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1546885609-031.cnf	SAT	0.014997	0.0150219	1522335
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S180439591-093.cnf	SAT	0.015997	0.0165999	1522272
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1730125812-056.cnf	SAT	0.015997	0.016017	1522324
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1916548023-003.cnf	SAT	0.015997	0.0157921	1522313
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1036996799-006.cnf	SAT	0.016996	0.018196	1522341
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1931398869-036.cnf	SAT	0.016997	0.017163	1522033
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S725789261-031.cnf	SAT	0.017996	0.017853	1522307
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1880984131-087.cnf	SAT	0.017997	0.0173981	1522277
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1332067449-041.cnf	SAT	0.020996	0.021623	1522312
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S146188995-071.cnf	SAT	0.021996	0.022153	1522263
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S172053238-003.cnf	SAT	0.021996	0.021804	1522296
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S326477539-068.cnf	SAT	0.022995	0.0237061	1522344
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S95953046-044.cnf	SAT	0.022996	0.0233109	1522250
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1674394075-027.cnf	SAT	0.022996	0.023138	1522339
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1459690542-033.cnf	SAT	0.023995	0.0229531	1522351
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1977519792-030.cnf	SAT	0.023996	0.0264901	1522262
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S746386799-050.cnf	SAT	0.023996	0.024146	1522105
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1879859331-044.cnf	SAT	0.024995	0.025776	1522280
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S658989873-070.cnf	SAT	0.024995	0.025096	1522256
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1912687159-077.cnf	SAT	0.024996	0.0258441	1522346
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S957997002-040.cnf	SAT	0.025995	0.027043	1522320
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1767425240-073.cnf	SAT	0.025995	0.026731	1522294
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S2032726331-082.cnf	SAT	0.026995	0.026022	1522293
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S311671104-045.cnf	SAT	0.026995	0.0272569	1522273
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2025169165-076.cnf	SAT	0.027995	0.027326	1522252
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1362286908-061.cnf	SAT	0.030995	0.031348	1522270
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1711406314-093.cnf	SAT	0.030995	0.0313991	1522358
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1112524719-021.cnf	SAT	0.031995	0.0309061	1522302
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S809967194-078.cnf	SAT	0.032994	0.0330319	1522286
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S981523907-072.cnf	SAT	0.033994	0.0338279	1522290
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1339293988-069.cnf	SAT	0.033994	0.0343649	1522301
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S787972994-025.cnf	SAT	0.035994	0.0350331	1522303
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S554804223-012.cnf	SAT	0.036993	0.0408779	1522325
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1429776379-099.cnf	SAT	0.037993	0.0388351	1522282
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1002348653-090.cnf	SAT	0.039993	0.0405579	1522322
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S786890012-057.cnf	SAT	0.039993	0.038655	1522284
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1876865608-086.cnf	SAT	0.042992	0.0428181	1522285
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1826927554-087.cnf	SAT	0.042993	0.0434799	1522349
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S398733532-072.cnf	SAT	0.044992	0.046178	1522019
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1159550149-077.cnf	SAT	0.047992	0.0485089	1522036
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2139292994-055.cnf	SAT	0.048992	0.049465	1522031
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1041106011-094.cnf	SAT	0.048992	0.0493719	1522345
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S971118900-053.cnf	SAT	0.049992	0.050683	1522047
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1924575376-025.cnf	SAT	0.049992	0.0501481	1522327
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S889538696-070.cnf	SAT	0.050992	0.049914	1522281
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S393518083-009.cnf	SAT	0.050992	0.0514979	1522039
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S353643296-086.cnf	SAT	0.052991	0.0534159	1522258
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S852794659-023.cnf	SAT	0.053991	0.054118	1522034
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1707873242-085.cnf	SAT	0.054991	0.055368	1522043
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1137823545-077.cnf	SAT	0.054991	0.0551281	1522310
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1293537826-039.cnf	SAT	0.055991	0.054612	1522354
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1895787950-064.cnf	SAT	0.056991	0.057306	1522124
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1624574519-076.cnf	SAT	0.05799	0.0588229	1522275
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1014608490-038.cnf	SAT	0.057991	0.058485	1522276
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1841979702-078.cnf	SAT	0.05899	0.059854	1522347
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1514821049-021.cnf	SAT	0.06199	0.0626921	1522103
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S144043535-002.cnf	SAT	0.068989	0.0690891	1522357
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S47926000-049.cnf	SAT	0.073988	0.074211	1522038
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1531283922-009.cnf	SAT	0.074988	0.0753449	1522297
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1139247531-051.cnf	SAT	0.083987	0.0848051	1522274
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1555503917-029.cnf	SAT	0.084986	0.0856571	1522334
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2035161427-020.cnf	SAT	0.086986	0.0876891	1522337
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1481888618-011.cnf	SAT	0.087986	0.088421	1522023
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1985172968-100.cnf	SAT	0.088986	0.0895701	1522340
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S227954525-082.cnf	SAT	0.091985	0.090769	1522267
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2106599808-035.cnf	SAT	0.091985	0.0922381	1522338
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1229813320-044.cnf	SAT	0.097984	0.098631	1522319
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S824721511-001.cnf	SAT	0.103983	0.104173	1522030
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1040456712-073.cnf	SAT	0.104983	0.105298	1522037
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S449556655-088.cnf	SAT	0.109982	0.109817	1522326
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2067258640-036.cnf	SAT	0.110982	0.114106	1522329
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S110290755-003.cnf	SAT	0.114982	0.115312	1522300
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S602463346-055.cnf	SAT	0.117981	0.118116	1522254
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2056912842-027.cnf	SAT	0.12298	0.122992	1522257
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S722433227-030.cnf	SAT	0.123981	0.124222	1522355
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1163324878-032.cnf	SAT	0.12598	0.126139	1522057
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S368632549-051.cnf	SAT	0.12698	0.127202	1522356
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1864638535-048.cnf	SAT	0.12798	0.127559	1522299
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2007547542-039.cnf	SAT	0.128979	0.129229	1522035
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S282405510-004.cnf	SAT	0.147977	0.149321	1522046
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S714125262-017.cnf	SAT	0.147977	0.148067	1522295
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S817309453-059.cnf	SAT	0.153975	0.154088	1522318
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S744068878-072.cnf	SAT	0.172973	0.173447	1522029
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1940784272-089.cnf	SAT	0.179972	0.180418	1522271
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1338462531-082.cnf	SAT	0.197969	0.198932	1522323
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1794178048-059.cnf	SAT	0.197969	0.197712	1522110
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S956671877-054.cnf	SAT	0.199969	0.200583	1522260
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1639151107-094.cnf	SAT	0.201969	0.201591	1522099
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S780904324-093.cnf	SAT	0.203968	0.204744	1522305
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S986324446-009.cnf	SAT	0.207967	0.208608	1522026
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S748216286-061.cnf	SAT	0.214967	0.215864	1522045
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S2087271472-092.cnf	SAT	0.215966	0.215974	1522266
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S638042053-051.cnf	SAT	0.229964	0.231264	1522024
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1963731659-060.cnf	SAT	0.235963	0.23593	1522052
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S23858409-056.cnf	SAT	0.236963	0.239548	1522314
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S84716411-095.cnf	SAT	0.239963	0.240508	1522316
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S884941173-092.cnf	SAT	0.240962	0.241851	1522025
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S247943532-069.cnf	SAT	0.25496	0.255322	1522259
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S142096783-019.cnf	SAT	0.25796	0.258177	1522289
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1045096471-025.cnf	SAT	0.25896	0.259752	1522255
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S402241321-038.cnf	SAT	0.26096	0.26169	1522041
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1568932519-011.cnf	SAT	0.293954	0.292903	1522032
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1772254584-042.cnf	SAT	0.316951	0.320121	1522042
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S419666888-007.cnf	SAT	0.342947	0.343561	1522292
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1258122549-031.cnf	SAT	0.363943	0.362625	1522253
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1367181683-025.cnf	SAT	0.39094	0.391937	1522333
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf	SAT	0.39294	0.393296	1521896
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S136987316-008.cnf	SAT	0.401938	0.401192	1521891
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1223878722-065.cnf	SAT	0.402938	0.403529	1522126
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S520696524-059.cnf	SAT	0.403938	0.402681	1521893
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1850025790-078.cnf	SAT	0.405938	0.406381	1522022
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S2069223517-023.cnf	SAT	0.409937	0.410665	1522328
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S2142680239-019.cnf	SAT	0.418935	0.419632	1522311
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1422278005-004.cnf	SAT	0.435933	0.436362	1522054
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S984347600-003.cnf	SAT	0.442932	0.4431	1522040
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1448866403-060.cnf	SAT	0.544916	0.54621	1522352
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S834811574-084.cnf	SAT	0.582911	0.583622	1522112
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1494961823-060.cnf	SAT	0.594909	0.595145	1522249
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1879656894-046.cnf	SAT	0.614906	0.615681	1522058
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S433356712-017.cnf	SAT	0.632903	0.633878	1522315
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1800466054-025.cnf	SAT	0.640902	0.64121	1522268
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1206040031-030.cnf	SAT	0.647901	0.64903	1522107
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1949086545-083.cnf	SAT	0.6489	0.649619	1522288
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1017443264-065.cnf	SAT	0.740886	0.741861	1522056
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf	SAT	0.766883	0.767577	1521890
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1640054673-078.cnf	SAT	0.766883	0.767355	1522130
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1354285755-030.cnf	SAT	0.791879	0.792188	1522115
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1376127278-008.cnf	SAT	0.797878	0.798503	1522021
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1146593655-045.cnf	SAT	0.819875	0.820766	1522120
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1767813611-042.cnf	SAT	0.886864	0.887507	1522020
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1771223975-021.cnf	SAT	0.898863	0.899466	1522028
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S400088537-049.cnf	SAT	0.936856	0.93745	1522123
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf	SAT	0.957853	0.957356	1521943
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S178043354-076.cnf	SAT	1.00885	1.00973	1522100
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf	SAT	1.02884	1.02996	1521892
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S2037556208-016.cnf	SAT	1.04384	1.04532	1522101
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S486002104-037.cnf	SAT	1.05384	1.05517	1522343
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S617358728-082.cnf	SAT	1.08483	1.08371	1522332
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1503318847-091.cnf	SAT	1.24581	1.2465	1522051
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S900737394-048.cnf	SAT	1.3418	1.34329	1522317
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S449511205-064.cnf	SAT	1.36479	1.3654	1522309
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S565763763-051.cnf	SAT	1.37679	1.37752	1522283
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1718226278-096.cnf	SAT	1.40179	1.40236	1522111
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S709270457-007.cnf	SAT	1.46078	1.4618	1522127
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf	SAT	1.58776	1.58912	1521894
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S357555833-073.cnf	SAT	1.60376	1.60462	1522050
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf	SAT	1.68374	1.68549	1521941
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S326668183-079.cnf	SAT	1.69474	1.69482	1522108
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1804335510-002.cnf	SAT	1.71574	1.71621	1522348
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S844931093-069.cnf	SAT	1.71974	1.71914	1522287
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1528563858-100.cnf	SAT	1.75673	1.75786	1522321
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S754967851-033.cnf	SAT	1.83572	1.83485	1522109
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1153031014-012.cnf	SAT	1.84972	1.85242	1522053
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf	SAT	1.88471	1.88563	1521945
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1778559297-006.cnf	SAT	1.91271	1.91347	1522278
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1366769180-095.cnf	SAT	2.02569	2.02654	1522119
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf	SAT	2.22066	2.22367	1521897
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1482824652-097.cnf	SAT	2.30465	2.30591	1522078
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1858385213-060.cnf	SAT	2.51662	2.51649	1522106
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1828800850-025.cnf	SAT	2.52961	2.53092	1522102
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1492329924-074.cnf	SAT	2.74358	2.74373	1522027
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1536609007-088.cnf	SAT	2.89856	2.89865	1522261
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S2060380282-019.cnf	SAT	3.00354	3.00475	1522128
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S7007454-009.cnf	SAT	3.04953	3.05103	1521889
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S819692891-023.cnf	SAT	3.10253	3.1019	1522132
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S644655157-049.cnf	SAT	3.11552	3.11507	1522049
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S512486692-050.cnf	SAT	3.3135	3.31554	1522113
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S349436298-004.cnf	SAT	3.58545	3.58566	1522251
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S284173264-081.cnf	SAT	3.75843	3.76048	1522116
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S603077945-019.cnf	SAT	4.02939	4.03086	1522114
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S179172230-011.cnf	SAT	4.25135	4.25318	1522055
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S779309989-069.cnf	SAT	4.51231	4.51423	1521898
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S342542912-045.cnf	SAT	4.70528	4.70712	1522134
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803323266-025.cnf	SAT	4.88126	4.88111	1522135
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803029538-050.cnf	SAT	5.36318	5.36535	1522138
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1920888253-090.cnf	SAT	6.21605	6.21747	1522044
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S839983432-073.cnf	SAT	6.33004	6.33191	1522131
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S445910413-047.cnf	SAT	6.42602	6.42889	1522125
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S51205200-028.cnf	SAT	6.85196	6.85572	1522137
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf	SAT	6.93794	6.93876	1521895
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2028777924-038.cnf	SAT	7.12692	7.12987	1522075
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1484713995-092.cnf	SAT	8.5577	8.56095	1522117
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1402156840-093.cnf	SAT	10.3584	10.3608	1522129
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2073320038-053.cnf	SAT	10.6344	10.6373	1522090
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S432895007-058.cnf	SAT	11.1893	11.1938	1522121
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1988754311-026.cnf	SAT	11.2073	11.212	1522136
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1096716652-027.cnf	SAT	12.6191	12.6297	1522104
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf	SAT	13.6299	13.6335	1521928
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1645769281-097.cnf	SAT	13.9129	13.9186	1522122
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1723021362-073.cnf	SAT	15.0627	15.0679	1522118
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1970456972-046.cnf	SAT	15.2677	15.2739	1521833
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1281410666-045.cnf	SAT	15.5836	15.5875	1521834
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1192890414-033.cnf	SAT	18.3662	18.3632	1521837
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S45592023-054.cnf	SAT	20.2359	20.2456	1522279
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S685953260-065.cnf	SAT	21.9487	21.9567	1521832
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S568017735-066.cnf	SAT	22.7795	22.7753	1521946
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S72273909-010.cnf	SAT	25.0052	25.0156	1522133
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1017667294-044.cnf	SAT	35.0137	35.0259	1521879
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1818639567-059.cnf	SAT	40.3329	40.3446	1521881
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S315403000-060.cnf	SAT	40.6818	40.6945	1521806
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S599916448-096.cnf	SAT	42.7415	42.7565	1522084
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S249585100-059.cnf	SAT	63.1824	63.2081	1521799
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S211141966-058.cnf	SAT	69.9304	70.0838	1521830
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S566590366-099.cnf	SAT	70.9162	70.936	1521877
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1611899384-022.cnf	SAT	72.48	72.504	1521836
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1018145191-052.cnf	SAT	118.379	118.415	1521831
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S962875623-008.cnf	SAT	171.415	171.476	1521829
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf	SAT	172.905	172.943	1521944
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1253795703-015.cnf	SAT	178.901	178.967	1521822
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S501150091-001.cnf	SAT	187.281	187.329	1521789
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1313163883-027.cnf	SAT	187.303	187.362	1521838
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2142489608-055.cnf	SAT	187.86	187.913	1522092
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1797123396-073.cnf	SAT	195.311	195.375	1521804
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S74035269-088.cnf	SAT	211.106	211.183	1521882
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S144924920-056.cnf	SAT	214.68	214.756	1521818
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1185462553-011.cnf	SAT	215.542	215.627	1521808
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S115851319-100.cnf	SAT	233.346	233.423	1521810
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1500472284-060.cnf	SAT	235.128	235.205	1521835
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S251246256-047.cnf	SAT	315.455	315.548	1521800
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1912214877-051.cnf	SAT	342.468	342.567	1521812
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S2054922493-058.cnf	SAT	344.932	345.043	1521811
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S814638510-058.cnf	SAT	363.506	363.624	1521884
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1724014998-099.cnf	SAT	400.975	401.074	1521807
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1284372491-036.cnf	SAT	403.741	403.882	1521792
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1183359164-025.cnf	SAT	413.652	413.792	1521805
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf	SAT	423	423.11	1521942
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S155821307-034.cnf	SAT	469.513	469.646	1521817
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S906020180-093.cnf	SAT	485.432	485.56	1521947
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S139794312-098.cnf	SAT	492.227	492.409	1521948
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1543261951-042.cnf	SAT	554.014	554.16	1521869
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1788451776-008.cnf	SAT	603.952	604.223	1521824
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf	SAT	615.816	615.951	1521921
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S612955126-075.cnf	SAT	665.447	665.617	1521940
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1906075351-024.cnf	SAT	673.473	673.721	1521880
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1353769076-009.cnf	SAT	762.375	762.653	1521801
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1119648091-064.cnf	SAT	817.602	817.812	1521828
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1085378176-050.cnf	SAT	825.375	825.65	1521888
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S661850551-087.cnf	SAT	872.605	872.815	1521825
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S762724712-048.cnf	SAT	910.615	910.946	1521920
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf	SAT	912.654	912.96	1521924
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1748152762-086.cnf	SAT	1051.38	1051.71	1521803
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S743448446-027.cnf	SAT	1108.21	1108.53	1521826
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2088224617-083.cnf	SAT	1109.39	1109.64	1521791

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S91288590-071.cnf	? (TO)	1200.01	1200.31	1521874
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S2007898659-069.cnf	? (TO)	1200.01	1200.31	1522227
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S839302453-094.cnf	? (TO)	1200.01	1200.41	1521911
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S195213520-027.cnf	? (TO)	1200.01	1200.31	1521909
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1606932551-072.cnf	? (TO)	1200.01	1200.31	1522201
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1758422766-080.cnf	? (TO)	1200.01	1200.31	1522076
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1916972979-060.cnf	? (TO)	1200.01	1200.41	1521989
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S914323646-060.cnf	? (TO)	1200.01	1200.31	1521966
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S729526068-046.cnf	? (TO)	1200.01	1200.71	1522220
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S21800963-085.cnf	? (TO)	1200.01	1200.31	1521905
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1388268034-092.cnf	? (TO)	1200.01	1200.31	1521813
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S2124311399-085.cnf	? (TO)	1200.02	1200.31	1521823
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S318878687-017.cnf	? (TO)	1200.02	1200.41	1521844
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1694258328-099.cnf	? (TO)	1200.02	1200.31	1522230
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S592525179-032.cnf	? (TO)	1200.02	1200.41	1521870
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S999404609-010.cnf	? (TO)	1200.02	1200.31	1522231
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1573578038-005.cnf	? (TO)	1200.02	1200.31	1521819
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1746008863-010.cnf	? (TO)	1200.02	1200.31	1522224
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1588298513-036.cnf	? (TO)	1200.02	1200.31	1521852
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1564075794-028.cnf	? (TO)	1200.02	1200.31	1522206
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S492033085-065.cnf	? (TO)	1200.02	1200.31	1522197
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S820736259-091.cnf	? (TO)	1200.02	1200.41	1522174
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S531507935-068.cnf	? (TO)	1200.02	1200.31	1522168
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1602291491-023.cnf	? (TO)	1200.02	1200.41	1522150
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1826325374-100.cnf	? (TO)	1200.02	1200.41	1522141
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1266438269-016.cnf	? (TO)	1200.02	1200.41	1522088
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S2119656249-086.cnf	? (TO)	1200.02	1200.41	1521979
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S289069074-070.cnf	? (TO)	1200.02	1200.41	1522070
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1481598919-023.cnf	? (TO)	1200.02	1200.31	1522016
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1050568800-025.cnf	? (TO)	1200.02	1200.31	1522004
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S918173205-035.cnf	? (TO)	1200.02	1200.31	1522011
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S975048338-088.cnf	? (TO)	1200.02	1200.31	1522176
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S2070759512-014.cnf	? (TO)	1200.02	1200.31	1521974
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf	? (TO)	1200.02	1200.41	1521965
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf	? (TO)	1200.02	1200.41	1521922
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1394036608-091.cnf	? (TO)	1200.03	1200.41	1522160
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1334593800-018.cnf	? (TO)	1200.03	1200.41	1521820
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S420719158-080.cnf	? (TO)	1200.03	1200.41	1521967
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S149116968-021.cnf	? (TO)	1200.03	1199.91	1522151
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1086008090-058.cnf	? (TO)	1200.03	1200.31	1522018
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S2044894925-062.cnf	? (TO)	1200.03	1200.41	1521916
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1211704640-033.cnf	? (TO)	1200.03	1200.61	1522006
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S367138237-029.cnf	? (TO)	1200.03	1199.91	1522241
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1703611043-077.cnf	? (TO)	1200.03	1200.51	1522061
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S596342014-039.cnf	? (TO)	1200.03	1200.31	1522164
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S541865505-057.cnf	? (TO)	1200.04	1200.41	1521883
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1350958473-082.cnf	? (TO)	1200.04	1200.41	1522195
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S1750991629-037.cnf	? (TO)	1200.04	1200.41	1522178
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S680239195-053.cnf	? (TO)	1200.04	1200.41	1522244
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S2140929154-062.cnf	? (TO)	1200.04	1200.41	1521853
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1629955917-055.cnf	? (TO)	1200.04	1200.31	1521999
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S400162545-095.cnf	? (TO)	1200.04	1200.41	1522089
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S785082413-028.cnf	? (TO)	1200.04	1200.41	1521996
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S45173584-020.cnf	? (TO)	1200.04	1200.41	1521796
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1171422074-087.cnf	? (TO)	1200.04	1200.41	1522087
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S884764237-004.cnf	? (TO)	1200.04	1200.41	1522072
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S578339356-013.cnf	? (TO)	1200.04	1200.41	1522010
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1070443005-075.cnf	? (TO)	1200.04	1200.41	1522015
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S2025517367-061.cnf	? (TO)	1200.04	1200.31	1522239
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1249441590-066.cnf	? (TO)	1200.04	1200.41	1522226
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S859578263-029.cnf	? (TO)	1200.04	1200.41	1521904
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S285229208-001.cnf	? (TO)	1200.04	1200.41	1522215
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S457856978-061.cnf	? (TO)	1200.04	1200.41	1522211
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S108799362-035.cnf	? (TO)	1200.05	1200.41	1522062
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S125259973-020.cnf	? (TO)	1200.05	1200.51	1522188
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1580204273-012.cnf	? (TO)	1200.05	1200.41	1522235
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S799705985-049.cnf	? (TO)	1200.05	1200.41	1522146
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1700363952-014.cnf	? (TO)	1200.05	1200.51	1522233
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S2051339669-029.cnf	? (TO)	1200.05	1200.41	1521846
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S857870897-089.cnf	? (TO)	1200.05	1200.41	1522082
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1983754128-073.cnf	? (TO)	1200.05	1200.41	1522229
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S266028630-005.cnf	? (TO)	1200.05	1200.41	1521851
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S502087726-095.cnf	? (TO)	1200.05	1200.41	1522238
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1028159446-096.cnf	? (TO)	1200.05	1200.41	1522242
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1854680784-082.cnf	? (TO)	1200.05	1200.31	1522159
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1136141672-041.cnf	? (TO)	1200.05	1200.41	1522166
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1040507052-028.cnf	? (TO)	1200.05	1200.51	1521797
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S2034442711-054.cnf	? (TO)	1200.05	1200.51	1522214
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1818347447-078.cnf	? (TO)	1200.05	1200.51	1522081
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S356738975-073.cnf	? (TO)	1200.05	1200.41	1522223
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2125310989-062.cnf	? (TO)	1200.05	1200.61	1522074
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S358640743-023.cnf	? (TO)	1200.05	1200.41	1522073
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S28271012-055.cnf	? (TO)	1200.05	1200.51	1522169
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1441840675-053.cnf	? (TO)	1200.05	1200.41	1521816
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1857201443-029.cnf	? (TO)	1200.05	1200.41	1521939
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S179568577-034.cnf	? (TO)	1200.05	1200.51	1522172
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1738391204-028.cnf	? (TO)	1200.05	1200.51	1521827
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S305156909-031.cnf	? (TO)	1200.06	1200.51	1522248
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1136894336-075.cnf	? (TO)	1200.06	1200.41	1521854
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1766907733-036.cnf	? (TO)	1200.06	1199.91	1521842
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1295462378-089.cnf	? (TO)	1200.06	1200.41	1521866
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf	? (TO)	1200.06	1200.41	1521919
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1318210982-002.cnf	? (TO)	1200.06	1200.41	1522067
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S565564805-059.cnf	? (TO)	1200.06	1200.41	1522165
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1736471436-014.cnf	? (TO)	1200.06	1200.51	1521802
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1954748117-061.cnf	? (TO)	1200.06	1200.51	1521809
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1695726805-003.cnf	? (TO)	1200.06	1200.51	1521856
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S870840347-014.cnf	? (TO)	1200.06	1200.41	1521885
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1618450766-063.cnf	? (TO)	1200.06	1200.51	1521906
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S500426663-025.cnf	? (TO)	1200.06	1200.51	1521917
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1339275181-076.cnf	? (TO)	1200.06	1200.41	1521929
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S51132115-023.cnf	? (TO)	1200.06	1200.41	1521952
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S56507352-034.cnf	? (TO)	1200.06	1200.51	1521971
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S15767910-042.cnf	? (TO)	1200.06	1200.51	1521975
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1251522734-073.cnf	? (TO)	1200.06	1200.41	1521987
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S291433416-025.cnf	? (TO)	1200.06	1200.71	1521997
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S845966893-046.cnf	? (TO)	1200.06	1199.91	1521994
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1221988902-087.cnf	? (TO)	1200.06	1200.41	1522003
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1357790788-074.cnf	? (TO)	1200.06	1200.41	1522008
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S2083778933-085.cnf	? (TO)	1200.06	1200.41	1522014
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1723900160-044.cnf	? (TO)	1200.06	1200.41	1522017
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1559668863-058.cnf	? (TO)	1200.06	1200.51	1522059
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S528193823-041.cnf	? (TO)	1200.06	1200.41	1522060
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1900558626-069.cnf	? (TO)	1200.06	1199.91	1522077
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S254828838-055.cnf	? (TO)	1200.06	1200.51	1522079
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1796956909-029.cnf	? (TO)	1200.06	1200.51	1522083
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1610649331-094.cnf	? (TO)	1200.06	1200.51	1522086
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1718100253-004.cnf	? (TO)	1200.06	1200.41	1522095
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S645163129-012.cnf	? (TO)	1200.06	1200.41	1522142
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1735544520-075.cnf	? (TO)	1200.06	1200.41	1522148
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1331813943-033.cnf	? (TO)	1200.06	1200.51	1522155
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S697681291-080.cnf	? (TO)	1200.06	1200.41	1522152
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1089910525-056.cnf	? (TO)	1200.06	1200.51	1522154
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S816613570-013.cnf	? (TO)	1200.06	1200.41	1522179
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1039370030-037.cnf	? (TO)	1200.06	1200.41	1522182
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1375576340-029.cnf	? (TO)	1200.06	1200.41	1522185
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S2037268960-098.cnf	? (TO)	1200.06	1200.41	1522200
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1250067652-054.cnf	? (TO)	1200.06	1200.41	1522202
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1457384322-029.cnf	? (TO)	1200.06	1200.41	1522208
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1892788676-021.cnf	? (TO)	1200.06	1200.41	1522219
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S190880026-038.cnf	? (TO)	1200.06	1200.51	1522228
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S2043187304-036.cnf	? (TO)	1200.06	1200.51	1522236
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1369720750-015.cnf	? (TO)	1200.06	1200.41	1522240
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1906521511-089.cnf	? (TO)	1200.06	1199.91	1522246
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S23373420-028.cnf	? (TO)	1200.06	1200.41	1522247
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S287307030-088.cnf	? (TO)	1200.07	1200.41	1522139
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1554646792-012.cnf	? (TO)	1200.07	1200.51	1521931
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1410489780-030.cnf	? (TO)	1200.07	1200.51	1521992
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1813642436-099.cnf	? (TO)	1200.07	1200.51	1521935
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S122462268-047.cnf	? (TO)	1200.07	1200.41	1521990
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S638051453-097.cnf	? (TO)	1200.07	1200.41	1522204
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S942507261-096.cnf	? (TO)	1200.07	1200.41	1521857
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1256544997-019.cnf	? (TO)	1200.07	1200.41	1521936
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1563412474-059.cnf	? (TO)	1200.07	1200.51	1522193
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S162003179-087.cnf	? (TO)	1200.07	1200.51	1521949
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1550223396-041.cnf	? (TO)	1200.07	1200.51	1521964
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1141213963-005.cnf	? (TO)	1200.07	1200.41	1521961
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S517464300-073.cnf	? (TO)	1200.07	1200.51	1522170
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1127319144-058.cnf	? (TO)	1200.07	1200.51	1521848
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S688804305-073.cnf	? (TO)	1200.07	1200.41	1521914
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S439075063-023.cnf	? (TO)	1200.07	1200.51	1521910
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1279315365-067.cnf	? (TO)	1200.07	1200.41	1521960
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1007745655-097.cnf	? (TO)	1200.07	1200.41	1522212
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1378953985-075.cnf	? (TO)	1200.07	1200.51	1521863
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2141146009-040.cnf	? (TO)	1200.07	1200.41	1522071
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1077410718-040.cnf	? (TO)	1200.07	1200.51	1522207
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S2065372010-022.cnf	? (TO)	1200.07	1200.41	1522065
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S703461330-034.cnf	? (TO)	1200.07	1200.41	1522064
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1299934729-015.cnf	? (TO)	1200.07	1200.51	1522096
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1159067237-017.cnf	? (TO)	1200.07	1200.51	1522225
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1802626390-033.cnf	? (TO)	1200.08	1200.51	1521864
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1989329161-018.cnf	? (TO)	1200.08	1200.41	1521958
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1811295114-056.cnf	? (TO)	1200.08	1200.41	1521963
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1353993612-015.cnf	? (TO)	1200.08	1200.41	1522194
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S632066493-060.cnf	? (TO)	1200.08	1200.41	1521985
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1524836866-036.cnf	? (TO)	1200.08	1200.41	1522217
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S387386125-069.cnf	? (TO)	1200.08	1200.41	1522181
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1377066099-004.cnf	? (TO)	1200.08	1200.41	1522222
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S688769362-007.cnf	? (TO)	1200.08	1200.51	1522177
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S367498571-066.cnf	? (TO)	1200.08	1200.41	1522000
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S486178562-011.cnf	? (TO)	1200.08	1200.41	1522157
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S2099753268-053.cnf	? (TO)	1200.08	1200.41	1522063
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf	? (TO)	1200.08	1200.51	1521899
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S197260469-019.cnf	? (TO)	1200.08	1200.41	1522068
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S184801254-020.cnf	? (TO)	1200.08	1200.41	1522069
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S257485978-084.cnf	? (TO)	1200.08	1200.41	1521984
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S907861678-077.cnf	? (TO)	1200.08	1200.51	1521867
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1525918493-008.cnf	? (TO)	1200.08	1200.51	1522091
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S327274323-044.cnf	? (TO)	1200.08	1200.41	1521878
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S745855171-090.cnf	? (TO)	1200.08	1200.41	1521982
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2058039218-006.cnf	? (TO)	1200.08	1200.41	1522097
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1731702106-010.cnf	? (TO)	1200.08	1200.41	1522145
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S900957093-043.cnf	? (TO)	1200.08	1200.41	1522147
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1510966387-018.cnf	? (TO)	1200.08	1200.41	1521972
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S572248576-042.cnf	? (TO)	1200.08	1200.41	1522161
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1773173258-010.cnf	? (TO)	1200.08	1200.41	1521968
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1332146811-066.cnf	? (TO)	1200.08	1200.51	1521959
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S322778960-054.cnf	? (TO)	1200.08	1200.51	1521956
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S260616787-042.cnf	? (TO)	1200.08	1200.41	1522237
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S131938947-014.cnf	? (TO)	1200.08	1200.41	1522186
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S253750560-086.cnf	? (TO)	1200.08	1200.41	1522245
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S393462637-097.cnf	? (TO)	1200.08	1200.41	1522190
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1195310117-069.cnf	? (TO)	1200.08	1200.41	1521934
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1598052044-078.cnf	? (TO)	1200.08	1200.51	1522203
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S375588147-050.cnf	? (TO)	1200.08	1200.41	1521847
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1961115887-052.cnf	? (TO)	1200.08	1200.51	1521839
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S678706275-057.cnf	? (TO)	1200.08	1200.51	1521821
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1175850950-017.cnf	? (TO)	1200.08	1200.41	1522210
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1549575664-035.cnf	? (TO)	1200.08	1200.41	1521840
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1178729443-051.cnf	? (TO)	1200.08	1200.41	1521871
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S956556686-037.cnf	? (TO)	1200.08	1200.41	1521868
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1864473452-037.cnf	? (TO)	1200.08	1200.41	1521873
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S583379276-046.cnf	? (TO)	1200.08	1200.41	1522209
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S268463339-081.cnf	? (TO)	1200.08	1200.41	1521908
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S595075179-058.cnf	? (TO)	1200.08	1200.41	1521927
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1736056721-032.cnf	? (TO)	1200.09	1200.41	1521980
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf	? (TO)	1200.09	1200.41	1521969
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S1154116462-097.cnf	? (TO)	1200.09	1200.41	1522175
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1726986756-053.cnf	? (TO)	1200.09	1200.51	1521954
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1322153318-039.cnf	? (TO)	1200.09	1200.71	1521794
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1807135406-059.cnf	? (TO)	1200.09	1200.51	1522234
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S547165541-056.cnf	? (TO)	1200.09	1200.41	1521886
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S104085281-076.cnf	? (TO)	1200.09	1200.51	1522180
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S2104277852-078.cnf	? (TO)	1200.09	1200.41	1522183
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S882603971-022.cnf	? (TO)	1200.09	1200.51	1521814
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf	? (TO)	1200.09	1200.41	1521901
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S2082290699-014.cnf	? (TO)	1200.09	1200.41	1521955
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S444219303-098.cnf	? (TO)	1200.09	1200.41	1522189
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S418505498-026.cnf	? (TO)	1200.09	1200.41	1522187
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S332478069-041.cnf	? (TO)	1200.09	1200.41	1522192
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S2126130224-030.cnf	? (TO)	1200.09	1200.41	1521953
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S310111511-029.cnf	? (TO)	1200.09	1200.41	1521937
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1775841359-070.cnf	? (TO)	1200.09	1200.41	1522198
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf	? (TO)	1200.09	1200.51	1521900
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1850138369-006.cnf	? (TO)	1200.09	1200.41	1521795
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S17277413-072.cnf	? (TO)	1200.09	1200.51	1521951
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf	? (TO)	1200.09	1200.41	1521926
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2015297474-031.cnf	? (TO)	1200.09	1200.41	1521790
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S648763183-023.cnf	? (TO)	1200.09	1200.41	1521930
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S522321670-058.cnf	? (TO)	1200.09	1200.51	1521849
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf	? (TO)	1200.09	1200.41	1521912
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S193214747-044.cnf	? (TO)	1200.09	1200.51	1521845
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1331382449-070.cnf	? (TO)	1200.09	1200.51	1521998
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1305875336-097.cnf	? (TO)	1200.09	1200.51	1521991
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S35186747-095.cnf	? (TO)	1200.09	1200.51	1522002
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S159251645-087.cnf	? (TO)	1200.09	1200.51	1522158
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S515665970-021.cnf	? (TO)	1200.09	1200.51	1522009
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S102181364-052.cnf	? (TO)	1200.09	1200.41	1521986
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1810287895-075.cnf	? (TO)	1200.09	1200.41	1522221
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S377647456-019.cnf	? (TO)	1200.09	1200.61	1521978
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1553390498-064.cnf	? (TO)	1200.09	1200.41	1522184
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf	? (TO)	1200.09	1200.41	1521915
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S207294319-099.cnf	? (TO)	1200.09	1200.41	1522007
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1772751287-054.cnf	? (TO)	1200.09	1200.51	1522066
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf	? (TO)	1200.09	1200.51	1521903
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S915600698-006.cnf	? (TO)	1200.09	1200.41	1522218
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1698591437-083.cnf	? (TO)	1200.09	1200.51	1522001
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S712437980-063.cnf	? (TO)	1200.09	1200.41	1521993
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S441484366-048.cnf	? (TO)	1200.09	1200.51	1521858
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S285713182-059.cnf	? (TO)	1200.09	1200.51	1521876
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S914952752-019.cnf	? (TO)	1200.09	1200.41	1521983
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1551099861-042.cnf	? (TO)	1200.09	1200.41	1522085
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S905029262-097.cnf	? (TO)	1200.09	1200.41	1522093
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1394630553-009.cnf	? (TO)	1200.09	1200.51	1522094
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1249224492-031.cnf	? (TO)	1200.09	1200.51	1521861
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1736708510-089.cnf	? (TO)	1200.09	1200.41	1522098
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1339364096-048.cnf	? (TO)	1200.09	1200.51	1522140
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1803805764-016.cnf	? (TO)	1200.09	1200.51	1522144
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1897376969-026.cnf	? (TO)	1200.09	1200.51	1522149
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S948914005-013.cnf	? (TO)	1200.09	1200.41	1521850
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S822708255-070.cnf	? (TO)	1200.09	1200.41	1521933
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S221596758-009.cnf	? (TO)	1200.09	1200.41	1521973
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S886725553-011.cnf	? (TO)	1200.09	1200.41	1521841
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S579205610-033.cnf	? (TO)	1200.09	1200.41	1521913
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1628763900-004.cnf	? (TO)	1200.09	1200.41	1522213
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S121765931-081.cnf	? (TO)	1200.09	1200.41	1522162
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S374947955-075.cnf	? (TO)	1200.09	1200.51	1522171
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S267191961-079.cnf	? (TO)	1200.1	1200.41	1522012
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf	? (TO)	1200.1	1200.51	1521907
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1845944120-011.cnf	? (TO)	1200.1	1200.41	1521865
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S2059720696-001.cnf	? (TO)	1200.1	1200.51	1521887
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf	? (TO)	1200.1	1200.51	1521938
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S452919966-071.cnf	? (TO)	1200.1	1200.41	1521855
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S2061874746-039.cnf	? (TO)	1200.1	1200.51	1522173
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S274764005-003.cnf	? (TO)	1200.1	1200.51	1521918
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1419235015-056.cnf	? (TO)	1200.1	1200.41	1521950
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S853819067-006.cnf	? (TO)	1200.1	1200.51	1522205
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf	? (TO)	1200.1	1200.41	1521925
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S80067159-015.cnf	? (TO)	1200.1	1200.51	1522013
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S650356257-052.cnf	? (TO)	1200.1	1200.41	1521977
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S559732886-091.cnf	? (TO)	1200.1	1200.41	1521995
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S432776913-077.cnf	? (TO)	1200.1	1200.41	1521872
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1294530132-092.cnf	? (TO)	1200.1	1200.51	1521932
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1992353905-004.cnf	? (TO)	1200.1	1200.41	1521859
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S279212213-020.cnf	? (TO)	1200.1	1200.51	1521902
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S704699380-099.cnf	? (TO)	1200.1	1200.51	1521793
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1420449214-092.cnf	? (TO)	1200.1	1200.41	1522005
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S821759333-092.cnf	? (TO)	1200.1	1200.51	1521923
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2054549948-012.cnf	? (TO)	1200.1	1200.41	1521798
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S219795104-099.cnf	? (TO)	1200.1	1200.51	1521976
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1213077873-067.cnf	? (TO)	1200.1	1200.41	1522143
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1568578307-064.cnf	? (TO)	1200.1	1200.41	1521843
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1049921489-034.cnf	? (TO)	1200.1	1200.41	1521860
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1048138627-064.cnf	? (TO)	1200.1	1200.51	1522153
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S928666993-098.cnf	? (TO)	1200.1	1200.41	1522232
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1035441377-058.cnf	? (TO)	1200.1	1200.41	1522196
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1540921235-015.cnf	? (TO)	1200.1	1200.51	1522156
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1404929091-050.cnf	? (TO)	1200.1	1200.41	1522199
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1849057034-020.cnf	? (TO)	1200.1	1200.61	1521875
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S2083487609-068.cnf	? (TO)	1200.11	1200.51	1521988
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S2142794689-088.cnf	? (TO)	1200.11	1200.51	1522080
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2088061175-062.cnf	? (TO)	1200.11	1200.51	1521962
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S404185236-001.cnf	? (TO)	1200.11	1200.61	1522243
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S339800239-026.cnf	? (TO)	1200.11	1200.51	1521957
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1352224201-070.cnf	? (TO)	1200.11	1200.51	1521862
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S2096960818-049.cnf	? (TO)	1200.11	1200.41	1522167
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S287522321-032.cnf	? (TO)	1200.11	1200.51	1522191
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1971658345-089.cnf	? (TO)	1200.11	1200.51	1521981
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S805234188-084.cnf	? (TO)	1200.11	1200.41	1521815
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1528023000-027.cnf	? (TO)	1200.11	1200.41	1522163
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S926047226-039.cnf	? (TO)	1200.11	1200.41	1522216
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S826724848-048.cnf	? (TO)	1200.11	1200.51	1521970

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

Result page for solver iPAWS 2009-03-22 (incomplete)

Category "applications instances" (APPLICATION)

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

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

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

Category "crafted instances" (CRAFTED)

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

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

Solver was terminated by a signal (2 runs) [Show/Hide]

Category "random instances" (RANDOM)

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

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