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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	0.795878	0.797245	1718829

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	12.3421	12.3457	1722119
industrial/grieu/ vmpc_24.cnf	SAT	13.211	13.2142	1718517
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT	23.8984	23.9074	1721719
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	SAT	53.1329	53.1645	1722019
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	58.4681	58.485	1721319
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	SAT	67.3798	67.4141	1722469
industrial/grieu/ vmpc_28.cnf	SAT	511.376	511.526	1718621
vange-col-abb313GPIA-9-c.cnf	SAT	1092.73	1093.04	1720337
industrial/grieu/ vmpc_25.cnf	SAT	1140.39	1140.73	1718361

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	?	0	0.00533004	1719193
velev-pipe-sat-1.0-b10.cnf	?	0	0.00531007	1723325
industrial/narain/ clauses-8.cnf	?	0	0.00533988	1718777
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	?	0.000999	0.00528702	1719349
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	?	0.000999	0.00507406	1719245
velev-pipe-sat-1.0-b7.cnf	?	0.000999	0.00501012	1723169
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	?	0.000999	0.00562698	1563419
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	?	0.000999	0.00527105	1718933
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	?	0.000999	0.00531312	1719401

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/bitverif/ minor/minor032.cnf	? (TO)	1200.01	1200.31	1553227
manol-pipe-g6bi.cnf	? (TO)	1200.01	1200.31	1723741
goldb-heqc-i10mul.cnf	? (TO)	1200.01	1200.31	1723429
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1200.01	1200.31	1716957
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	1200.02	1200.41	1722569
simon-s03-w08-15.cnf	? (TO)	1200.02	1200.62	1719765
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	? (TO)	1200.02	1200.52	1581747
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	1200.02	1200.41	1557491
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.02	1200.41	1717009
goldb-heqc-term1mul.cnf	? (TO)	1200.02	1200.31	1723637
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	1200.03	1200.41	1724209
manol-pipe-c7bidw_i.cnf	? (TO)	1200.03	1200.52	1724261
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1200.03	1200.41	1554683
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (TO)	1200.03	1200.43	1715969
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	? (TO)	1200.03	1200.31	1563003
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200.03	1200.63	1715865
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (TO)	1200.03	1200.41	1553487
cmu-bmc-barrel6.cnf	? (TO)	1200.03	1199.91	1719557
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	? (TO)	1200.04	1200.52	1582735
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (TO)	1200.04	1200.73	1580083
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	? (TO)	1200.04	1200.82	1578211
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.04	1200.43	1716541
manol-pipe-c10nid_i.cnf	? (TO)	1200.04	1200.52	1720753
manol-pipe-g10id.cnf	? (TO)	1200.04	1200.72	1723533
APPLICATIONS/aprove09/ AProVE09-19.cnf	? (TO)	1200.04	1200.41	1560923
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.04	1200.53	1716021
schup-l2s-abp4-1-k31.cnf	? (TO)	1200.04	1200.41	1719609
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	1200.04	1200.41	1556555
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	1200.04	1200.34	1719141
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1200.04	1200.33	1717373
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1200.05	1200.34	1717165
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	? (TO)	1200.05	1200.41	1553799
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1200.05	1200.41	1717113
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	1200.05	1200.41	1556035
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	? (TO)	1200.05	1200.51	1718257
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	? (TO)	1200.05	1200.62	1579407
industrial/babic/hsatv17/ hsat_vc11803.cnf	? (TO)	1200.05	1200.43	1717997
APPLICATIONS/aprove09/ AProVE09-21.cnf	? (TO)	1200.05	1200.41	1560091
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	? (TO)	1200.05	1200.41	1553279
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	1200.05	1200.41	1557699
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	? (TO)	1200.05	1200.52	1581955
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	1200.05	1200.63	1719297
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	? (TO)	1200.05	1200.42	1579459
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1200.05	1200.63	1581487
manol-pipe-c6nidw_i.cnf	? (TO)	1200.05	1200.41	1724469
mizh-sha0-36-4.cnf	? (TO)	1200.05	1200.41	1720233
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.05	1200.63	1716073
manol-pipe-f9b.cnf	? (TO)	1200.05	1200.52	1719973
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200.05	1200.41	1718101
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	? (TO)	1200.05	1200.41	1563159
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	? (TO)	1200.05	1200.42	1716333
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	1200.05	1200.51	1559311
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.05	1200.42	1716645
mizh-sha0-36-3.cnf	? (TO)	1200.05	1200.41	1719817
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	1200.05	1200.41	1723019
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	1200.05	1200.64	1718985
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	? (TO)	1200.05	1200.51	1557595
APPLICATIONS/aprove09/ AProVE09-24.cnf	? (TO)	1200.06	1200.41	1559935
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	? (TO)	1200.06	1200.41	1562691
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1200.06	1200.51	1556347
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (TO)	1200.06	1200.34	1580759
velev-pipe-uns-1.0-8.cnf	? (TO)	1200.06	1200.73	1724417
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200.06	1200.62	1716177
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	? (TO)	1200.06	1200.41	1558427
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1200.06	1200.41	1559623
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	? (TO)	1200.06	1200.51	1556607
APPLICATIONS/aprove09/ AProVE09-05.cnf	? (TO)	1200.06	1207.01	1560039
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1200.06	1200.52	1717321
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	? (TO)	1200.06	1200.41	1717477
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	? (TO)	1200.06	1200.42	1563367
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.06	1200.61	1718465
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	? (TO)	1200.06	1200.41	1553331
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1200.06	1200.52	1553383
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1200.06	1200.52	1553851
goldb-heqc-frg1mul.cnf	? (TO)	1200.06	1200.51	1719661
hoons-vbmc-lucky7.cnf	? (TO)	1200.06	1200.41	1719869
schup-l2s-motst-2-k315.cnf	? (TO)	1200.06	1200.35	1720025
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	? (TO)	1200.06	1200.43	1581331
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	? (TO)	1200.06	1200.51	1563107
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	1200.06	1207.04	1555151
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	1200.06	1200.51	1556087
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	1200.06	1200.41	1721669
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	1200.06	1200.41	1721969
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	1200.06	1207.01	1556503
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1200.06	1200.61	1722419
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	1200.07	1200.51	1558063
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	? (TO)	1200.07	1200.41	1562899
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.07	1200.43	1716281
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	1200.07	1200.53	1581071
velev-engi-uns-1.0-4nd.cnf	? (TO)	1200.07	1200.51	1720129
manol-pipe-f10ni.cnf	? (TO)	1200.07	1200.43	1724053
manol-pipe-g10bidw.cnf	? (TO)	1200.07	1200.42	1723273
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1200.07	1207.02	1556243
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (TO)	1200.07	1200.71	1554423
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	? (TO)	1200.07	1200.41	1562743
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	? (TO)	1200.07	1200.41	1554579
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	1200.07	1207.01	1556711
een-tip-sat-texas-tp-5e.cnf	? (TO)	1200.07	1200.41	1720909
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	? (TO)	1200.07	1200.63	1580135
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	? (TO)	1200.07	1200.43	1577483
velev-pipe-o-uns-1.0-7.cnf	? (TO)	1200.07	1200.42	1723897
APPLICATIONS/aprove09/ AProVE09-17.cnf	? (TO)	1200.07	1200.41	1559727
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	1200.07	1200.51	1722769
industrial/grieu/ vmpc_29.cnf	? (TO)	1200.07	1200.51	1718569
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	1200.07	1200.41	1722169
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	1200.07	1200.41	1721169
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	? (TO)	1200.07	1200.43	1717893
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	? (TO)	1200.07	1200.42	1717633
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	? (TO)	1200.07	1200.53	1717529
APPLICATIONS/aprove09/ AProVE09-13.cnf	? (TO)	1200.07	1200.51	1560299
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	1200.07	1200.51	1717061
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (TO)	1200.07	1200.51	1555255
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	? (TO)	1200.07	1200.63	1577691
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	1200.07	1200.41	1559363
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	? (TO)	1200.07	1200.41	1559207
schup-l2s-bc56s-1-k391.cnf	? (TO)	1200.07	1200.45	1719921
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (TO)	1200.08	1200.53	1578783
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.08	1200.61	1718205
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	1200.08	1200.41	1722619
simon-s02b-dp11u10.cnf	? (TO)	1200.08	1200.41	1723845
schup-l2s-guid-1-k56.cnf	? (TO)	1200.08	1200.41	1724105
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1200.08	1200.41	1716905
industrial/babic/hsatv17/ hsat_vc11813.cnf	? (TO)	1200.08	1200.43	1717945
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	? (TO)	1200.08	1200.41	1718309
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	1200.08	1200.45	1719037
cmu-bmc-longmult15.cnf	? (TO)	1200.08	1200.41	1720649
goldb-heqc-alu4mul.cnf	? (TO)	1200.08	1200.41	1721013
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	1200.08	1200.61	1721419
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	1200.08	1200.51	1721769
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	1200.08	1200.51	1722819
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	1200.08	1200.41	1722969
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	1200.08	1200.41	1723119
een-tip-uns-nusmv-t5.B.cnf	? (TO)	1200.08	1200.41	1723377
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	? (TO)	1200.08	1200.51	1554111
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1200.08	1200.51	1557959
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	? (TO)	1200.08	1200.41	1555463
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1200.08	1200.63	1582163
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (TO)	1200.08	1200.43	1582007
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	? (TO)	1200.08	1200.43	1581903
APPLICATIONS/bitverif/ smulo/smulo016.cnf	? (TO)	1200.08	1200.51	1554839
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	1200.08	1200.53	1581591
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (TO)	1200.08	1200.43	1580239
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (TO)	1200.08	1200.41	1563575
manol-pipe-c9.cnf	? (TO)	1200.08	1200.41	1724365
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	1200.08	1200.41	1556451
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	1200.08	1200.41	1558999
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	? (TO)	1200.08	1200.61	1562795
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	? (TO)	1200.08	1200.41	1562639
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.09	1200.41	1717217
APPLICATIONS/bitverif/ minor/minor064.cnf	? (TO)	1200.09	1200.41	1553175
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	? (TO)	1200.09	1200.51	1718153
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	? (TO)	1200.09	1200.53	1717425
APPLICATIONS/aprove09/ AProVE09-22.cnf	? (TO)	1200.09	1200.41	1560455
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	? (TO)	1200.09	1200.42	1579875
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	1200.09	1200.53	1579823
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	1200.09	1200.54	1717789
APPLICATIONS/aprove09/ AProVE09-15.cnf	? (TO)	1200.09	1200.61	1560559
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.09	1200.41	1717841
APPLICATIONS/aprove09/ AProVE09-07.cnf	? (TO)	1200.09	1200.51	1560611
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	? (TO)	1200.09	1200.43	1577899
APPLICATIONS/aprove09/ AProVE09-11.cnf	? (TO)	1200.09	1200.51	1560871
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	1200.09	1200.41	1722369
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	? (TO)	1200.09	1200.44	1563627
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (TO)	1200.09	1200.54	1563263
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	? (TO)	1200.09	1200.41	1722269
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1200.09	1200.51	1558011
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	? (TO)	1200.09	1200.64	1563315
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	? (TO)	1200.09	1200.44	1577535
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	? (TO)	1200.09	1200.41	1556763
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	? (TO)	1200.09	1200.41	1723069
manol-pipe-c7nidw.cnf	? (TO)	1200.09	1200.42	1723481
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	? (TO)	1200.09	1200.42	1715709
APPLICATIONS/ bitverif/maxand/maxand064.cnf	? (TO)	1200.09	1200.41	1555619
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	? (TO)	1200.09	1200.41	1563055
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	1200.09	1200.51	1559519
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	? (TO)	1200.09	1200.51	1557803
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	? (TO)	1200.09	1200.15	1577795
aloul-chnl11-13.cnf	? (TO)	1200.09	1200.41	1720389
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	1200.09	1200.41	1558843
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.09	1200.43	1716489
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	1200.09	1200.42	1554007
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200.09	1200.43	1716593
mizh-md5-47-3.cnf	? (TO)	1200.09	1200.41	1719505
APPLICATIONS/aprove09/ AProVE09-06.cnf	? (TO)	1200.09	1200.51	1559675
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	1200.09	1200.52	1719089
velev-live-uns-2.0-ebuf.cnf	? (TO)	1200.09	1200.41	1723689
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1200.09	1200.41	1722869
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (TO)	1200.09	1200.43	1580343
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	? (TO)	1200.09	1200.41	1563211
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1200.09	1200.41	1557023
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	? (TO)	1200.1	1200.41	1562847
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1200.1	1200.51	1721869
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	1200.1	1200.41	1721269
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	1200.1	1200.51	1721519
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	1200.1	1200.41	1721369
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	? (TO)	1200.1	1200.41	1555047
mizh-md5-48-5.cnf	? (TO)	1200.1	1200.61	1721117
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	? (TO)	1200.1	1200.51	1722519
mizh-sha0-35-3.cnf	? (TO)	1200.1	1200.41	1720701
manol-pipe-c6bidw_i.cnf	? (TO)	1200.1	1200.51	1720285
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.1	1200.41	1718049
goldb-heqc-dalumul.cnf	? (TO)	1200.1	1200.41	1720441
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	1200.1	1200.61	1718881
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.1	1200.51	1718673
industrial/grieu/ vmpc_26.cnf	? (TO)	1200.1	1200.41	1718725
industrial/grieu/ vmpc_30.cnf	? (TO)	1200.1	1200.41	1718413
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	? (TO)	1200.1	1200.42	1563679
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	? (TO)	1200.1	1200.43	1563471
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	? (TO)	1200.1	1200.92	1717685
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	? (TO)	1200.1	1200.52	1717581
APPLICATIONS/aprove09/ AProVE09-08.cnf	? (TO)	1200.1	1200.41	1560715
industrial/fuhs/medium/ AProVE07-16.cnf	? (TO)	1200.1	1200.51	1716853
APPLICATIONS/aprove09/ AProVE09-20.cnf	? (TO)	1200.1	1200.51	1559779
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.1	1199.94	1716749
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1200.1	1200.43	1716229
manol-pipe-g7nidw.cnf	? (TO)	1200.1	1200.41	1724313
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.1	1200.44	1716385
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	? (TO)	1200.1	1200.42	1715657
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	? (TO)	1200.1	1200.43	1577639
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1200.1	1200.41	1559259
simon-s03-fifo8-300.cnf	? (TO)	1200.1	1200.42	1724157
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1200.1	1200.41	1554163
mizh-sha0-36-2.cnf	? (TO)	1200.1	1200.41	1724001
manol-pipe-c10nidw_s.cnf	? (TO)	1200.1	1200.63	1723221
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	? (TO)	1200.1	1200.51	1556815
goldb-heqc-x1mul.cnf	? (TO)	1200.11	1200.41	1719453
manol-pipe-f9n.cnf	? (TO)	1200.11	1200.62	1723949
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	? (TO)	1200.11	1200.64	1577847
APPLICATIONS/ bitverif/minand/minand128.cnf	? (TO)	1200.11	1200.51	1554215
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	? (TO)	1200.11	1200.41	1562951
APPLICATIONS/aprove09/ AProVE09-12.cnf	? (TO)	1200.11	1200.41	1560351
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	1200.11	1200.41	1554735
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.11	1200.53	1716125
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	1200.11	1200.42	1554891
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	1200.11	1200.41	1721219
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (TO)	1200.11	1200.52	1716437
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	1200.11	1200.41	1558219
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	1200.11	1200.41	1558791
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	? (TO)	1200.11	1200.41	1558479
manol-pipe-c10nidw.cnf	? (TO)	1200.11	1200.74	1720077
velev-pipe-o-uns-1.1-6.cnf	? (TO)	1200.11	1200.41	1723585
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	1200.11	1200.43	1715605
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	1200.11	1200.41	1556139
manol-pipe-g10nid.cnf	? (TO)	1200.11	1200.42	1720181
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	? (TO)	1200.11	1200.41	1557075
mizh-md5-47-4.cnf	? (TO)	1200.11	1200.71	1720545
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	1200.11	1200.41	1721819
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.12	1200.52	1716697
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	? (TO)	1200.12	1200.41	1556867
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	? (TO)	1200.12	1200.42	1715917
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1200.12	1200.53	1715813
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1200.12	1200.42	1555879
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200.12	1200.43	1715761
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	? (TO)	1200.12	1200.64	1577587
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1200.12	1200.64	1717737
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	? (TO)	1200.12	1200.53	1578939
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	? (TO)	1200.12	1200.62	1579979
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	? (TO)	1200.12	1200.42	1580551
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	? (TO)	1200.13	1200.83	1580863
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1200.13	1200.54	1580031
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	1200.13	1200.53	1554527
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1200.13	1200.53	1582423
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	? (TO)	1200.14	1200.46	1577743
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1200.14	1200.54	1579355
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	1200.15	1200.57	1563731
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	1200.15	1200.56	1717269

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/aprove09/ AProVE09-03.cnf	Signal 11	0.041992	0.0410761	1560663
APPLICATIONS/aprove09/ AProVE09-10.cnf	Signal 11	0.042992	0.0435351	1560819
industrial/fuhs/medium/ AProVE07-09.cnf	Signal 11	0.042992	0.0436251	1716801
APPLICATIONS/aprove09/ AProVE09-01.cnf	Signal 11	0.043993	0.044051	1560403
APPLICATIONS/aprove09/ AProVE09-25.cnf	Signal 11	0.044992	0.043996	1560143
velev-vliw-uns-4.0-9C1.cnf	Signal 11	0.926858	0.926289	1723793
velev-vliw-uns-4.0-9-i1.cnf	Signal 11	1.59376	1.59311	1719713

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/sgi/ satsgi-n17himBHm20-p0-q146.cnf	SAT	0.016996	0.016103	1734219
CRAFTED/sgi/ satsgi-n18himBHm21-p0-q167.cnf	SAT	0.019996	0.019074	1734369
CRAFTED/sgi/ satsgi-n19himBHm22-p0-q181.cnf	SAT	0.020996	0.0210191	1734119
CRAFTED/sgi/ satsgi-n22himBHm24-p0-q209.cnf	SAT	0.031994	0.033117	1734169
CRAFTED/sgi/ satsgi-n22himBHm25-p0-q229.cnf	SAT	0.034993	0.0351669	1734469
CRAFTED/sgi/ satsgi-n23himBHm25-p0-q219.cnf	SAT	0.035993	0.0371009	1734419
CRAFTED/sgi/ satsgi-n23himBHm27-p0-q251.cnf	SAT	0.039993	0.0406281	1734569
CRAFTED/sgi/ satsgi-n23himBHm26-p0-q248.cnf	SAT	0.040993	0.0408579	1734319
CRAFTED/sgi/ satsgi-n25himBHm27-p0-q251.cnf	SAT	0.050991	0.051188	1734269
CRAFTED/sgi/ satsgi-n25himBHm29-p0-q290.cnf	SAT	0.052991	0.053792	1734619
CRAFTED/sgi/ sgi-difficult4.cnf	SAT	0.05499	0.0555271	1736169
CRAFTED/sgi/ satsgi-n28himBHm30-p0-q333.cnf	SAT	0.068988	0.069007	1734519
CRAFTED/sgi/ sgi-difficult7.cnf	SAT	0.12298	0.123901	1736219
CRAFTED/ramseycube/ Q3inK08.cnf	SAT	1.07084	1.06988	1733019
CRAFTED/parity-games/ instance_n3_i3_pp.cnf	SAT	1.45778	1.45835	1737069
CRAFTED/sgen/sat/ sgen1-sat-140-100.cnf	SAT	1.77673	1.7764	1732369
CRAFTED/parity-games/ instance_n3_i3_pp_ci_ce.cnf	SAT	2.72758	2.72841	1736419
CRAFTED/sgi/ new-difficult-21-168-19-90.cnf	SAT	6.68798	6.69031	1738170
CRAFTED/sgen/sat/ sgen1-sat-160-100.cnf	SAT	10.7754	10.7789	1732469
CRAFTED/sgi/ new-difficult-20-152-18-95.cnf	SAT	16.7864	16.7894	1738117
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	SAT	25.8721	25.8834	1730192
CRAFTED/sgen/sat/ sgen1-sat-180-100.cnf	SAT	26.152	26.1601	1732319
CRAFTED/sgen/sat/ sgen1-sat-230-100.cnf	SAT	26.9009	26.9078	1737481
CRAFTED/sgi/ new-difficult-22-173-20-80.cnf	SAT	43.6864	43.6971	1738276
CRAFTED/sgen/sat/ sgen1-sat-200-100.cnf	SAT	53.1629	53.1814	1732619
CRAFTED/ramseycube/ Q3inK09.cnf	SAT	61.9686	61.9879	1732669
CRAFTED/sgen/sat/ sgen1-sat-220-100.cnf	SAT	74.7686	74.791	1732419
CRAFTED/edgematching/ explicit/em_7_3_6_exp.cnf	SAT	96.4543	96.5073	1561755
CRAFTED/sgi/ new-difficult-26-243-24-70.cnf	SAT	137.73	137.78	1738223
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes1.cnf	SAT	153.064	153.102	1735269
CRAFTED/edgematching/ all/em_11_3_4_all.cnf	SAT	155.954	156.012	1562067
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes4.cnf	SAT	176.012	176.064	1735119
CRAFTED/edgematching/ explicit/em_11_3_4_exp.cnf	SAT	177.49	177.562	1561391
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	SAT	236.18	236.263	1738329
CRAFTED/parity-games/ instance_n4_i4_pp.cnf	SAT	365.777	365.874	1736519
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	SAT	481.359	481.493	1561027
CRAFTED/edgematching/ fbcolors/em_14_7_3_fbc.cnf	SAT	496.332	496.565	1562327
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes2.cnf	SAT	564.608	564.78	1735769
CRAFTED/edgematching/ all/em_14_7_3_all.cnf	SAT	566.593	566.841	1561963
CRAFTED/sgen/sat/ sgen1-sat-240-100.cnf	SAT	641.61	641.773	1732569
CRAFTED/sgen/sat/ sgen1-sat-250-100.cnf	SAT	661.284	661.467	1737428
CRAFTED/edgematching/ all/em_12_2_4_all.cnf	SAT	715.376	715.564	1561911
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes6.cnf	SAT	809.252	809.536	1735319
CRAFTED/sgen/sat/ sgen1-sat-260-100.cnf	SAT	939.811	940.149	1732219
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g1.cnf	SAT	991.342	991.611	1735069
CRAFTED/sgi/ new-difficult-24-193-22-70.cnf	SAT	1039.65	1039.91	1738064
CRAFTED/sgen/sat/ sgen1-sat-290-100.cnf	SAT	1171.43	1171.76	1737375
CRAFTED/edgematching/ explicit/em_9_3_5_exp.cnf	SAT	1184.93	1185.22	1561443

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	? (TO)	1200.01	1200.41	1726270
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g5.cnf	? (TO)	1200.01	1200.51	1735669
CRAFTED/parity-games/ instance_n6_i6_pp_ci_ce.cnf	? (TO)	1200.01	1200.31	1737119
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	? (TO)	1200.01	1200.41	1728443
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (TO)	1200.01	1200.41	1728072
CRAFTED/parity-games/ instance_n5_i6_pp.cnf	? (TO)	1200.01	1200.51	1736819
CRAFTED/parity-games/ instance_n3_i4_pp_ci_ce.cnf	? (TO)	1200.01	1200.41	1736369
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes8.cnf	? (TO)	1200.01	1200.41	1735969
CRAFTED/edgematching/ explicit/em_7_4_8_exp.cnf	? (TO)	1200.01	1200.31	1561651
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1728496
CRAFTED/sgen/unsat/ sgen1-unsat-133-100.cnf	? (TO)	1200.02	1200.31	1731969
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1728178
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g4.cnf	? (TO)	1200.02	1200.51	1735619
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	1200.02	1200.81	1735519
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1200.02	1200.41	1735469
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1728867
CRAFTED/modcircuits/ mod4block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.02	1200.71	1733569
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1729344
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1728602
CRAFTED/sgen/unsat/ sgen1-unsat-61-100.cnf	? (TO)	1200.02	1200.51	1732019
CRAFTED/sgen/unsat/ sgen1-unsat-109-100.cnf	? (TO)	1200.02	1200.31	1731819
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	? (TO)	1200.03	1200.31	1729768
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (TO)	1200.03	1200.32	1728284
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	? (TO)	1200.03	1200.51	1729874
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	1200.03	1200.31	1729662
CRAFTED/edgematching/ compact/em_14_7_3_cmp.cnf	? (TO)	1200.03	1200.52	1561235
CRAFTED/modcircuits/ mod3_4vars_6gates.cnf	? (TO)	1200.03	1200.51	1733669
CRAFTED/rbsat/random/unforced/ rbsat-v1820c171155g3.cnf	? (TO)	1200.03	1200.41	1734819
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	1200.03	1200.51	1726853
CRAFTED/rbsat/crafted/ forced/rbsat-v1820c171155gyes6.cnf	? (TO)	1200.03	1200.41	1735819
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	1200.03	1200.61	1728019
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g2.cnf	? (TO)	1200.04	1200.41	1734869
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1731040
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1730245
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	? (TO)	1200.04	1200.61	1729980
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes1.cnf	? (TO)	1200.04	1200.41	1736119
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	? (TO)	1200.04	1200.91	1726429
CRAFTED/rbsat/random/ forced/rbsat-v760c43649gyes10.cnf	? (TO)	1200.04	1200.41	1735219
CRAFTED/sgen/sat/ sgen1-sat-270-100.cnf	? (TO)	1200.04	1200.41	1737587
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (TO)	1200.04	1200.33	1727330
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1727701
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	1200.04	1200.31	1728549
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1731146
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1726482
CRAFTED/edgematching/ compact/em_9_3_5_cmp.cnf	? (TO)	1200.05	1200.41	1561131
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2_restricted.cnf	? (TO)	1200.05	1200.52	1733769
CRAFTED/parity-games/ instance_n7_i7_pp_ci_ce.cnf	? (TO)	1200.05	1200.41	1736719
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1729397
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1726694
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1727065
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g10.cnf	? (TO)	1200.05	1200.41	1734969
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1729715
CRAFTED/modcircuits/ mod5block_1var_7gates.cnf	? (TO)	1200.05	1200.41	1733269
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1728655
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1726747
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.05	1200.31	1733969
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1730298
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1731517
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1725528
CRAFTED/sgen/sat/ sgen1-sat-280-100.cnf	? (TO)	1200.05	1200.41	1732269
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1729556
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (TO)	1200.05	1200.51	1727860
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	? (TO)	1200.05	1200.51	1561807
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1729026
CRAFTED/rbsat/crafted/unforced/ rbsat-v2640c305320g4.cnf	? (TO)	1200.05	1200.41	1735569
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes4.cnf	? (TO)	1200.05	1200.41	1735169
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	1200.05	1200.91	1726376
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes2.cnf	? (TO)	1200.05	1200.41	1735869
CRAFTED/edgematching/ fbcolors/em_7_4_8_fbc.cnf	? (TO)	1200.05	1200.51	1562483
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1730775
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1725634
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1725899
CRAFTED/edgematching/ explicit/em_8_4_5_exp.cnf	? (TO)	1200.06	1200.41	1561703
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g10.cnf	? (TO)	1200.06	1200.41	1734919
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	? (TO)	1200.06	1200.61	1729291
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1725740
CRAFTED/ edgematching/all/em_7_3_6_all.cnf	? (TO)	1200.06	1200.41	1562015
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1727171
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	? (TO)	1200.06	1200.32	1727277
CRAFTED/edgematching/ fbcolors/em_7_3_6_fbc.cnf	? (TO)	1200.06	1200.61	1562379
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	1200.06	1200.51	1561183
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1725793
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1725846
CRAFTED/modcircuits/ mod5block_2vars_12gates.cnf	? (TO)	1200.06	1200.41	1733419
CRAFTED/sgen/sat/ sgen1-sat-300-100.cnf	? (TO)	1200.06	1199.91	1732519
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1731358
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1725422
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1725475
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	1200.06	1200.41	1561079
CRAFTED/edgematching/ compact/em_8_4_5_cmp.cnf	? (TO)	1200.06	1201.11	1561339
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1728231
CRAFTED/sgen/unsat/ sgen1-unsat-145-100.cnf	? (TO)	1200.06	1200.41	1732069
CRAFTED/sgen/unsat/ sgen1-unsat-85-100.cnf	? (TO)	1200.06	1200.41	1731919
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1731623
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1729927
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1731252
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1731676
CRAFTED/parity-games/ instance_n5_i5_pp.cnf	? (TO)	1200.06	1200.41	1736669
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1728761
CRAFTED/edgematching/ fbcolors/em_12_2_4_fbc.cnf	? (TO)	1200.07	1200.41	1562535
CRAFTED/edgematching/ fbcolors/em_9_3_5_fbc.cnf	? (TO)	1200.07	1200.41	1562275
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1726111
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1726164
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1727012
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	1200.07	1200.43	1726959
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	? (TO)	1200.07	1200.42	1727224
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1728814
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1728973
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1728920
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1729079
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1729132
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1730404
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1730086
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	? (TO)	1200.07	1200.61	1730616
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1730881
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1731464
CRAFTED/sgen/unsat/ sgen1-unsat-97-100.cnf	? (TO)	1200.07	1200.51	1731869
CRAFTED/ramseycube/ Q3inK11.cnf	? (TO)	1200.07	1200.42	1733119
CRAFTED/modcircuits/ mod3block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.07	1200.41	1733469
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2_autoenc.cnf	? (TO)	1200.07	1200.51	1733519
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2.cnf	? (TO)	1200.07	1200.42	1733719
CRAFTED/modcircuits/ mod3block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.07	1200.41	1733819
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g6.cnf	? (TO)	1200.07	1200.51	1734719
CRAFTED/modcircuits/ owp_4vars_5gates.cnf	? (TO)	1200.07	1200.51	1733869
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g4.cnf	? (TO)	1200.07	1200.41	1734669
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes9.cnf	? (TO)	1200.07	1200.51	1735419
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes9.cnf	? (TO)	1200.07	1200.41	1736069
CRAFTED/parity-games/ instance_n5_i6_pp_ci_ce.cnf	? (TO)	1200.07	1200.41	1736469
CRAFTED/parity-games/ instance_n2_i3_pp.cnf	? (TO)	1200.07	1200.51	1736569
CRAFTED/parity-games/ instance_n6_i7_pp.cnf	? (TO)	1200.07	1200.41	1736319
CRAFTED/sgen/unsat/ sgen1-unsat-151-100.cnf	? (TO)	1200.07	1200.41	1737640
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	? (TO)	1200.07	1200.71	1738011
CRAFTED/parity-games/ instance_n9_i9_pp_ci_ce.cnf	? (TO)	1200.07	1200.42	1737905
CRAFTED/sgen/unsat/ sgen1-unsat-103-100.cnf	? (TO)	1200.07	1200.51	1737693
CRAFTED/parity-games/ instance_n8_i9_pp.cnf	? (TO)	1200.07	1200.41	1737852
CRAFTED/ edgematching/all/em_7_4_9_all.cnf	? (TO)	1200.08	1200.41	1562119
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1730139
CRAFTED/edgematching/ compact/em_7_4_9_cmp.cnf	? (TO)	1200.08	1200.41	1560975
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2_restricted.cnf	? (TO)	1200.08	1200.62	1733319
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1725581
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1730563
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1725952
CRAFTED/parity-games/ instance_n6_i6_pp.cnf	? (TO)	1200.08	1200.41	1736919
CRAFTED/edgematching/ fbcolors/em_7_4_9_fbc.cnf	? (TO)	1200.08	1207.01	1562431
CRAFTED/parity-games/ instance_n7_i8_pp.cnf	? (TO)	1200.08	1200.41	1737219
CRAFTED/sgen/unsat/ sgen1-unsat-139-100.cnf	? (TO)	1200.08	1200.51	1737534
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.08	1200.41	1734069
CRAFTED/modcircuits/ mod4block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.08	1200.41	1733619
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1731199
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1728337
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1728125
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729238
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1727913
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1730510
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729185
CRAFTED/ramseycube/ Q3inK10.cnf	? (TO)	1200.08	1200.41	1732869
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	1200.09	1200.61	1729450
CRAFTED/edgematching/ compact/em_7_4_8_cmp.cnf	? (TO)	1200.09	1200.41	1561287
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1731411
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1728708
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1727966
CRAFTED/sgen/unsat/ sgen1-unsat-121-100.cnf	? (TO)	1200.09	1200.41	1732169
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1727648
CRAFTED/sgen/unsat/ sgen1-unsat-73-100.cnf	? (TO)	1200.09	1200.51	1732119
CRAFTED/ramseycube/ Q32inK10.cnf	? (TO)	1200.09	1200.51	1732969
CRAFTED/ramseycube/ Q3inK13.cnf	? (TO)	1200.09	1200.68	1732769
CRAFTED/ramseycube/ Q32inK11.cnf	? (TO)	1200.09	1200.41	1732819
CRAFTED/ramseycube/ Q3inK12.cnf	? (TO)	1200.09	1200.43	1732919
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2.cnf	? (TO)	1200.09	1200.41	1733219
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1200.09	1200.41	1733919
CRAFTED/sgen/unsat/ sgen1-unsat-127-100.cnf	? (TO)	1200.09	1200.41	1737269
CRAFTED/sgen/unsat/ sgen1-unsat-115-100.cnf	? (TO)	1200.09	1200.51	1737322
CRAFTED/modcircuits/ mod3block_3vars_9gates_restr.cnf	? (TO)	1200.09	1200.51	1734019
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1726800
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1726641
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1726323
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1726217
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes3.cnf	? (TO)	1200.09	1200.41	1735369
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1726005
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g2.cnf	? (TO)	1200.09	1200.51	1735719
CRAFTED/parity-games/ instance_n7_i8_pp_ci_ce.cnf	? (TO)	1200.09	1200.41	1736269
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1725263
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes1.cnf	? (TO)	1200.09	1200.51	1736019
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes8.cnf	? (TO)	1200.09	1200.41	1735919
CRAFTED/parity-games/ instance_n4_i5_pp.cnf	? (TO)	1200.09	1200.51	1737019
CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf	? (TO)	1200.09	1200.41	1736619
CRAFTED/parity-games/ instance_n4_i4_pp_ci_ce.cnf	? (TO)	1200.09	1200.51	1736769
CRAFTED/parity-games/ instance_n8_i9_pp_ci_ce.cnf	? (TO)	1200.09	1200.41	1737958
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1730033
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1729821
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1730722
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1730828
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1731093
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1730987
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1730934
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1731305
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1731570
CRAFTED/sgi/ new-difficult-28-302-26-75.cnf	? (TO)	1200.1	1200.41	1738382
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g2.cnf	? (TO)	1200.1	1200.41	1735019
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g8.cnf	? (TO)	1200.1	1200.61	1734769
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1726588
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1726535
CRAFTED/parity-games/ instance_n2_i2_pp.cnf	? (TO)	1200.1	1200.41	1736869
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1729609
CRAFTED/edgematching/ explicit/em_7_4_9_exp.cnf	? (TO)	1200.1	1200.41	1561547
CRAFTED/edgematching/ explicit/em_12_2_4_exp.cnf	? (TO)	1200.1	1200.62	1561495
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1730351
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1730457
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1200.1	1200.41	1733369
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1725687
CRAFTED/ramseycube/ Q32inK09.cnf	? (TO)	1200.1	1200.51	1733069
CRAFTED/ edgematching/all/em_7_4_8_all.cnf	? (TO)	1200.1	1200.51	1562171
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1727807
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1727754
CRAFTED/parity-games/ instance_n7_i7_pp.cnf	? (TO)	1200.1	1200.41	1736969
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2.cnf	? (TO)	1200.1	1200.42	1733169
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (TO)	1200.1	1200.56	1727489
CRAFTED/parity-games/ instance_n8_i8_pp.cnf	? (TO)	1200.1	1200.51	1737799
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1726906
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	1200.1	1200.41	1562223
CRAFTED/edgematching/ fbcolors/em_11_3_4_fbc.cnf	? (TO)	1200.1	1200.41	1562587
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1725369
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (TO)	1200.11	1200.51	1729503
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (TO)	1200.11	1200.41	1737746
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1727118
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1725316
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	? (TO)	1200.11	1200.51	1726058
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (TO)	1200.11	1200.42	1727436
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	? (TO)	1200.12	1200.74	1730669
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	1200.12	1200.43	1727383
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	? (TO)	1200.13	1200.56	1728390
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (TO)	1200.14	1200.65	1727542
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (TO)	1200.14	1200.54	1727595

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.009997	0.00972109	1524019
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1826927554-087.cnf	SAT	0.013997	0.0145301	1524040
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1733990810-090.cnf	SAT	0.014996	0.01549	1523986
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1876865608-086.cnf	SAT	0.016996	0.0174721	1523848
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1339293988-069.cnf	SAT	0.017996	0.0165521	1523896
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S957997002-040.cnf	SAT	0.017996	0.01826	1523953
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1263695887-042.cnf	SAT	0.018996	0.019197	1523911
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1546885609-031.cnf	SAT	0.019996	0.020152	1523998
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S725789261-031.cnf	SAT	0.026995	0.0274959	1523914
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S2032263657-035.cnf	SAT	0.028995	0.029466	1524052
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1002348653-090.cnf	SAT	0.029994	0.0300221	1523959
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S311671104-045.cnf	SAT	0.030995	0.0328049	1523812
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1139247531-051.cnf	SAT	0.031994	0.0323761	1523815
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S326477539-068.cnf	SAT	0.032994	0.0335341	1524025
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2035161427-020.cnf	SAT	0.036993	0.038311	1524004
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S2032726331-082.cnf	SAT	0.05499	0.0553909	1523872
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S144043535-002.cnf	SAT	0.05599	0.0562589	1524064
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1767425240-073.cnf	SAT	0.05799	0.0587411	1523875
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S321371087-018.cnf	SAT	0.06099	0.061138	1523983
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1036996799-006.cnf	SAT	0.065989	0.0660561	1524016
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S602463346-055.cnf	SAT	0.069988	0.070454	1523755
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1940784272-089.cnf	SAT	0.072988	0.0716849	1523806
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1880984131-087.cnf	SAT	0.075987	0.076879	1523824
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1666821205-020.cnf	SAT	0.075987	0.075889	1523905
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S308012126-046.cnf	SAT	0.079986	0.080467	1523137
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S889538696-070.cnf	SAT	0.089986	0.0902111	1523836
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1674394075-027.cnf	SAT	0.091985	0.091906	1524010
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S981523907-072.cnf	SAT	0.092985	0.0939769	1523863
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1931398869-036.cnf	SAT	0.093984	0.094351	1523092
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1362286908-061.cnf	SAT	0.093984	0.0940779	1523803
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1730125812-056.cnf	SAT	0.102984	0.103908	1523965
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1459690542-033.cnf	SAT	0.103983	0.104437	1524046
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1985172968-100.cnf	SAT	0.105983	0.105388	1524013
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S787972994-025.cnf	SAT	0.106983	0.109274	1523902
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2106599808-035.cnf	SAT	0.113981	0.11355	1524007
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S208461254-049.cnf	SAT	0.12998	0.130959	1523917
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1481888618-011.cnf	SAT	0.137978	0.138115	1523062
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1711406314-093.cnf	SAT	0.138978	0.139769	1524067
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S2087271472-092.cnf	SAT	0.146976	0.147796	1523791
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S638042053-051.cnf	SAT	0.147976	0.148061	1523065
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1916548023-003.cnf	SAT	0.157975	0.158149	1523932
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S433356712-017.cnf	SAT	0.167974	0.168963	1523938
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S554804223-012.cnf	SAT	0.178972	0.177785	1523968
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1460100153-095.cnf	SAT	0.179971	0.179878	1523800
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2025169165-076.cnf	SAT	0.184971	0.185248	1523749
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S398733532-072.cnf	SAT	0.18897	0.188368	1523050
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1707873242-085.cnf	SAT	0.18897	0.188934	1523122
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S852794659-023.cnf	SAT	0.19197	0.192692	1523095
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2067258640-036.cnf	SAT	0.19197	0.192345	1523980
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1684547485-073.cnf	SAT	0.202968	0.203374	1524043
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S402241321-038.cnf	SAT	0.209967	0.208892	1523116
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S172053238-003.cnf	SAT	0.218965	0.219007	1523881
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1040456712-073.cnf	SAT	0.236963	0.237894	1523104
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S722433227-030.cnf	SAT	0.238962	0.238957	1524058
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S824721511-001.cnf	SAT	0.238962	0.238566	1523083
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S971118900-053.cnf	SAT	0.249962	0.250959	1523134
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1014608490-038.cnf	SAT	0.258959	0.258031	1523821
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S2069223517-023.cnf	SAT	0.268958	0.269496	1523977
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1161147107-031.cnf	SAT	0.277957	0.278514	1523788
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1326039470-063.cnf	SAT	0.283955	0.284255	1523887
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1879859331-044.cnf	SAT	0.297953	0.298729	1523833
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S180439591-093.cnf	SAT	0.298953	0.299247	1523809
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1912687159-077.cnf	SAT	0.301953	0.302728	1524031
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1137823545-077.cnf	SAT	0.314951	0.315261	1523923
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S986324446-009.cnf	SAT	0.31895	0.319389	1523071
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1614425450-034.cnf	SAT	0.32195	0.322748	1524001
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S393518083-009.cnf	SAT	0.335948	0.336103	1523110
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S809967194-078.cnf	SAT	0.337948	0.338403	1523851
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1531283922-009.cnf	SAT	0.361944	0.362012	1523884
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S744068878-072.cnf	SAT	0.379941	0.380248	1523080
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S786890012-057.cnf	SAT	0.393939	0.394511	1523845
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1772254584-042.cnf	SAT	0.406937	0.406083	1523119
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1429776379-099.cnf	SAT	0.412936	0.412067	1523839
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2139292994-055.cnf	SAT	0.414936	0.413702	1523086
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1879656894-046.cnf	SAT	0.432934	0.433895	1523167
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S142096783-019.cnf	SAT	0.488924	0.489522	1523860
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1332067449-041.cnf	SAT	0.501922	0.505723	1523929
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S227954525-082.cnf	SAT	0.505922	0.506852	1523794
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1924575376-025.cnf	SAT	0.511921	0.511318	1523974
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1977519792-030.cnf	SAT	0.538917	0.537578	1523779
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S23858409-056.cnf	SAT	0.560913	0.561696	1523935
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S449556655-088.cnf	SAT	0.586909	0.586004	1523971
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S621134782-041.cnf	SAT	0.595909	0.596904	1523785
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1963731659-060.cnf	SAT	0.614905	0.615561	1523149
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1841979702-078.cnf	SAT	0.618905	0.619703	1524034
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1045096471-025.cnf	SAT	0.639902	0.639915	1523758
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1163324878-032.cnf	SAT	0.639902	0.640816	1523164
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1159550149-077.cnf	SAT	0.665898	0.66631	1523101
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S884941173-092.cnf	SAT	0.666898	0.667124	1523068
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1041106011-094.cnf	SAT	0.682896	0.684131	1524028
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1800466054-025.cnf	SAT	0.692893	0.691931	1523797
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S714125262-017.cnf	SAT	0.693893	0.694318	1523878
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1017443264-065.cnf	SAT	0.699893	0.699995	1523161
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S47926000-049.cnf	SAT	0.705891	0.70526	1523107
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1503318847-091.cnf	SAT	0.71189	0.712074	1523146
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S418266958-049.cnf	SAT	0.726888	0.725783	1523866
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1568932519-011.cnf	SAT	0.734887	0.735569	1523089
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S748216286-061.cnf	SAT	0.799877	0.801028	1523128
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S95953046-044.cnf	SAT	0.839872	0.839994	1523743
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S110290755-003.cnf	SAT	0.851869	0.85111	1523893
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S146188995-071.cnf	SAT	0.865867	0.866194	1523782
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2007547542-039.cnf	SAT	0.899862	0.900733	1523098
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S282405510-004.cnf	SAT	0.900862	0.901687	1523131
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S353643296-086.cnf	SAT	0.902861	0.903244	1523767
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1293537826-039.cnf	SAT	0.91686	0.917637	1524055
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1112524719-021.cnf	SAT	0.931858	0.932692	1523899
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1422278005-004.cnf	SAT	0.946855	0.946271	1523155
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S956671877-054.cnf	SAT	0.960853	0.961851	1523773
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1338462531-082.cnf	SAT	0.985849	0.986663	1523962
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1229813320-044.cnf	SAT	1.04884	1.04855	1523950
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1864638535-048.cnf	SAT	1.07483	1.07546	1523890
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1850025790-078.cnf	SAT	1.07783	1.07835	1523059
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S520696524-059.cnf	SAT	1.18482	1.18579	1522672
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1258122549-031.cnf	SAT	1.37379	1.37414	1523752
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S368632549-051.cnf	SAT	1.42478	1.4258	1524061
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S179172230-011.cnf	SAT	1.48577	1.48691	1523158
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1153031014-012.cnf	SAT	1.49977	1.50048	1523152
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S644655157-049.cnf	SAT	1.60276	1.60382	1523140
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1555503917-029.cnf	SAT	1.71874	1.72006	1523995
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S247943532-069.cnf	SAT	1.82772	1.8285	1523770
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1367181683-025.cnf	SAT	1.86072	1.86204	1523992
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1484713995-092.cnf	SAT	1.88871	1.88967	1523344
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf	SAT	1.90971	1.91288	1522681
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S84716411-095.cnf	SAT	1.9557	1.95688	1523941
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1376127278-008.cnf	SAT	2.05969	2.06052	1523056
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S603077945-019.cnf	SAT	2.12468	2.12552	1523335
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S326668183-079.cnf	SAT	2.25866	2.25849	1523317
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803029538-050.cnf	SAT	2.35464	2.35604	1523407
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S817309453-059.cnf	SAT	2.39464	2.3943	1523947
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S709270457-007.cnf	SAT	2.40763	2.40914	1523374
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S617358728-082.cnf	SAT	2.43163	2.43325	1523989
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1639151107-094.cnf	SAT	2.45363	2.45667	1523290
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S746386799-050.cnf	SAT	2.47362	2.47519	1523308
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1778559297-006.cnf	SAT	2.50962	2.51113	1523827
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S178043354-076.cnf	SAT	2.5966	2.59766	1523293
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1794178048-059.cnf	SAT	2.67359	2.67454	1523323
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1528563858-100.cnf	SAT	2.70559	2.70634	1523956
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S834811574-084.cnf	SAT	2.71159	2.71252	1523329
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S400088537-049.cnf	SAT	2.80857	2.81052	1523362
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1494961823-060.cnf	SAT	2.81857	2.81957	1523740
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1514821049-021.cnf	SAT	2.85956	2.8594	1523302
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S780904324-093.cnf	SAT	2.86856	2.86981	1523908
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S2142680239-019.cnf	SAT	2.88256	2.88357	1523926
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1624574519-076.cnf	SAT	2.90256	2.902	1523818
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1645769281-097.cnf	SAT	2.97455	2.97733	1523359
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S568017735-066.cnf	SAT	3.01454	3.01593	1522831
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S658989873-070.cnf	SAT	3.01554	3.01657	1523761
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1448866403-060.cnf	SAT	3.32449	3.32482	1524049
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S2037556208-016.cnf	SAT	3.35749	3.35935	1523296
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S486002104-037.cnf	SAT	3.41248	3.41446	1524022
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1206040031-030.cnf	SAT	3.65544	3.65738	1523314
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S599916448-096.cnf	SAT	3.74643	3.7477	1523245
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1223878722-065.cnf	SAT	3.82842	3.83253	1523371
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S900737394-048.cnf	SAT	3.88241	3.88514	1523944
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1354285755-030.cnf	SAT	3.9774	3.98514	1523338
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S284173264-081.cnf	SAT	4.62929	4.63102	1523341
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S839983432-073.cnf	SAT	4.91225	4.91487	1523386
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S984347600-003.cnf	SAT	4.98024	4.9818	1523113
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1828800850-025.cnf	SAT	5.44117	5.44365	1523299
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1767813611-042.cnf	SAT	6.29304	6.29556	1523053
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S357555833-073.cnf	SAT	6.47102	6.47256	1523143
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1536609007-088.cnf	SAT	6.52301	6.52854	1523776
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1804335510-002.cnf	SAT	6.68998	6.69328	1524037
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1988754311-026.cnf	SAT	6.72498	6.72765	1523401
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S565763763-051.cnf	SAT	6.91495	6.92026	1523842
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf	SAT	7.00593	7.01121	1522669
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S349436298-004.cnf	SAT	7.01793	7.02206	1523746
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S754967851-033.cnf	SAT	7.02093	7.0217	1523320
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S7007454-009.cnf	SAT	7.73382	7.73765	1522660
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S512486692-050.cnf	SAT	8.32873	8.33119	1523332
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S432895007-058.cnf	SAT	8.71267	8.7152	1523356
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S779309989-069.cnf	SAT	8.89265	8.89446	1522687
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1920888253-090.cnf	SAT	9.16261	9.1658	1523125
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1366769180-095.cnf	SAT	9.63154	9.63432	1523350
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1949086545-083.cnf	SAT	9.63553	9.63995	1523857
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S819692891-023.cnf	SAT	10.1964	10.2	1523389
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1146593655-045.cnf	SAT	10.2614	10.2637	1523353
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf	SAT	10.4484	10.4512	1522675
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803323266-025.cnf	SAT	10.6784	10.6776	1523398
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf	SAT	10.8334	10.8388	1522822
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2056912842-027.cnf	SAT	10.8523	10.8561	1523764
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1096716652-027.cnf	SAT	11.3563	11.3601	1523305
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S419666888-007.cnf	SAT	11.4963	11.501	1523869
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1895787950-064.cnf	SAT	12.1032	12.1068	1523365
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1723021362-073.cnf	SAT	12.3151	12.321	1523347
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1718226278-096.cnf	SAT	12.4171	12.4206	1523326
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S195213520-027.cnf	SAT	12.4521	12.455	1522720
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1771223975-021.cnf	SAT	12.5681	12.5716	1523077
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1640054673-078.cnf	SAT	13.337	13.3424	1523383
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S45592023-054.cnf	SAT	13.45	13.4538	1523830
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S445910413-047.cnf	SAT	13.7509	13.7498	1523368
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2028777924-038.cnf	SAT	14.0639	14.069	1523218
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1858385213-060.cnf	SAT	14.5548	14.553	1523311
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1402156840-093.cnf	SAT	15.3927	15.3969	1523380
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1492329924-074.cnf	SAT	21.2898	21.3041	1523074
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S342542912-045.cnf	SAT	21.5577	21.5669	1523395
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2073320038-053.cnf	SAT	22.1076	22.1133	1523263
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S449511205-064.cnf	SAT	26.046	26.0545	1523920
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S136987316-008.cnf	SAT	26.233	26.2394	1522666
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf	SAT	31.0343	31.044	1522678
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S51205200-028.cnf	SAT	31.0893	31.1018	1523404
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S762724712-048.cnf	SAT	31.7932	31.8069	1522753
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S72273909-010.cnf	SAT	32.825	32.835	1523392
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S2060380282-019.cnf	SAT	34.0498	34.0684	1523377
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf	SAT	34.8877	34.8993	1522816
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S844931093-069.cnf	SAT	39.8319	39.8528	1523854
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1482824652-097.cnf	SAT	47.8107	47.8231	1523227
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S74035269-088.cnf	SAT	50.9313	50.9484	1522639
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf	SAT	51.0202	51.0414	1522663
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf	SAT	56.9793	56.9988	1522771
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1281410666-045.cnf	SAT	60.3608	60.3796	1522495
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf	SAT	64.6312	64.6495	1522825
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1192890414-033.cnf	SAT	69.0315	69.0569	1522504
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S249585100-059.cnf	SAT	72.119	72.1404	1522390
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf	SAT	77.2632	77.2873	1522819
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf	SAT	85.78	85.8105	1522777
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S541865505-057.cnf	SAT	88.7685	88.8009	1522642
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1322153318-039.cnf	SAT	90.7522	90.7841	1522375
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1253795703-015.cnf	SAT	104.693	104.739	1522459
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1906075351-024.cnf	SAT	112.897	112.935	1522633
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf	SAT	113.756	113.783	1522684
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1017667294-044.cnf	SAT	119.451	59.8016	1522630
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S814638510-058.cnf	SAT	143.751	143.797	1522645
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf	SAT	165.625	165.669	1522888
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf	SAT	169.498	169.547	1522756
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf	SAT	170.251	170.301	1522807
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf	SAT	178.222	178.199	1522828
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1845944120-011.cnf	SAT	178.692	178.749	1522588
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf	SAT	189.292	189.36	1522765
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2142489608-055.cnf	SAT	196.988	197.044	1523269
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S685953260-065.cnf	SAT	199.748	199.816	1522489
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1912214877-051.cnf	SAT	202.754	202.813	1522429
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S870840347-014.cnf	SAT	207.453	207.517	1522648
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S310111511-029.cnf	SAT	212.824	212.897	1522804
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1018145191-052.cnf	SAT	221.305	221.369	1522486
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf	SAT	229.916	229.997	1522693
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1736471436-014.cnf	SAT	236.939	236.907	1522399
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1183359164-025.cnf	SAT	245.455	245.539	1522408
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S500426663-025.cnf	SAT	259.417	259.483	1522744
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S439075063-023.cnf	SAT	261.102	261.171	1522723
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S743448446-027.cnf	SAT	281.017	281.115	1522471
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S2124311399-085.cnf	SAT	284.729	284.825	1522462
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1724014998-099.cnf	SAT	297.811	297.894	1522414
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S211141966-058.cnf	SAT	361.987	362.121	1522483
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1970456972-046.cnf	SAT	377.419	377.545	1522492
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1313163883-027.cnf	SAT	378.94	379.077	1522507
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1818639567-059.cnf	SAT	388.17	388.303	1522636
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1353769076-009.cnf	SAT	438.373	438.545	1522396
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S268463339-081.cnf	SAT	460.775	460.909	1522717
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S882603971-022.cnf	SAT	467.285	467.418	1522435
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1500472284-060.cnf	SAT	467.735	467.903	1522498
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S221596758-009.cnf	SAT	472.491	472.653	1522912
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S839302453-094.cnf	SAT	510.716	510.897	1522726
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1989329161-018.cnf	SAT	570.163	570.328	1522867
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S377647456-019.cnf	SAT	593.194	593.366	1522927
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1611899384-022.cnf	SAT	601.137	601.315	1522501
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S339800239-026.cnf	SAT	613.948	614.108	1522864
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S661850551-087.cnf	SAT	614.914	615.096	1522468
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S2126130224-030.cnf	SAT	649.063	649.253	1522852
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S962875623-008.cnf	SAT	656.587	656.767	1522480
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2088061175-062.cnf	SAT	658.064	658.292	1522879
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S139794312-098.cnf	SAT	677.457	677.636	1522837
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S501150091-001.cnf	SAT	700.606	700.93	1522360
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf	SAT	723.107	723.354	1522738
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S906020180-093.cnf	SAT	724.742	724.968	1522834
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S2059720696-001.cnf	SAT	727.296	727.533	1522654
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S315403000-060.cnf	SAT	787.024	787.307	1522411
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S547165541-056.cnf	SAT	793.625	793.845	1522651
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S566590366-099.cnf	SAT	795.915	796.123	1522624
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1802626390-033.cnf	SAT	934.761	935.083	1522585
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf	SAT	936.881	937.226	1522696
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1849057034-020.cnf	SAT	972.657	973.02	1522618
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1543261951-042.cnf	SAT	983.705	984.072	1522600
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1040507052-028.cnf	SAT	1003.75	1004.04	1522384
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S144924920-056.cnf	SAT	1065.82	1066.1	1522447
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf	SAT	1069.3	1069.61	1522714
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1178729443-051.cnf	SAT	1092.04	1092.34	1522606
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1864473452-037.cnf	SAT	1186.04	1186.59	1522612

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1250067652-054.cnf	? (TO)	1200.01	1200.31	1523599
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S816613570-013.cnf	? (TO)	1200.01	1200.41	1523530
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S2083487609-068.cnf	? (TO)	1200.01	1200.31	1522957
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S219795104-099.cnf	? (TO)	1200.01	1200.31	1522921
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S327274323-044.cnf	? (TO)	1200.01	1200.51	1522627
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1420449214-092.cnf	? (TO)	1200.01	1200.41	1523008
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S632066493-060.cnf	? (TO)	1200.01	1200.41	1522948
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1525918493-008.cnf	? (TO)	1200.01	1200.31	1523266
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S400162545-095.cnf	? (TO)	1200.01	1200.41	1523260
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S531507935-068.cnf	? (TO)	1200.01	1200.31	1523497
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S595075179-058.cnf	? (TO)	1200.01	1200.31	1522774
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1159067237-017.cnf	? (TO)	1200.01	1200.31	1523668
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S820736259-091.cnf	? (TO)	1200.02	1200.31	1523515
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S91288590-071.cnf	? (TO)	1200.02	1200.41	1522615
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S432776913-077.cnf	? (TO)	1200.02	1200.31	1522609
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1766907733-036.cnf	? (TO)	1200.02	1200.31	1522519
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2088224617-083.cnf	? (TO)	1200.02	1200.51	1522366
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S2051339669-029.cnf	? (TO)	1200.02	1200.41	1522531
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S115851319-100.cnf	? (TO)	1200.02	1200.41	1522423
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S638051453-097.cnf	? (TO)	1200.02	1200.31	1523605
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1035441377-058.cnf	? (TO)	1200.02	1200.31	1523581
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S1154116462-097.cnf	? (TO)	1200.02	1200.31	1523518
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S179568577-034.cnf	? (TO)	1200.02	1200.41	1523509
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S486178562-011.cnf	? (TO)	1200.02	1200.31	1523464
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1048138627-064.cnf	? (TO)	1200.02	1200.41	1523452
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1718100253-004.cnf	? (TO)	1200.02	1200.41	1523278
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1171422074-087.cnf	? (TO)	1200.02	1200.31	1523254
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1736056721-032.cnf	? (TO)	1200.02	1200.41	1522933
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S291433416-025.cnf	? (TO)	1200.02	1200.31	1522984
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S104085281-076.cnf	? (TO)	1200.02	1200.31	1523533
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1554646792-012.cnf	? (TO)	1200.02	1200.41	1522786
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S821759333-092.cnf	? (TO)	1200.02	1200.41	1522762
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf	? (TO)	1200.02	1200.41	1522690
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1007745655-097.cnf	? (TO)	1200.02	1200.31	1523629
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S697681291-080.cnf	? (TO)	1200.03	1200.31	1523449
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1419235015-056.cnf	? (TO)	1200.03	1200.41	1522843
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1731702106-010.cnf	? (TO)	1200.03	1200.31	1523428
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S822708255-070.cnf	? (TO)	1200.03	1200.41	1522792
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1249441590-066.cnf	? (TO)	1200.03	1200.41	1523671
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S2082290699-014.cnf	? (TO)	1200.03	1200.41	1522858
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S612955126-075.cnf	? (TO)	1200.03	1200.41	1522813
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S289069074-070.cnf	? (TO)	1200.03	1200.41	1523203
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1629955917-055.cnf	? (TO)	1200.03	1200.41	1522990
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1564075794-028.cnf	? (TO)	1200.03	1200.41	1523611
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S853819067-006.cnf	? (TO)	1200.04	1200.41	1523608
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1375576340-029.cnf	? (TO)	1200.04	1200.41	1523548
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S729526068-046.cnf	? (TO)	1200.04	1200.51	1523653
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1553390498-064.cnf	? (TO)	1200.04	1200.41	1523545
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S926047226-039.cnf	? (TO)	1200.04	1200.41	1523641
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S2096960818-049.cnf	? (TO)	1200.04	1200.41	1523494
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S193214747-044.cnf	? (TO)	1200.04	1200.61	1522528
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S592525179-032.cnf	? (TO)	1200.04	1200.41	1522603
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S648763183-023.cnf	? (TO)	1200.04	1200.41	1522783
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1900558626-069.cnf	? (TO)	1200.04	1200.41	1523224
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S884764237-004.cnf	? (TO)	1200.04	1200.51	1523209
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2141146009-040.cnf	? (TO)	1200.04	1200.51	1523206
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S356738975-073.cnf	? (TO)	1200.04	1200.51	1523662
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S197260469-019.cnf	? (TO)	1200.04	1200.41	1523197
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S999404609-010.cnf	? (TO)	1200.04	1200.41	1523686
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1357790788-074.cnf	? (TO)	1200.04	1200.41	1523017
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S285229208-001.cnf	? (TO)	1200.04	1200.41	1523638
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S678706275-057.cnf	? (TO)	1200.04	1200.41	1522456
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1906521511-089.cnf	? (TO)	1200.05	1200.61	1523731
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S285713182-059.cnf	? (TO)	1200.05	1200.41	1522621
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf	? (TO)	1200.05	1200.41	1522729
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1726986756-053.cnf	? (TO)	1200.05	1200.41	1522855
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S857870897-089.cnf	? (TO)	1200.05	1200.51	1523239
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1353993612-015.cnf	? (TO)	1200.05	1200.41	1523575
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S45173584-020.cnf	? (TO)	1200.05	1200.41	1522381
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1850138369-006.cnf	? (TO)	1200.05	1200.41	1522378
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1568578307-064.cnf	? (TO)	1200.05	1200.41	1522522
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1961115887-052.cnf	? (TO)	1200.05	1206.11	1522510
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S704699380-099.cnf	? (TO)	1200.05	1200.51	1522372
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1295462378-089.cnf	? (TO)	1200.05	1200.41	1522591
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1050568800-025.cnf	? (TO)	1200.05	1200.41	1523005
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1211704640-033.cnf	? (TO)	1200.05	1200.41	1523011
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1070443005-075.cnf	? (TO)	1200.05	1200.51	1523038
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S2099753268-053.cnf	? (TO)	1200.05	1200.41	1523182
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1318210982-002.cnf	? (TO)	1200.05	1200.41	1523194
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S108799362-035.cnf	? (TO)	1200.05	1200.41	1523179
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1772751287-054.cnf	? (TO)	1200.05	1200.71	1523191
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1818347447-078.cnf	? (TO)	1200.05	1200.41	1523236
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S645163129-012.cnf	? (TO)	1200.05	1200.51	1523419
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1897376969-026.cnf	? (TO)	1200.05	1200.41	1523440
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1331813943-033.cnf	? (TO)	1200.05	1200.41	1523458
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S565564805-059.cnf	? (TO)	1200.05	1200.61	1523488
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S387386125-069.cnf	? (TO)	1200.05	1200.51	1523536
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S418505498-026.cnf	? (TO)	1200.05	1200.41	1523554
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1404929091-050.cnf	? (TO)	1200.05	1200.41	1523590
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1524836866-036.cnf	? (TO)	1200.05	1200.41	1523644
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1700363952-014.cnf	? (TO)	1200.05	1200.41	1523692
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1580204273-012.cnf	? (TO)	1200.05	1200.41	1523698
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S2043187304-036.cnf	? (TO)	1200.05	1200.41	1523701
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S680239195-053.cnf	? (TO)	1200.05	1200.41	1523725
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S914952752-019.cnf	? (TO)	1200.06	1206.11	1522942
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1481598919-023.cnf	? (TO)	1200.06	1199.91	1523041
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S2025517367-061.cnf	? (TO)	1200.06	1200.41	1523710
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S452919966-071.cnf	? (TO)	1200.06	1200.41	1522558
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S257485978-084.cnf	? (TO)	1200.06	1200.51	1522945
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1723900160-044.cnf	? (TO)	1200.06	1200.51	1523044
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1213077873-067.cnf	? (TO)	1200.06	1200.41	1523422
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S2054922493-058.cnf	? (TO)	1200.06	1199.91	1522426
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2015297474-031.cnf	? (TO)	1200.06	1200.51	1522363
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S559732886-091.cnf	? (TO)	1200.06	1200.51	1522978
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S367498571-066.cnf	? (TO)	1200.06	1200.41	1522993
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S805234188-084.cnf	? (TO)	1200.06	1200.51	1522438
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S2083778933-085.cnf	? (TO)	1200.06	1200.41	1523035
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1857201443-029.cnf	? (TO)	1200.06	1200.51	1522810
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1279315365-067.cnf	? (TO)	1200.06	1200.41	1522873
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1698591437-083.cnf	? (TO)	1200.06	1200.41	1522996
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S287307030-088.cnf	? (TO)	1200.06	1200.51	1523410
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1602291491-023.cnf	? (TO)	1200.06	1200.41	1523443
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1049921489-034.cnf	? (TO)	1200.06	1199.91	1522573
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S149116968-021.cnf	? (TO)	1200.06	1200.41	1523446
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S207294319-099.cnf	? (TO)	1200.06	1200.51	1523014
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S502087726-095.cnf	? (TO)	1200.06	1200.41	1523707
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2058039218-006.cnf	? (TO)	1200.06	1200.51	1523284
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1175850950-017.cnf	? (TO)	1200.06	1200.51	1523623
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S688769362-007.cnf	? (TO)	1200.06	1200.61	1523524
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1394036608-091.cnf	? (TO)	1200.06	1200.41	1523473
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S367138237-029.cnf	? (TO)	1200.06	1200.41	1523716
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S121765931-081.cnf	? (TO)	1200.06	1200.41	1523479
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1758422766-080.cnf	? (TO)	1200.06	1200.41	1523221
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S2034442711-054.cnf	? (TO)	1200.06	1200.61	1523635
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2125310989-062.cnf	? (TO)	1200.06	1200.41	1523215
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S15767910-042.cnf	? (TO)	1200.06	1200.51	1522918
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S125259973-020.cnf	? (TO)	1200.06	1200.41	1523557
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1185462553-011.cnf	? (TO)	1200.06	1200.41	1522417
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S2007898659-069.cnf	? (TO)	1200.06	1200.41	1523674
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S251246256-047.cnf	? (TO)	1200.06	1200.51	1522393
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S287522321-032.cnf	? (TO)	1200.06	1200.41	1523566
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1854680784-082.cnf	? (TO)	1200.06	1200.41	1523470
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf	? (TO)	1200.06	1200.61	1522702
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S492033085-065.cnf	? (TO)	1200.06	1200.51	1523584
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S184801254-020.cnf	? (TO)	1200.07	1200.51	1523200
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1788451776-008.cnf	? (TO)	1200.07	1200.41	1522465
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S162003179-087.cnf	? (TO)	1200.07	1200.51	1522840
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S914323646-060.cnf	? (TO)	1200.07	1200.41	1522891
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S2070759512-014.cnf	? (TO)	1200.07	1200.41	1522915
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1028159446-096.cnf	? (TO)	1200.07	1200.41	1523719
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S859578263-029.cnf	? (TO)	1200.07	1200.41	1522705
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S517464300-073.cnf	? (TO)	1200.07	1200.41	1523503
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S745855171-090.cnf	? (TO)	1200.07	1200.41	1522939
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S2044894925-062.cnf	? (TO)	1200.07	1200.51	1522741
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1119648091-064.cnf	? (TO)	1200.07	1200.41	1522477
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1628763900-004.cnf	? (TO)	1200.07	1200.51	1523632
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1077410718-040.cnf	? (TO)	1200.07	1200.51	1523614
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S2037268960-098.cnf	? (TO)	1200.07	1200.41	1523593
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S102181364-052.cnf	? (TO)	1200.07	1200.51	1522951
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1916972979-060.cnf	? (TO)	1200.07	1200.41	1522960
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S712437980-063.cnf	? (TO)	1200.07	1200.51	1522972
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1810287895-075.cnf	? (TO)	1200.07	1200.51	1523656
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S35186747-095.cnf	? (TO)	1200.07	1200.41	1522999
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1573578038-005.cnf	? (TO)	1200.07	1200.51	1522450
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1339364096-048.cnf	? (TO)	1200.07	1200.41	1523413
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S578339356-013.cnf	? (TO)	1200.07	1200.51	1523023
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1748152762-086.cnf	? (TO)	1200.07	1200.61	1522402
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S404185236-001.cnf	? (TO)	1200.07	1200.41	1523722
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1703611043-077.cnf	? (TO)	1200.07	1200.41	1523176
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S2142794689-088.cnf	? (TO)	1200.07	1200.51	1523233
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1369720750-015.cnf	? (TO)	1200.07	1200.61	1523713
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1588298513-036.cnf	? (TO)	1200.07	1200.51	1522549
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1334593800-018.cnf	? (TO)	1200.07	1200.41	1522453
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S23373420-028.cnf	? (TO)	1200.07	1200.41	1523734
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1551099861-042.cnf	? (TO)	1200.07	1200.41	1523248
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1266438269-016.cnf	? (TO)	1200.07	1200.41	1523257
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S21800963-085.cnf	? (TO)	1200.07	1200.41	1522708
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S253750560-086.cnf	? (TO)	1200.07	1200.51	1523728
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1826325374-100.cnf	? (TO)	1200.07	1200.41	1523416
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf	? (TO)	1200.07	1200.51	1522750
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S528193823-041.cnf	? (TO)	1200.08	1200.51	1523173
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2054549948-012.cnf	? (TO)	1200.08	1200.41	1522387
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf	? (TO)	1200.08	1200.41	1522759
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1284372491-036.cnf	? (TO)	1200.08	1200.41	1522369
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S703461330-034.cnf	? (TO)	1200.08	1200.41	1523185
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S2140929154-062.cnf	? (TO)	1200.08	1200.41	1522552
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S441484366-048.cnf	? (TO)	1200.08	1200.51	1522567
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S900957093-043.cnf	? (TO)	1200.08	1200.51	1523434
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1971658345-089.cnf	? (TO)	1200.08	1200.41	1522936
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S305156909-031.cnf	? (TO)	1200.08	1200.41	1523737
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1377066099-004.cnf	? (TO)	1200.08	1200.41	1523659
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1735544520-075.cnf	? (TO)	1200.08	1200.41	1523437
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S915600698-006.cnf	? (TO)	1200.08	1200.41	1523647
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S826724848-048.cnf	? (TO)	1200.08	1200.51	1522903
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S650356257-052.cnf	? (TO)	1200.08	1200.41	1522924
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S322778960-054.cnf	? (TO)	1200.08	1200.51	1522861
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1394630553-009.cnf	? (TO)	1200.08	1200.41	1523275
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1528023000-027.cnf	? (TO)	1200.08	1200.51	1523482
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1954748117-061.cnf	? (TO)	1200.08	1200.51	1522420
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S17277413-072.cnf	? (TO)	1200.08	1200.51	1522846
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1457384322-029.cnf	? (TO)	1200.08	1200.51	1523617
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S948914005-013.cnf	? (TO)	1200.08	1200.41	1522543
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1550223396-041.cnf	? (TO)	1200.08	1200.51	1522885
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1221988902-087.cnf	? (TO)	1200.08	1200.41	1523002
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S155821307-034.cnf	? (TO)	1200.08	1200.41	1522444
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf	? (TO)	1200.08	1200.41	1522900
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S918173205-035.cnf	? (TO)	1200.08	1200.51	1523026
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1510966387-018.cnf	? (TO)	1200.08	1200.41	1522909
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S515665970-021.cnf	? (TO)	1200.08	1200.41	1523020
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1305875336-097.cnf	? (TO)	1200.08	1200.41	1522966
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1775841359-070.cnf	? (TO)	1200.08	1200.51	1523587
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1294530132-092.cnf	? (TO)	1200.08	1200.41	1522789
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1441840675-053.cnf	? (TO)	1200.08	1200.51	1522441
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1256544997-019.cnf	? (TO)	1200.08	1200.41	1522801
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1388268034-092.cnf	? (TO)	1200.08	1200.51	1522432
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1803805764-016.cnf	? (TO)	1200.08	1200.41	1523425
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1085378176-050.cnf	? (TO)	1200.09	1200.51	1522657
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S579205610-033.cnf	? (TO)	1200.09	1200.51	1522732
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S279212213-020.cnf	? (TO)	1200.09	1200.51	1522699
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf	? (TO)	1200.09	1200.51	1522768
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1813642436-099.cnf	? (TO)	1200.09	1200.41	1522798
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1983754128-073.cnf	? (TO)	1200.09	1200.41	1523680
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1332146811-066.cnf	? (TO)	1200.09	1200.41	1522870
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1811295114-056.cnf	? (TO)	1200.09	1200.51	1522882
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S2119656249-086.cnf	? (TO)	1200.09	1200.41	1522930
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S122462268-047.cnf	? (TO)	1200.09	1200.41	1522963
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S1750991629-037.cnf	? (TO)	1200.09	1200.41	1523527
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1251522734-073.cnf	? (TO)	1200.09	1200.51	1522954
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S845966893-046.cnf	? (TO)	1200.09	1200.41	1522975
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1410489780-030.cnf	? (TO)	1200.09	1200.51	1522969
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1331382449-070.cnf	? (TO)	1200.09	1200.41	1522987
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1089910525-056.cnf	? (TO)	1200.09	1200.51	1523455
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1694258328-099.cnf	? (TO)	1200.09	1200.41	1523683
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1086008090-058.cnf	? (TO)	1200.09	1200.41	1523047
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1559668863-058.cnf	? (TO)	1200.09	1200.41	1523170
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S2065372010-022.cnf	? (TO)	1200.09	1200.41	1523188
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S928666993-098.cnf	? (TO)	1200.09	1200.51	1523689
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S254828838-055.cnf	? (TO)	1200.09	1200.51	1523230
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1796956909-029.cnf	? (TO)	1200.09	1200.51	1523242
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1736708510-089.cnf	? (TO)	1200.09	1200.51	1523287
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1773173258-010.cnf	? (TO)	1200.09	1200.51	1522897
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S799705985-049.cnf	? (TO)	1200.09	1200.41	1523431
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1540921235-015.cnf	? (TO)	1200.09	1200.51	1523461
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S51132115-023.cnf	? (TO)	1200.09	1200.51	1522849
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S274764005-003.cnf	? (TO)	1200.09	1200.41	1522747
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S159251645-087.cnf	? (TO)	1200.09	1200.71	1523467
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S596342014-039.cnf	? (TO)	1200.09	1200.51	1523485
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S572248576-042.cnf	? (TO)	1200.09	1200.41	1523476
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1618450766-063.cnf	? (TO)	1200.09	1200.71	1522711
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1136141672-041.cnf	? (TO)	1200.09	1200.51	1523491
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S374947955-075.cnf	? (TO)	1200.09	1200.51	1523506
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1249224492-031.cnf	? (TO)	1200.09	1200.41	1522576
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S2104277852-078.cnf	? (TO)	1200.09	1200.41	1523542
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S131938947-014.cnf	? (TO)	1200.09	1200.41	1523551
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S393462637-097.cnf	? (TO)	1200.09	1200.51	1523563
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S444219303-098.cnf	? (TO)	1200.09	1200.41	1523560
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S332478069-041.cnf	? (TO)	1200.09	1200.51	1523569
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1563412474-059.cnf	? (TO)	1200.09	1200.41	1523572
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1350958473-082.cnf	? (TO)	1200.09	1200.41	1523578
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1892788676-021.cnf	? (TO)	1200.09	1200.51	1523650
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1136894336-075.cnf	? (TO)	1200.09	1200.41	1522555
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1746008863-010.cnf	? (TO)	1200.09	1200.41	1523665
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S907861678-077.cnf	? (TO)	1200.09	1200.51	1522594
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1352224201-070.cnf	? (TO)	1200.09	1200.41	1522579
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S956556686-037.cnf	? (TO)	1200.09	1200.41	1522597
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S522321670-058.cnf	? (TO)	1200.1	1200.41	1522540
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S583379276-046.cnf	? (TO)	1200.1	1200.41	1523620
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S266028630-005.cnf	? (TO)	1200.1	1200.41	1522546
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1378953985-075.cnf	? (TO)	1200.1	1200.41	1522582
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S2061874746-039.cnf	? (TO)	1200.1	1200.61	1523512
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S457856978-061.cnf	? (TO)	1200.1	1200.41	1523626
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S975048338-088.cnf	? (TO)	1200.1	1200.51	1523521
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1299934729-015.cnf	? (TO)	1200.1	1200.51	1523281
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1549575664-035.cnf	? (TO)	1200.1	1200.41	1522513
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1195310117-069.cnf	? (TO)	1200.1	1200.61	1522795
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S688804305-073.cnf	? (TO)	1200.1	1200.51	1522735
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S886725553-011.cnf	? (TO)	1200.1	1200.51	1522516
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1992353905-004.cnf	? (TO)	1200.1	1200.41	1522570
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S420719158-080.cnf	? (TO)	1200.1	1200.51	1522894
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1339275181-076.cnf	? (TO)	1200.1	1200.41	1522780
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1606932551-072.cnf	? (TO)	1200.1	1200.41	1523596
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1039370030-037.cnf	? (TO)	1200.1	1200.41	1523539
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1598052044-078.cnf	? (TO)	1200.1	1200.51	1523602
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S56507352-034.cnf	? (TO)	1200.1	1200.51	1522906
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S375588147-050.cnf	? (TO)	1200.1	1200.71	1522534
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S358640743-023.cnf	? (TO)	1200.1	1200.41	1523212
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1610649331-094.cnf	? (TO)	1200.1	1200.51	1523251
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1127319144-058.cnf	? (TO)	1200.1	1200.41	1522537
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S28271012-055.cnf	? (TO)	1200.1	1200.41	1523500
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1797123396-073.cnf	? (TO)	1200.1	1200.51	1522405
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1141213963-005.cnf	? (TO)	1200.1	1200.41	1522876
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S318878687-017.cnf	? (TO)	1200.1	1200.51	1522525
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S905029262-097.cnf	? (TO)	1200.11	1200.51	1523272
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S260616787-042.cnf	? (TO)	1200.11	1200.41	1523704
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S785082413-028.cnf	? (TO)	1200.11	1200.51	1522981
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1695726805-003.cnf	? (TO)	1200.11	1200.51	1522561
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S80067159-015.cnf	? (TO)	1200.11	1200.41	1523032
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1738391204-028.cnf	? (TO)	1200.11	1200.51	1522474
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S942507261-096.cnf	? (TO)	1200.11	1200.51	1522564
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S190880026-038.cnf	? (TO)	1200.11	1200.41	1523677
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1807135406-059.cnf	? (TO)	1200.11	1200.51	1523695
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S267191961-079.cnf	? (TO)	1200.11	1200.51	1523029

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

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

Category "applications instances" (APPLICATION)

Solver proved unsatisfiability (UNSATISFIABLE) (1 run) [Show/Hide]

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

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

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

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

Category "crafted instances" (CRAFTED)

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

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

Category "random instances" (RANDOM)

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

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