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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
cmu-bmc-barrel6.cnf	UNSAT	0.12298	0.126385	1719551
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	0.464928	0.464894	1718823
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	9.05562	9.05845	1717991
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	10.2614	10.2645	1717939
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	UNSAT	12.2111	12.2164	1718251
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	UNSAT	25.8741	25.8877	1554105
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	UNSAT	96.6583	96.688	1718147
cmu-bmc-longmult15.cnf	UNSAT	211.705	211.788	1720643
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	UNSAT	602.814	602.987	1563465
aloul-chnl11-13.cnf	UNSAT	729.743	729.968	1720383
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	UNSAT	863.076	863.424	1554573

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	4.07538	4.08273	1560449
APPLICATIONS/aprove09/ AProVE09-25.cnf	SAT	53.7278	53.7455	1560137
APPLICATIONS/aprove09/ AProVE09-08.cnf	SAT	57.9422	57.9648	1560709
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	66.2369	66.2551	1722113
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	SAT	75.4065	75.4293	1559201
APPLICATIONS/aprove09/ AProVE09-07.cnf	SAT	287.625	287.713	1560605
APPLICATIONS/aprove09/ AProVE09-19.cnf	SAT	440.16	440.288	1560917
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	SAT	605.285	608.364	1558473
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT	998.885	999.165	1560865
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	1038.18	1038.45	1721313

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
hoons-vbmc-lucky7.cnf	? (TO)	1200.02	1200.32	1719863
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.02	1200.32	1717003
vange-col-abb313GPIA-9-c.cnf	? (TO)	1200.03	1200.32	1720331
APPLICATIONS/bitverif/ smulo/smulo016.cnf	? (TO)	1200.03	1200.33	1554833
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	? (TO)	1200.03	1200.42	1562841
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	1200.03	1200.52	1721163
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	? (TO)	1200.04	1200.43	1553273
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1200.04	1200.32	1722413
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	1200.04	1200.44	1715599
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	1200.04	1200.42	1557485
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	1200.04	1200.43	1556133
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	? (TO)	1200.04	1200.52	1578205
industrial/grieu/ vmpc_25.cnf	? (TO)	1200.05	1200.44	1718355
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.05	1200.43	1716639
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.05	1199.94	1716275
APPLICATIONS/bitverif/ minor/minor064.cnf	? (TO)	1200.05	1200.42	1553169
een-tip-sat-texas-tp-5e.cnf	? (TO)	1200.05	1200.53	1720903
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	? (TO)	1200.05	1200.52	1557069
APPLICATIONS/aprove09/ AProVE09-20.cnf	? (TO)	1200.05	1200.42	1559773
velev-engi-uns-1.0-4nd.cnf	? (TO)	1200.05	1200.42	1720123
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	? (TO)	1200.05	1200.63	1715911
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	1200.05	1200.53	1558785
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1200.05	1200.43	1558005
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	? (TO)	1200.06	1200.42	1556861
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.06	1200.53	1716691
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	1200.06	1200.43	1556549
simon-s03-fifo8-300.cnf	? (TO)	1200.06	1200.73	1724151
mizh-sha0-35-3.cnf	? (TO)	1200.06	1200.51	1720695
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	? (TO)	1200.06	1200.42	1722513
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1200.06	1200.41	1716951
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	? (TO)	1200.06	1200.42	1563101
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1200.06	1200.53	1559253
mizh-sha0-36-3.cnf	? (TO)	1200.06	1200.41	1719811
mizh-sha0-36-4.cnf	? (TO)	1200.06	1200.41	1720227
APPLICATIONS/aprove09/ AProVE09-01.cnf	? (TO)	1200.06	1200.52	1560397
mizh-md5-47-4.cnf	? (TO)	1200.06	1200.52	1720539
APPLICATIONS/aprove09/ AProVE09-03.cnf	? (TO)	1200.06	1200.52	1560657
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	1200.06	1200.35	1722613
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1200.06	1200.52	1554157
APPLICATIONS/bitverif/ minor/minor032.cnf	? (TO)	1200.07	1200.42	1553221
manol-pipe-f9b.cnf	? (TO)	1200.07	1201.07	1719967
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	? (TO)	1200.07	1199.93	1556809
APPLICATIONS/aprove09/ AProVE09-24.cnf	? (TO)	1200.07	1200.43	1559929
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	1200.07	1200.43	1558993
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	? (TO)	1200.07	1200.44	1715703
industrial/fuhs/medium/ AProVE07-09.cnf	? (TO)	1200.07	1200.42	1716795
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	? (TO)	1200.07	1200.42	1558421
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (TO)	1200.07	1200.65	1580233
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.07	1200.54	1717835
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200.07	1200.41	1718095
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	1200.07	1200.42	1554729
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	? (TO)	1200.07	1200.52	1579869
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (TO)	1200.07	1200.42	1554417
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	1200.07	1200.43	1559305
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (TO)	1200.08	1200.53	1553481
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1200.08	1200.51	1717107
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	1200.08	1200.73	1559513
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	? (TO)	1200.08	1200.42	1562789
manol-pipe-g7nidw.cnf	? (TO)	1200.08	1200.43	1724307
manol-pipe-c7bidw_i.cnf	? (TO)	1200.08	1200.54	1724255
schup-l2s-abp4-1-k31.cnf	? (TO)	1200.08	1200.52	1719603
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	? (TO)	1200.08	1200.42	1562893
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	1200.08	1200.43	1558057
APPLICATIONS/aprove09/ AProVE09-17.cnf	? (TO)	1200.08	1200.53	1559721
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (TO)	1200.08	1200.74	1582001
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	1200.08	1200.42	1721263
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	1200.08	1200.52	1721213
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	? (TO)	1200.08	1200.74	1577893
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	1200.08	1200.51	1556081
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1200.08	1200.43	1556341
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1200.08	1200.52	1722863
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	? (TO)	1200.08	1200.51	1723063
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	? (TO)	1200.08	1200.42	1562945
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	? (TO)	1200.08	1200.42	1556757
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	? (TO)	1200.08	1200.42	1562997
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	? (TO)	1200.08	1200.43	1716327
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1200.08	1200.41	1716899
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	1200.09	1200.74	1556497
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	? (TO)	1200.09	1200.41	1553325
APPLICATIONS/ bitverif/minand/minand128.cnf	? (TO)	1200.09	1200.54	1554209
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.09	1200.46	1716743
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	1200.09	1200.44	1579817
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (TO)	1200.09	1200.42	1555249
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	? (TO)	1200.09	1200.53	1557589
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	? (TO)	1200.09	1200.52	1553793
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	1200.09	1200.45	1554001
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200.09	1200.43	1716171
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	1200.09	1200.42	1558837
goldb-heqc-term1mul.cnf	? (TO)	1200.09	1200.52	1723631
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	? (TO)	1200.09	1200.42	1563153
mizh-md5-47-3.cnf	? (TO)	1200.09	1200.42	1719499
manol-pipe-c9.cnf	? (TO)	1200.09	1200.42	1724359
goldb-heqc-frg1mul.cnf	? (TO)	1200.09	1200.43	1719655
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	? (TO)	1200.09	1200.43	1715651
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.09	1200.81	1718199
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	1200.09	1200.43	1722813
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.09	1200.61	1718043
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	? (TO)	1200.09	1200.42	1562685
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	1200.09	1200.54	1556029
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.09	1200.45	1716535
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	? (TO)	1200.09	1200.43	1581741
manol-pipe-g6bi.cnf	? (TO)	1200.09	1200.41	1723735
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	1200.09	1200.43	1723013
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1200.1	1200.43	1559617
manol-pipe-c6bidw_i.cnf	? (TO)	1200.1	1200.43	1720279
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	? (TO)	1200.1	1200.53	1580545
APPLICATIONS/ bitverif/maxand/maxand064.cnf	? (TO)	1200.1	1200.52	1555613
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	? (TO)	1200.1	1200.43	1557797
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1200.1	1200.45	1581481
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	1200.1	1200.39	1563725
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	1200.1	1200.45	1721513
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	? (TO)	1200.1	1200.42	1579401
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	? (TO)	1200.1	1200.64	1580129
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1200.1	1200.62	1721863
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	1200.1	1200.53	1558213
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.1	1200.37	1717211
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	? (TO)	1200.1	1200.42	1563049
simon-s02b-dp11u10.cnf	? (TO)	1200.1	1200.52	1723839
APPLICATIONS/aprove09/ AProVE09-06.cnf	? (TO)	1200.1	1200.43	1559669
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	1200.1	1200.42	1722563
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	1200.1	1200.39	1722763
industrial/fuhs/medium/ AProVE07-16.cnf	? (TO)	1200.1	1200.45	1716847
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1200.1	1200.64	1716223
mizh-sha0-36-2.cnf	? (TO)	1200.1	1200.51	1723995
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1200.1	1200.45	1582417
goldb-heqc-i10mul.cnf	? (TO)	1200.1	1200.53	1723423
industrial/narain/ clauses-8.cnf	? (TO)	1200.1	1201.19	1718771
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (TO)	1200.1	1200.55	1580337
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.1	1200.49	1718667
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	1200.1	1200.46	1718875
industrial/grieu/ vmpc_24.cnf	? (TO)	1200.1	1200.54	1718511
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.11	1200.64	1716483
schup-l2s-guid-1-k56.cnf	? (TO)	1200.11	1200.42	1724099
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1200.11	1200.45	1715807
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.11	1200.54	1716067
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.11	1200.44	1716119
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (TO)	1200.11	1200.63	1716431
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	1200.11	1200.51	1717055
simon-s03-w08-15.cnf	? (TO)	1200.11	1200.53	1719759
mizh-md5-48-5.cnf	? (TO)	1200.11	1200.42	1721111
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	? (TO)	1200.11	1200.42	1722263
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	1200.11	1200.43	1722163
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	1200.11	1200.53	1723113
manol-pipe-c7nidw.cnf	? (TO)	1200.11	1200.45	1723475
velev-live-uns-2.0-ebuf.cnf	? (TO)	1200.11	1200.45	1723683
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	? (TO)	1200.11	1200.42	1556601
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	? (TO)	1200.11	1200.43	1555457
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1200.11	1200.43	1554677
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	? (TO)	1200.11	1200.44	1580857
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (TO)	1200.11	1200.74	1578777
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	? (TO)	1200.11	1200.66	1563621
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (TO)	1200.11	1200.43	1563569
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	? (TO)	1200.11	1200.45	1563361
APPLICATIONS/aprove09/ AProVE09-12.cnf	? (TO)	1200.11	1200.52	1560345
APPLICATIONS/aprove09/ AProVE09-21.cnf	? (TO)	1200.11	1200.53	1560085
APPLICATIONS/aprove09/ AProVE09-05.cnf	? (TO)	1200.11	1200.42	1560033
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	1200.11	1200.43	1559357
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	1200.11	1200.51	1724203
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	? (TO)	1200.11	1200.72	1579453
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	? (TO)	1200.11	1200.65	1581897
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	? (TO)	1200.11	1200.43	1581949
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	? (TO)	1200.11	1200.42	1562737
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	? (TO)	1200.11	1200.52	1563205
industrial/grieu/ vmpc_29.cnf	? (TO)	1200.12	1200.44	1718563
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	? (TO)	1200.12	1200.43	1582729
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1200.12	1200.43	1557953
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	1200.12	1200.43	1722963
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	1200.12	1200.42	1557693
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	1200.12	1200.44	1556705
goldb-heqc-alu4mul.cnf	? (TO)	1200.12	1200.43	1721007
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	1200.12	1200.54	1721963
APPLICATIONS/aprove09/ AProVE09-13.cnf	? (TO)	1200.12	1200.51	1560293
manol-pipe-g10id.cnf	? (TO)	1200.12	1200.55	1723527
manol-pipe-c6nidw_i.cnf	? (TO)	1200.12	1200.43	1724463
industrial/grieu/ vmpc_28.cnf	? (TO)	1200.12	1200.54	1718615
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	? (TO)	1200.12	1200.42	1562633
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1200.12	1200.57	1580025
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	1200.12	1200.43	1556445
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	? (TO)	1200.13	1200.43	1721713
een-tip-uns-nusmv-t5.B.cnf	? (TO)	1200.13	1200.43	1723371
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	1200.13	1200.43	1721763
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (TO)	1200.13	1200.54	1580077
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	? (TO)	1200.13	1200.53	1579973
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1200.13	1200.55	1582157
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200.13	1200.44	1715859
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	1200.13	1200.45	1721363
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200.13	1200.64	1715755
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	? (TO)	1200.13	1200.55	1563673
velev-pipe-o-uns-1.1-6.cnf	? (TO)	1200.13	1200.47	1723579
APPLICATIONS/aprove09/ AProVE09-10.cnf	? (TO)	1200.13	1200.46	1560813
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	? (TO)	1200.13	1200.62	1577789
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	? (TO)	1200.13	1200.44	1581325
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	1200.13	1200.47	1722363
manol-pipe-c10nidw.cnf	? (TO)	1200.13	1200.43	1720071
goldb-heqc-x1mul.cnf	? (TO)	1200.13	1200.58	1719447
industrial/grieu/ vmpc_26.cnf	? (TO)	1200.13	1200.44	1718719
velev-pipe-uns-1.0-8.cnf	? (TO)	1200.13	1200.49	1724411
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1200.13	1200.43	1557017
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1200.13	1200.45	1717315
manol-pipe-g10nid.cnf	? (TO)	1200.14	1200.47	1720175
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (TO)	1200.14	1200.64	1715963
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	? (TO)	1200.14	1200.8	1577685
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	1200.14	1200.44	1581585
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	? (TO)	1200.14	1200.45	1578933
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1200.14	1200.48	1553377
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	1200.14	1200.46	1721663
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (TO)	1200.14	1200.46	1580753
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1200.14	1199.99	1556237
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	? (TO)	1200.14	1200.56	1563309
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200.14	1200.44	1716587
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	1200.14	1200.66	1581065
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1200.14	1200.66	1579349
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1200.15	1200.72	1717731
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.15	1200.45	1716015
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.15	1200.66	1716379
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (TO)	1200.15	1200.45	1563257
APPLICATIONS/aprove09/ AProVE09-15.cnf	? (TO)	1200.15	1200.56	1560553
manol-pipe-g10bidw.cnf	? (TO)	1200.16	1200.48	1723267
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1200.16	1200.58	1555873
manol-pipe-f9n.cnf	? (TO)	1200.16	1200.47	1723943
industrial/grieu/ vmpc_30.cnf	? (TO)	1200.16	1200.46	1718407
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	1200.16	1200.49	1721813
manol-pipe-c10nid_i.cnf	? (TO)	1200.16	1200.48	1720747
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	? (TO)	1200.17	1200.52	1722013
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	? (TO)	1200.17	1200.56	1577581
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	? (TO)	1200.17	1200.62	1722463
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.17	1200.5	1718459
velev-pipe-sat-1.0-b7.cnf	? (TO)	1200.17	1200.55	1723163
manol-pipe-f10ni.cnf	? (TO)	1200.17	1200.62	1724047
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	? (TO)	1200.18	1200.63	1577633
manol-pipe-c10nidw_s.cnf	? (TO)	1200.18	1200.71	1723215
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	? (TO)	1200.19	1200.73	1719395
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	1200.19	1200.6	1721413
schup-l2s-bc56s-1-k391.cnf	? (TO)	1200.19	1200.68	1719915
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1200.19	1200.6	1553845
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	1200.19	1200.59	1554885
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	1200.19	1200.5	1554521
velev-pipe-sat-1.0-b10.cnf	? (TO)	1200.2	1200.85	1723319
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	1200.2	1200.5	1717783
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	1200.21	1200.64	1555145
goldb-heqc-dalumul.cnf	? (TO)	1200.21	1200.52	1720435
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	? (TO)	1200.21	1200.54	1577737
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	? (TO)	1200.21	1200.53	1719343
schup-l2s-motst-2-k315.cnf	? (TO)	1200.21	1200.75	1720019
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	? (TO)	1200.22	1200.63	1577477
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	? (TO)	1200.26	1200.76	1577841

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	? (MO)	100.541	100.779	1717627
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	? (MO)	100.642	100.678	1717471
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (MO)	127.217	127.461	1717159
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (MO)	129.715	143.788	1719083
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (MO)	137.35	137.39	1717367
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (MO)	173.959	174.081	1717263
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	? (MO)	191.228	191.284	1717679
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	? (MO)	191.599	191.689	1717575
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	? (MO)	192.729	229.192	1563413
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	? (MO)	193.026	193.082	1717419
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	? (MO)	193.422	193.488	1717523
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (MO)	254.317	272.088	1719291
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (MO)	360.385	360.479	1718979
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (MO)	466.155	466.454	1719031
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	? (MO)	467.806	468.7	1717887
velev-vliw-uns-4.0-9C1.cnf	? (MO)	562.317	586.544	1723787
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (MO)	596.216	643.054	1719135
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (MO)	664.893	665.064	1719239
velev-vliw-uns-4.0-9-i1.cnf	? (MO)	774.827	775.16	1719707
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	? (MO)	861.429	861.841	1577529
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (MO)	1030.12	1030.64	1719187
velev-pipe-o-uns-1.0-7.cnf	? (MO)	1117.42	1157.58	1723891
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (MO)	1170.74	1171.04	1718927

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	Signal 6	0.12398	0.124168	1718303
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	Signal 11	104.151	104.179	1555041

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n2_i2_pp.cnf	UNSAT	0.000999	0.00511989	1736863
CRAFTED/parity-games/ instance_n2_i3_pp.cnf	UNSAT	0.000999	0.00509497	1736563
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	UNSAT	0.000999	0.00508992	1726211
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	UNSAT	0.001998	0.00507491	1726264
CRAFTED/parity-games/ instance_n3_i4_pp_ci_ce.cnf	UNSAT	0.139978	0.140068	1736363
CRAFTED/sgen/unsat/ sgen1-unsat-61-100.cnf	UNSAT	5.01324	5.03216	1732013
CRAFTED/parity-games/ instance_n4_i5_pp.cnf	UNSAT	40.5358	40.5597	1737013
CRAFTED/modcircuits/ owp_4vars_5gates.cnf	UNSAT	53.9938	54.0258	1733863
CRAFTED/sgen/unsat/ sgen1-unsat-73-100.cnf	UNSAT	60.7418	60.7878	1732113
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	UNSAT	64.7152	64.7563	1725257
CRAFTED/ramseycube/ Q32inK09.cnf	UNSAT	97.1362	97.1634	1733063
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	UNSAT	344.717	344.837	1725893
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g4.cnf	UNSAT	493.698	493.868	1734663
CRAFTED/sgen/unsat/ sgen1-unsat-85-100.cnf	UNSAT	743.868	744.097	1731913
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	UNSAT	928.564	928.804	1728967

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	SAT	0.013997	0.0149961	1726105
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	SAT	0.016996	0.0175731	1726052
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	SAT	0.018997	0.0202101	1725999
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	SAT	0.025995	0.0265021	1726317
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	SAT	0.031995	0.032279	1730875
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	SAT	0.032994	0.033402	1731193
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	SAT	0.033994	0.0332849	1730981
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	SAT	0.034993	0.035471	1731034
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	SAT	0.035993	0.036124	1730928
CRAFTED/parity-games/ instance_n3_i3_pp_ci_ce.cnf	SAT	0.118981	0.119346	1736413
CRAFTED/parity-games/ instance_n3_i3_pp.cnf	SAT	0.142978	0.141651	1737063
CRAFTED/sgi/ satsgi-n17himBHm20-p0-q146.cnf	SAT	0.165973	0.166589	1734213
CRAFTED/sgi/ satsgi-n18himBHm21-p0-q167.cnf	SAT	0.224964	0.225887	1734363
CRAFTED/sgi/ satsgi-n19himBHm22-p0-q181.cnf	SAT	0.25696	0.258056	1734113
CRAFTED/sgi/ satsgi-n22himBHm25-p0-q229.cnf	SAT	0.365943	0.365891	1734463
CRAFTED/sgi/ satsgi-n22himBHm24-p0-q209.cnf	SAT	0.367943	0.368495	1734163
CRAFTED/sgi/ satsgi-n23himBHm25-p0-q219.cnf	SAT	0.410937	0.41163	1734413
CRAFTED/sgi/ satsgi-n23himBHm26-p0-q248.cnf	SAT	0.431933	0.432389	1734313
CRAFTED/sgi/ satsgi-n23himBHm27-p0-q251.cnf	SAT	0.461928	0.462668	1734563
CRAFTED/sgi/ satsgi-n25himBHm27-p0-q251.cnf	SAT	0.497923	0.4979	1734263
CRAFTED/sgi/ satsgi-n25himBHm29-p0-q290.cnf	SAT	0.532918	0.532266	1734613
CRAFTED/sgi/ sgi-difficult7.cnf	SAT	0.660898	0.661417	1736213
CRAFTED/sgi/ satsgi-n28himBHm30-p0-q333.cnf	SAT	0.671896	0.673067	1734513
CRAFTED/sgi/ sgi-difficult4.cnf	SAT	0.681896	0.682872	1736163
CRAFTED/ramseycube/ Q3inK08.cnf	SAT	0.85387	0.854632	1733013
CRAFTED/parity-games/ instance_n4_i4_pp_ci_ce.cnf	SAT	0.940856	0.94148	1736763
CRAFTED/sgen/sat/ sgen1-sat-160-100.cnf	SAT	1.67074	1.67201	1732463
CRAFTED/parity-games/ instance_n4_i4_pp.cnf	SAT	2.50762	2.50901	1736513
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g10.cnf	SAT	7.42987	7.43105	1734963
CRAFTED/sgen/sat/ sgen1-sat-140-100.cnf	SAT	8.78566	8.79117	1732363
CRAFTED/rbsat/random/ forced/rbsat-v760c43649gyes10.cnf	SAT	29.2116	29.2194	1735213
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes4.cnf	SAT	29.5315	29.5386	1735113
CRAFTED/ramseycube/ Q3inK09.cnf	SAT	60.0239	60.0436	1732663
CRAFTED/sgen/sat/ sgen1-sat-180-100.cnf	SAT	60.8767	60.9034	1732313
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g8.cnf	SAT	72.432	72.4285	1734763
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g1.cnf	SAT	88.5035	88.5298	1735063
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes6.cnf	SAT	105.168	105.205	1735313
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes1.cnf	SAT	146.571	146.607	1735263
CRAFTED/parity-games/ instance_n5_i5_pp.cnf	SAT	215.428	215.507	1736663
CRAFTED/sgi/ new-difficult-22-173-20-80.cnf	SAT	515.752	515.937	1738270
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g10.cnf	SAT	582.484	582.627	1734913
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes4.cnf	SAT	644.085	644.259	1735163
CRAFTED/sgen/sat/ sgen1-sat-200-100.cnf	SAT	820.551	820.905	1732613

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/edgematching/ explicit/em_8_4_5_exp.cnf	? (TO)	1200.02	1200.31	1561697
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1728013
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	? (TO)	1200.02	1200.32	1729921
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1730769
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1725946
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1725363
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g6.cnf	? (TO)	1200.02	1200.51	1734713
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1729762
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1731352
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1731511
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.03	1200.41	1733963
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (TO)	1200.03	1200.32	1727430
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	? (TO)	1200.03	1200.41	1729709
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	? (TO)	1200.03	1200.32	1730345
CRAFTED/parity-games/ instance_n6_i6_pp_ci_ce.cnf	? (TO)	1200.03	1200.42	1737113
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	? (TO)	1200.03	1200.31	1725522
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1200.03	1200.32	1733363
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	? (TO)	1200.03	1200.43	1729285
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (TO)	1200.03	1200.31	1726476
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g2.cnf	? (TO)	1200.04	1200.71	1735713
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g2.cnf	? (TO)	1200.04	1200.33	1735013
CRAFTED/edgematching/ compact/em_7_4_9_cmp.cnf	? (TO)	1200.04	1200.41	1560969
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1727695
CRAFTED/rbsat/random/unforced/ rbsat-v1820c171155g3.cnf	? (TO)	1200.04	1200.72	1734813
CRAFTED/edgematching/ compact/em_8_4_5_cmp.cnf	? (TO)	1200.04	1200.41	1561333
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	1200.04	1200.42	1728808
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	? (TO)	1200.04	1200.42	1729815
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	? (TO)	1200.04	1200.52	1727218
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	1200.05	1200.42	1728649
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (TO)	1200.05	1200.52	1727165
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1726370
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2_autoenc.cnf	? (TO)	1200.05	1200.41	1733513
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1726635
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (TO)	1200.05	1200.54	1730239
CRAFTED/edgematching/ fbcolors/em_7_4_9_fbc.cnf	? (TO)	1200.05	1200.41	1562425
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1729974
CRAFTED/edgematching/ fbcolors/em_7_3_6_fbc.cnf	? (TO)	1200.05	1200.41	1562373
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2_restricted.cnf	? (TO)	1200.05	1200.41	1733313
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	? (TO)	1200.05	1200.44	1726158
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	1200.05	1200.52	1728596
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	? (TO)	1200.05	1200.41	1561801
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1727907
CRAFTED/ edgematching/all/em_7_3_6_all.cnf	? (TO)	1200.05	1200.41	1562009
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	1200.06	1200.42	1735513
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (TO)	1200.06	1200.32	1729126
CRAFTED/parity-games/ instance_n5_i6_pp.cnf	? (TO)	1200.06	1200.41	1736813
CRAFTED/parity-games/ instance_n5_i6_pp_ci_ce.cnf	? (TO)	1200.06	1200.41	1736463
CRAFTED/edgematching/ explicit/em_7_3_6_exp.cnf	? (TO)	1200.06	1200.41	1561749
CRAFTED/edgematching/ compact/em_7_4_8_cmp.cnf	? (TO)	1200.06	1200.51	1561281
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.06	1200.42	1734063
CRAFTED/modcircuits/ mod3block_3vars_9gates_restr.cnf	? (TO)	1200.06	1200.41	1734013
CRAFTED/modcircuits/ mod4block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.06	1200.42	1733613
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	1200.06	1200.42	1726741
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1726794
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1727642
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1728066
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1728437
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	1200.06	1200.42	1728755
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1730080
CRAFTED/parity-games/ instance_n7_i8_pp.cnf	? (TO)	1200.07	1200.43	1737213
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1727112
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1727748
CRAFTED/ramseycube/ Q3inK11.cnf	? (TO)	1200.07	1200.41	1733113
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (TO)	1200.07	1200.63	1727589
CRAFTED/parity-games/ instance_n6_i6_pp.cnf	? (TO)	1200.07	1200.51	1736913
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	1200.07	1200.43	1726847
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	? (TO)	1200.07	1200.42	1731299
CRAFTED/ edgematching/all/em_7_4_9_all.cnf	? (TO)	1200.07	1200.41	1562113
CRAFTED/ramseycube/ Q32inK11.cnf	? (TO)	1200.07	1200.61	1732813
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1727960
CRAFTED/modcircuits/ mod3block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.07	1200.42	1733463
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	? (TO)	1200.07	1200.43	1738323
CRAFTED/modcircuits/ mod5block_2vars_12gates.cnf	? (TO)	1200.07	1200.45	1733413
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	1200.07	1200.42	1729232
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	? (TO)	1200.07	1200.52	1725416
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g4.cnf	? (TO)	1200.07	1200.41	1735613
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	1200.07	1200.42	1729020
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes1.cnf	? (TO)	1200.07	1200.43	1736013
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	? (TO)	1200.07	1200.42	1730027
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes1.cnf	? (TO)	1200.07	1199.92	1736113
CRAFTED/sgi/ new-difficult-28-302-26-75.cnf	? (TO)	1200.07	1200.41	1738376
CRAFTED/ramseycube/ Q3inK13.cnf	? (TO)	1200.07	1200.56	1732763
CRAFTED/sgen/sat/ sgen1-sat-240-100.cnf	? (TO)	1200.07	1200.37	1732563
CRAFTED/ramseycube/ Q3inK10.cnf	? (TO)	1200.07	1199.91	1732863
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (TO)	1200.07	1200.44	1727483
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1725575
CRAFTED/edgematching/ fbcolors/em_9_3_5_fbc.cnf	? (TO)	1200.08	1200.42	1562269
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1726688
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (TO)	1200.08	1200.43	1727324
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1727801
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	? (TO)	1200.08	1200.54	1728172
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	? (TO)	1200.08	1200.43	1728490
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1728914
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	1200.08	1200.52	1729338
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	1200.08	1200.42	1729444
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	1200.08	1200.42	1729391
CRAFTED/modcircuits/ mod3_4vars_6gates.cnf	? (TO)	1200.08	1200.41	1733663
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g5.cnf	? (TO)	1200.08	1200.41	1735663
CRAFTED/rbsat/crafted/ forced/rbsat-v1820c171155gyes6.cnf	? (TO)	1200.08	1200.51	1735813
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes9.cnf	? (TO)	1200.08	1200.41	1736063
CRAFTED/parity-games/ instance_n6_i7_pp.cnf	? (TO)	1200.08	1200.42	1736313
CRAFTED/parity-games/ instance_n7_i7_pp.cnf	? (TO)	1200.08	1200.42	1736963
CRAFTED/sgi/ new-difficult-21-168-19-90.cnf	? (TO)	1200.08	1200.43	1738164
CRAFTED/edgematching/ explicit/em_7_4_9_exp.cnf	? (TO)	1200.08	1200.51	1561541
CRAFTED/sgen/sat/ sgen1-sat-300-100.cnf	? (TO)	1200.09	1200.45	1732513
CRAFTED/ramseycube/ Q32inK10.cnf	? (TO)	1200.09	1200.51	1732963
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	1200.09	1200.52	1729550
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	1200.09	1200.42	1729603
CRAFTED/edgematching/ fbcolors/em_7_4_8_fbc.cnf	? (TO)	1200.09	1200.51	1562477
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1730292
CRAFTED/sgi/ new-difficult-26-243-24-70.cnf	? (TO)	1200.09	1200.53	1738217
CRAFTED/edgematching/ compact/em_9_3_5_cmp.cnf	? (TO)	1200.09	1200.52	1561125
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	? (TO)	1200.09	1200.52	1730186
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1729868
CRAFTED/rbsat/crafted/unforced/ rbsat-v2640c305320g4.cnf	? (TO)	1200.09	1200.51	1735563
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1200.09	1200.41	1735463
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g2.cnf	? (TO)	1200.09	1200.41	1734863
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1725681
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	? (TO)	1200.09	1200.45	1730610
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1725734
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1725469
CRAFTED/modcircuits/ mod3block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.09	1200.41	1733813
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (TO)	1200.09	1200.42	1726900
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	1200.09	1200.52	1727377
CRAFTED/edgematching/ fbcolors/em_11_3_4_fbc.cnf	? (TO)	1200.1	1200.46	1562581
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (TO)	1200.1	1200.42	1730133
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1731405
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	? (TO)	1200.1	1200.52	1731617
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	? (TO)	1200.1	1200.43	1731670
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1731564
CRAFTED/sgen/sat/ sgen1-sat-260-100.cnf	? (TO)	1200.1	1200.47	1732213
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1727059
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (TO)	1200.1	1200.42	1727006
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1725840
CRAFTED/modcircuits/ mod4block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.1	1200.42	1733563
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2_restricted.cnf	? (TO)	1200.1	1200.61	1733763
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1200.1	1200.41	1733913
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	? (TO)	1200.1	1200.45	1725310
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	? (TO)	1200.1	1200.51	1561021
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes3.cnf	? (TO)	1200.1	1200.42	1735363
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes2.cnf	? (TO)	1200.1	1200.42	1735863
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes8.cnf	? (TO)	1200.1	1200.42	1735913
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes8.cnf	? (TO)	1200.1	1200.51	1735963
CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf	? (TO)	1200.1	1200.52	1736613
CRAFTED/edgematching/ explicit/em_9_3_5_exp.cnf	? (TO)	1200.1	1200.52	1561437
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	1200.1	1200.41	1562217
CRAFTED/edgematching/ explicit/em_7_4_8_exp.cnf	? (TO)	1200.1	1200.41	1561645
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1729179
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	1200.1	1200.43	1728861
CRAFTED/ edgematching/all/em_7_4_8_all.cnf	? (TO)	1200.11	1200.51	1562165
CRAFTED/parity-games/ instance_n7_i8_pp_ci_ce.cnf	? (TO)	1200.11	1200.45	1736263
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (TO)	1200.11	1200.74	1728702
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	? (TO)	1200.11	1200.43	1730557
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (TO)	1200.11	1200.74	1727536
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (TO)	1200.11	1200.45	1730451
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2.cnf	? (TO)	1200.11	1200.51	1733213
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	1200.11	1200.53	1728543
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1726529
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	1200.11	1200.43	1729073
CRAFTED/sgi/ new-difficult-20-152-18-95.cnf	? (TO)	1200.11	1200.44	1738111
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1728331
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (TO)	1200.11	1200.56	1729497
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1726582
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	? (TO)	1200.11	1211.21	1726423
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (TO)	1200.11	1200.51	1727854
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1725787
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	? (TO)	1200.11	1200.62	1727271
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	? (TO)	1200.11	1200.47	1731246
CRAFTED/sgen/sat/ sgen1-sat-230-100.cnf	? (TO)	1200.11	1200.47	1737475
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	? (TO)	1200.11	1200.44	1731140
CRAFTED/sgen/sat/ sgen1-sat-290-100.cnf	? (TO)	1200.11	1200.46	1737369
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1725628
CRAFTED/parity-games/ instance_n8_i8_pp.cnf	? (TO)	1200.11	1200.64	1737793
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1731458
CRAFTED/parity-games/ instance_n7_i7_pp_ci_ce.cnf	? (TO)	1200.12	1200.44	1736713
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	? (TO)	1200.12	1200.44	1730716
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (TO)	1200.12	1200.53	1730398
CRAFTED/sgen/unsat/ sgen1-unsat-127-100.cnf	? (TO)	1200.12	1200.56	1737263
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (TO)	1200.12	1200.42	1730822
CRAFTED/modcircuits/ mod5block_1var_7gates.cnf	? (TO)	1200.12	1200.41	1733263
CRAFTED/sgen/unsat/ sgen1-unsat-97-100.cnf	? (TO)	1200.12	1200.56	1731863
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (TO)	1200.12	1200.52	1728278
CRAFTED/sgen/unsat/ sgen1-unsat-145-100.cnf	? (TO)	1200.12	1200.46	1732063
CRAFTED/parity-games/ instance_n8_i9_pp.cnf	? (TO)	1200.12	1200.45	1737846
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes2.cnf	? (TO)	1200.13	1200.52	1735763
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (TO)	1200.13	1200.44	1728225
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (TO)	1200.13	1200.74	1730504
CRAFTED/sgi/ new-difficult-24-193-22-70.cnf	? (TO)	1200.13	1200.43	1738058
CRAFTED/sgen/sat/ sgen1-sat-250-100.cnf	? (TO)	1200.13	1200.56	1737422
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	1200.13	1200.56	1729656
CRAFTED/sgen/unsat/ sgen1-unsat-121-100.cnf	? (TO)	1200.13	1200.56	1732163
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	1200.13	1200.82	1726953
CRAFTED/ramseycube/ Q3inK12.cnf	? (TO)	1200.13	1200.73	1732913
CRAFTED/edgematching/ explicit/em_11_3_4_exp.cnf	? (TO)	1200.14	1200.57	1561385
CRAFTED/sgen/unsat/ sgen1-unsat-115-100.cnf	? (TO)	1200.14	1200.57	1737316
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	? (TO)	1200.14	1200.46	1731087
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	? (TO)	1200.14	1200.44	1728119
CRAFTED/sgen/unsat/ sgen1-unsat-139-100.cnf	? (TO)	1200.14	1200.56	1737528
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	? (TO)	1200.14	1200.55	1730663
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2.cnf	? (TO)	1200.14	1200.02	1733713
CRAFTED/sgen/unsat/ sgen1-unsat-133-100.cnf	? (TO)	1200.14	1200.46	1731963
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes9.cnf	? (TO)	1200.14	1200.44	1735413
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	? (TO)	1200.15	1200.49	1738005
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	1200.15	1200.61	1561073
CRAFTED/edgematching/ all/em_11_3_4_all.cnf	? (TO)	1200.15	1200.46	1562061
CRAFTED/edgematching/ explicit/em_12_2_4_exp.cnf	? (TO)	1200.15	1200.52	1561489
CRAFTED/sgen/sat/ sgen1-sat-270-100.cnf	? (TO)	1200.15	1200.66	1737581
CRAFTED/sgen/unsat/ sgen1-unsat-151-100.cnf	? (TO)	1200.16	1200.46	1737634
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2.cnf	? (TO)	1200.16	1200.59	1733163
CRAFTED/sgen/unsat/ sgen1-unsat-103-100.cnf	? (TO)	1200.16	1200.46	1737687
CRAFTED/sgen/sat/ sgen1-sat-280-100.cnf	? (TO)	1200.16	1200.56	1732263
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	1200.16	1200.46	1561177
CRAFTED/sgen/sat/ sgen1-sat-220-100.cnf	? (TO)	1200.17	1200.47	1732413
CRAFTED/sgen/unsat/ sgen1-unsat-109-100.cnf	? (TO)	1200.17	1200.47	1731813
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	? (TO)	1200.17	1200.68	1728384
CRAFTED/edgematching/ all/em_12_2_4_all.cnf	? (TO)	1200.2	1200.62	1561905
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (TO)	1200.21	1200.61	1737740
CRAFTED/edgematching/ fbcolors/em_12_2_4_fbc.cnf	? (TO)	1200.22	1200.52	1562529
CRAFTED/parity-games/ instance_n8_i9_pp_ci_ce.cnf	? (TO)	1200.23	1200.64	1737952

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/edgematching/ fbcolors/em_14_7_3_fbc.cnf	? (MO)	91.0132	91.0517	1562321
CRAFTED/edgematching/ compact/em_14_7_3_cmp.cnf	? (MO)	94.9316	94.9661	1561229
CRAFTED/edgematching/ all/em_14_7_3_all.cnf	? (MO)	98.762	2486.18	1561957

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n9_i9_pp_ci_ce.cnf	Signal 11	303.147	361.337	1737899

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1028159446-096.cnf	UNSAT	10.2364	10.2425	1517930
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S253750560-086.cnf	UNSAT	12.5491	12.5522	1517966
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1369720750-015.cnf	UNSAT	12.6891	12.6928	1517906
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1906521511-089.cnf	UNSAT	13.175	13.1832	1517978
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S680239195-053.cnf	UNSAT	14.1628	14.1723	1517954
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S23373420-028.cnf	UNSAT	17.2864	17.2915	1517990
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S2043187304-036.cnf	UNSAT	17.6993	17.7075	1517858
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S404185236-001.cnf	UNSAT	19.3011	19.3057	1517942
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S305156909-031.cnf	UNSAT	19.698	19.7065	1518002
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S2025517367-061.cnf	UNSAT	24.1913	24.2091	1517894
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S367138237-029.cnf	UNSAT	25.1842	25.2067	1517918
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1700363952-014.cnf	UNSAT	32.588	32.5995	1517822
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S502087726-095.cnf	UNSAT	36.2915	36.3076	1517882
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1983754128-073.cnf	UNSAT	38.0772	38.087	1517774
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S928666993-098.cnf	UNSAT	39.8999	39.9137	1517810
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1039370030-037.cnf	UNSAT	46.056	46.087	1517210
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1807135406-059.cnf	UNSAT	46.9979	47.0304	1517834
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S999404609-010.cnf	UNSAT	49.3355	49.3573	1517798
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S260616787-042.cnf	UNSAT	53.5949	53.6189	1517870
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S387386125-069.cnf	UNSAT	63.3094	63.3299	1517198
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1694258328-099.cnf	UNSAT	64.2712	64.2882	1517786
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S104085281-076.cnf	UNSAT	64.8711	64.8939	1517186
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S2104277852-078.cnf	UNSAT	70.1603	70.1896	1517222
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1375576340-029.cnf	UNSAT	73.5298	73.5712	1517246
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1394036608-091.cnf	UNSAT	76.1964	76.2281	1516946
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1553390498-064.cnf	UNSAT	84.7521	84.7722	1517234
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S816613570-013.cnf	UNSAT	89.4534	89.5094	1517174
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1580204273-012.cnf	UNSAT	89.6184	89.663	1517846
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S418505498-026.cnf	UNSAT	93.1298	93.1649	1517270
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S125259973-020.cnf	UNSAT	102.166	102.223	1517282
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S596342014-039.cnf	UNSAT	108.172	108.209	1516994
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S531507935-068.cnf	UNSAT	113.272	113.307	1517042
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S131938947-014.cnf	UNSAT	123.437	123.479	1517258
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1916972979-060.cnf	UNSAT	148.321	148.368	1514894
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1136141672-041.cnf	UNSAT	149.235	149.312	1517018
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1854680784-082.cnf	UNSAT	161.3	161.605	1516934
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1353993612-015.cnf	UNSAT	172.306	172.365	1517354
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1305875336-097.cnf	UNSAT	176.848	176.923	1514918
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S572248576-042.cnf	UNSAT	181.705	181.773	1516958
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S712437980-063.cnf	UNSAT	182.052	182.138	1514942
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S845966893-046.cnf	UNSAT	184.061	184.15	1514954
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S492033085-065.cnf	UNSAT	184.744	184.812	1517390
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1410489780-030.cnf	UNSAT	187.785	187.836	1514930
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S559732886-091.cnf	UNSAT	189.085	189.151	1514966
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1331382449-070.cnf	UNSAT	191.564	191.62	1515002
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S785082413-028.cnf	UNSAT	199.8	199.852	1514978
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S122462268-047.cnf	UNSAT	202.755	202.807	1514906
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S291433416-025.cnf	UNSAT	204.96	205.01	1514990
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1035441377-058.cnf	UNSAT	216.398	216.451	1517378
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1159067237-017.cnf	UNSAT	218.114	218.208	1517726
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S393462637-097.cnf	UNSAT	222.527	222.613	1517306
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S565564805-059.cnf	UNSAT	231.183	232.377	1517006
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S444219303-098.cnf	UNSAT	286.389	286.493	1517294
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S2096960818-049.cnf	UNSAT	287.4	287.522	1517030
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1528023000-027.cnf	UNSAT	313.675	313.759	1516982
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1746008863-010.cnf	UNSAT	316.535	316.634	1517714
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S121765931-081.cnf	UNSAT	325.307	325.421	1516970
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S190880026-038.cnf	UNSAT	371.176	371.328	1517762
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1563412474-059.cnf	UNSAT	396.021	396.208	1517342
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1775841359-070.cnf	UNSAT	413.815	413.953	1517402
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1350958473-082.cnf	UNSAT	436.007	435.951	1517366
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S332478069-041.cnf	UNSAT	500.024	499.975	1517330
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S287522321-032.cnf	UNSAT	539.048	539.235	1517318
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S729526068-046.cnf	UNSAT	540.631	540.803	1517666
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1810287895-075.cnf	UNSAT	586.387	586.613	1517678
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S2007898659-069.cnf	UNSAT	602.044	602.22	1517750
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1007745655-097.cnf	UNSAT	658.203	658.466	1517570
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1377066099-004.cnf	UNSAT	678.716	678.928	1517690
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S583379276-046.cnf	UNSAT	756.339	756.569	1517534
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S356738975-073.cnf	UNSAT	770.424	770.646	1517702
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1628763900-004.cnf	UNSAT	770.818	771.083	1517582
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1420449214-092.cnf	UNSAT	812.646	812.925	1515086
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1698591437-083.cnf	UNSAT	826.653	826.949	1515038
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1211704640-033.cnf	UNSAT	889.551	889.769	1515098
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1524836866-036.cnf	UNSAT	891.489	891.785	1517630
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1050568800-025.cnf	UNSAT	892.277	892.563	1515074
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S35186747-095.cnf	UNSAT	893.64	893.956	1515050
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S367498571-066.cnf	UNSAT	896.643	896.895	1515026
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1249441590-066.cnf	UNSAT	904.806	905.117	1517738
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1357790788-074.cnf	UNSAT	906.776	907.034	1515122
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1221988902-087.cnf	UNSAT	917.188	917.451	1515062
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1892788676-021.cnf	UNSAT	958.672	958.934	1517654
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S207294319-099.cnf	UNSAT	970.234	970.601	1515110
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S915600698-006.cnf	UNSAT	978.903	979.223	1517642
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1175850950-017.cnf	UNSAT	997.749	998.14	1517546
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1629955917-055.cnf	UNSAT	1037.9	1038.17	1515014
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S703461330-034.cnf	UNSAT	1061.04	1061.34	1515794
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1703611043-077.cnf	UNSAT	1084.79	1085.25	1515758
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1559668863-058.cnf	UNSAT	1086.87	1087.17	1515734
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S197260469-019.cnf	UNSAT	1149.52	1149.93	1515842
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1772751287-054.cnf	UNSAT	1152.01	1152.33	1515818
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S528193823-041.cnf	UNSAT	1156.84	1157.19	1515746
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S2065372010-022.cnf	UNSAT	1159.47	1159.77	1515806
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1318210982-002.cnf	UNSAT	1160.29	1160.64	1515830
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S2099753268-053.cnf	UNSAT	1160.75	1161.18	1515782
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1339364096-048.cnf	UNSAT	1180.42	1180.88	1516706
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S108799362-035.cnf	UNSAT	1185.77	1186.13	1515770
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1213077873-067.cnf	UNSAT	1193.51	1193.85	1516742

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1036996799-006.cnf	SAT	0.025995	0.0269179	1519118
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S2032263657-035.cnf	SAT	0.027995	0.0285991	1519262
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S208461254-049.cnf	SAT	0.032994	0.0333959	1518722
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2035161427-020.cnf	SAT	0.121981	0.125027	1519070
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S809967194-078.cnf	SAT	0.195969	0.196751	1518458
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1516934767-080.cnf	SAT	0.229964	0.230255	1519130
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S725789261-031.cnf	SAT	0.239962	0.240888	1518710
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1733990810-090.cnf	SAT	0.316951	0.318893	1518998
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S748216286-061.cnf	SAT	0.381941	0.384066	1515566
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1460100153-095.cnf	SAT	0.393939	0.393036	1518254
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1041106011-094.cnf	SAT	0.594909	0.594929	1519166
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1326039470-063.cnf	SAT	0.702892	0.70327	1518602
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1161147107-031.cnf	SAT	0.725888	0.726131	1518206
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1880984131-087.cnf	SAT	0.906861	0.909461	1518350
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1826927554-087.cnf	SAT	0.960853	0.961698	1519214
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S321371087-018.cnf	SAT	1.10483	1.10542	1518986
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1139247531-051.cnf	SAT	1.37279	1.37404	1518314
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S787972994-025.cnf	SAT	1.53477	1.53472	1518662
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S326477539-068.cnf	SAT	1.76173	1.76273	1519154
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S981523907-072.cnf	SAT	2.10868	2.10997	1518506
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1459690542-033.cnf	SAT	2.12668	2.12875	1519238
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1448866403-060.cnf	SAT	2.19167	2.19312	1519250
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S554804223-012.cnf	SAT	2.35964	2.36075	1518926
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1912687159-077.cnf	SAT	2.48362	2.48444	1519178
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S852794659-023.cnf	SAT	2.68159	2.68092	1515434
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1568932519-011.cnf	SAT	2.85656	2.85888	1515410
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1674394075-027.cnf	SAT	3.3155	3.31932	1519094
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1985172968-100.cnf	SAT	3.55946	3.56122	1519106
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S722433227-030.cnf	SAT	3.9364	3.93856	1519286
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1711406314-093.cnf	SAT	4.07638	4.07805	1519322
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1229813320-044.cnf	SAT	4.73628	4.73806	1518854
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1916548023-003.cnf	SAT	4.99024	4.9928	1518782
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1546885609-031.cnf	SAT	5.30319	5.30539	1519046
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1684547485-073.cnf	SAT	5.38018	5.38347	1519226
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1362286908-061.cnf	SAT	5.49616	5.49934	1518266
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1263695887-042.cnf	SAT	5.69513	5.69714	1518698
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1767425240-073.cnf	SAT	5.9051	5.90727	1518554
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1002348653-090.cnf	SAT	6.49801	6.50063	1518890
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S2032726331-082.cnf	SAT	6.577	6.57991	1518542
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1014608490-038.cnf	SAT	6.88195	6.88421	1518338
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S621134782-041.cnf	SAT	6.92395	6.92602	1518194
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S311671104-045.cnf	SAT	7.41887	7.42088	1518302
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S144043535-002.cnf	SAT	7.44787	7.44909	1519310
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1876865608-086.cnf	SAT	7.54685	7.54863	1518446
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S368632549-051.cnf	SAT	9.24359	9.25164	1519298
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1531283922-009.cnf	SAT	9.47856	9.48158	1518590
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S957997002-040.cnf	SAT	9.67953	9.68189	1518866
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2067258640-036.cnf	SAT	10.1944	10.1974	1518974
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1841979702-078.cnf	SAT	10.3104	10.3138	1519190
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S418266958-049.cnf	SAT	10.7674	10.7726	1518518
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S172053238-003.cnf	SAT	12.1971	12.2004	1518578
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1614425450-034.cnf	SAT	12.5901	12.5938	1519058
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1931398869-036.cnf	SAT	13.4989	13.5115	1515422
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S146188995-071.cnf	SAT	14.4528	14.4575	1518182
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2007547542-039.cnf	SAT	15.5306	15.5351	1515446
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S180439591-093.cnf	SAT	15.9626	15.9654	1518290
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S744068878-072.cnf	SAT	16.9814	16.9879	1515374
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S889538696-070.cnf	SAT	17.2264	17.2331	1518398
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S486002104-037.cnf	SAT	19.539	19.5462	1519142
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1666821205-020.cnf	SAT	19.919	19.9154	1518674
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2139292994-055.cnf	SAT	20.5659	20.5751	1515398
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2106599808-035.cnf	SAT	23.6554	23.6637	1519082
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1730125812-056.cnf	SAT	23.9124	23.92	1518914
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1159550149-077.cnf	SAT	24.3953	24.4048	1515458
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1924575376-025.cnf	SAT	24.5903	24.5979	1518950
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1804335510-002.cnf	SAT	25.5951	25.6008	1519202
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S824721511-001.cnf	SAT	27.2978	27.3083	1515386
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1293537826-039.cnf	SAT	28.6726	28.6856	1519274
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S638042053-051.cnf	SAT	28.9206	28.9288	1515314
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1940784272-089.cnf	SAT	29.0346	29.0424	1518278
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1772254584-042.cnf	SAT	32.0331	32.0432	1515530
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1864638535-048.cnf	SAT	32.0801	32.0892	1518614
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S602463346-055.cnf	SAT	33.3089	33.3174	1518074
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1040456712-073.cnf	SAT	33.3279	33.3374	1515470
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S419666888-007.cnf	SAT	36.6764	36.6877	1518530
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S971118900-053.cnf	SAT	37.0984	37.1099	1515590
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1528563858-100.cnf	SAT	41.8566	41.8675	1518878
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S142096783-019.cnf	SAT	42.9185	42.9331	1518494
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1112524719-021.cnf	SAT	43.6764	43.6917	1518650
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S2069223517-023.cnf	SAT	48.8676	48.8841	1518962
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1484713995-092.cnf	SAT	49.8274	49.8425	1516430
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1639151107-094.cnf	SAT	49.8884	49.9039	1516214
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S617358728-082.cnf	SAT	50.3343	50.3499	1519010
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1778559297-006.cnf	SAT	51.7691	51.7838	1518362
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1332067449-041.cnf	SAT	53.4849	53.5038	1518770
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1624574519-076.cnf	SAT	55.1756	55.1922	1518326
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1339293988-069.cnf	SAT	56.1335	56.1513	1518638
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S282405510-004.cnf	SAT	66.7768	66.8024	1515578
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S110290755-003.cnf	SAT	71.8051	71.8303	1518626
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S786890012-057.cnf	SAT	72.66	72.6792	1518434
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S95953046-044.cnf	SAT	76.8563	76.8859	1518026
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1137823545-077.cnf	SAT	80.0198	80.0439	1518746
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1555503917-029.cnf	SAT	82.0415	82.068	1519034
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S714125262-017.cnf	SAT	83.9352	83.9631	1518566
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S402241321-038.cnf	SAT	105.937	105.978	1515518
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S84716411-095.cnf	SAT	106.653	106.687	1518818
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1017443264-065.cnf	SAT	114.143	114.181	1515698
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1977519792-030.cnf	SAT	114.412	114.463	1518170
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1367181683-025.cnf	SAT	120.387	120.43	1519022
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1800466054-025.cnf	SAT	123.881	123.928	1518242
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S984347600-003.cnf	SAT	125.908	125.945	1515506
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S47926000-049.cnf	SAT	129.285	129.323	1515482
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S449556655-088.cnf	SAT	137.621	137.608	1518938
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S308012126-046.cnf	SAT	168.156	168.219	1515602
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2025169165-076.cnf	SAT	179.736	180.662	1518050
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1258122549-031.cnf	SAT	188.073	188.118	1518062
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S178043354-076.cnf	SAT	196.764	196.837	1516226
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S2037556208-016.cnf	SAT	218.488	218.561	1516238
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1771223975-021.cnf	SAT	218.772	218.843	1515362
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S956671877-054.cnf	SAT	225.056	225.113	1518146
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1045096471-025.cnf	SAT	241.216	241.29	1518086
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1707873242-085.cnf	SAT	257.455	257.537	1515542
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1828800850-025.cnf	SAT	261.275	261.351	1516250
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S658989873-070.cnf	SAT	275.015	275.086	1518098
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1514821049-021.cnf	SAT	288.384	288.48	1516262
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S780904324-093.cnf	SAT	301.015	301.146	1518686
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S353643296-086.cnf	SAT	305.576	305.697	1518122
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1429776379-099.cnf	SAT	323.823	323.933	1518410
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2056912842-027.cnf	SAT	366.642	366.788	1518110
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1536609007-088.cnf	SAT	391.489	391.596	1518158
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1163324878-032.cnf	SAT	413.923	414.032	1515710
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S2087271472-092.cnf	SAT	432.365	432.53	1518218
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S247943532-069.cnf	SAT	436.676	436.777	1518134
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1920888253-090.cnf	SAT	442.475	442.644	1515554
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S432895007-058.cnf	SAT	502.21	502.353	1516478
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S817309453-059.cnf	SAT	503.193	503.385	1518842
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1338462531-082.cnf	SAT	511.159	511.289	1518902
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1494961823-060.cnf	SAT	543.294	543.453	1518014
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S746386799-050.cnf	SAT	550.282	550.468	1516286
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S393518083-009.cnf	SAT	582.878	583.027	1515494
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1223878722-065.cnf	SAT	596.547	596.736	1516538
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1481888618-011.cnf	SAT	622.523	622.769	1515302
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S398733532-072.cnf	SAT	677.633	677.853	1515254
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1366769180-095.cnf	SAT	685.174	685.43	1516454
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1879859331-044.cnf	SAT	726.195	726.436	1518386
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1858385213-060.cnf	SAT	743.74	743.963	1516298
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1096716652-027.cnf	SAT	750.204	750.4	1516274
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1206040031-030.cnf	SAT	769.24	769.449	1516310
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1422278005-004.cnf	SAT	787.595	787.82	1515674
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S2142680239-019.cnf	SAT	857.511	857.855	1518758
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S45592023-054.cnf	SAT	862.072	862.31	1518374
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1850025790-078.cnf	SAT	865.068	865.33	1515290
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S884941173-092.cnf	SAT	903.557	903.8	1515326
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S326668183-079.cnf	SAT	966.283	966.553	1516322
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1963731659-060.cnf	SAT	985.533	985.889	1515650

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S914323646-060.cnf	? (TO)	1200.02	1200.41	1514618
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S745855171-090.cnf	? (TO)	1200.02	1200.32	1514810
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1554646792-012.cnf	? (TO)	1200.02	1200.31	1514198
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S51132115-023.cnf	? (TO)	1200.02	1200.41	1514450
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1551099861-042.cnf	? (TO)	1200.02	1200.41	1516046
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S2070759512-014.cnf	? (TO)	1200.02	1200.31	1514714
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S322778960-054.cnf	? (TO)	1200.02	1200.41	1514498
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S779309989-069.cnf	? (TO)	1200.02	1200.42	1513802
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S358640743-023.cnf	? (TO)	1200.02	1200.41	1515902
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S522321670-058.cnf	? (TO)	1200.03	1200.32	1513214
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S754967851-033.cnf	? (TO)	1200.03	1200.62	1516334
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S433356712-017.cnf	? (TO)	1200.03	1200.42	1518806
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1640054673-078.cnf	? (TO)	1200.03	1205.92	1516586
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf	? (TO)	1200.03	1200.41	1513814
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf	? (TO)	1200.03	1200.41	1514078
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S2126130224-030.cnf	? (TO)	1200.03	1200.41	1514462
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S7007454-009.cnf	? (TO)	1200.03	1200.42	1513694
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S956556686-037.cnf	? (TO)	1200.03	1200.42	1513442
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S91288590-071.cnf	? (TO)	1200.03	1200.42	1513514
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1568578307-064.cnf	? (TO)	1200.03	1200.32	1513142
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1249224492-031.cnf	? (TO)	1200.03	1200.42	1513358
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S948914005-013.cnf	? (TO)	1200.03	1200.42	1513226
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S697681291-080.cnf	? (TO)	1200.03	1200.42	1516850
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S457856978-061.cnf	? (TO)	1200.03	1200.52	1517558
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1912214877-051.cnf	? (TO)	1200.03	1200.52	1512770
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S115851319-100.cnf	? (TO)	1200.03	1200.32	1512746
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1085378176-050.cnf	? (TO)	1200.03	1200.32	1513682
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1748152762-086.cnf	? (TO)	1200.03	1200.32	1512662
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S512486692-050.cnf	? (TO)	1200.03	1200.41	1516382
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1192890414-033.cnf	? (TO)	1200.03	1200.42	1513070
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S74035269-088.cnf	? (TO)	1200.04	1200.42	1513610
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S762724712-048.cnf	? (TO)	1200.04	1200.41	1514066
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1731702106-010.cnf	? (TO)	1200.04	1200.42	1516766
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf	? (TO)	1200.04	1200.41	1514138
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S315403000-060.cnf	? (TO)	1200.04	1200.32	1512698
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1441840675-053.cnf	? (TO)	1200.04	1200.52	1512818
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf	? (TO)	1200.04	1200.41	1514054
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S2061874746-039.cnf	? (TO)	1200.04	1200.42	1517102
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1146593655-045.cnf	? (TO)	1200.04	1200.41	1516466
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S645163129-012.cnf	? (TO)	1200.04	1200.42	1516730
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S907861678-077.cnf	? (TO)	1200.05	1200.42	1513430
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1811295114-056.cnf	? (TO)	1200.05	1200.41	1514582
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1339275181-076.cnf	? (TO)	1200.05	1200.51	1514174
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S159251645-087.cnf	? (TO)	1200.05	1200.52	1516922
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1826325374-100.cnf	? (TO)	1200.05	1200.42	1516718
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803323266-025.cnf	? (TO)	1200.05	1200.41	1516646
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S287307030-088.cnf	? (TO)	1200.05	1200.42	1516694
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S80067159-015.cnf	? (TO)	1200.05	1200.32	1515182
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S1154116462-097.cnf	? (TO)	1200.05	1200.52	1517126
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S2060380282-019.cnf	? (TO)	1200.05	1200.41	1516562
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S926047226-039.cnf	? (TO)	1200.05	1200.32	1517618
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1354285755-030.cnf	? (TO)	1200.05	1200.41	1516406
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S678706275-057.cnf	? (TO)	1200.05	1200.53	1512878
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S882603971-022.cnf	? (TO)	1200.05	1200.52	1512794
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S900737394-048.cnf	? (TO)	1200.05	1200.42	1518830
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1503318847-091.cnf	? (TO)	1200.05	1200.42	1515638
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1879656894-046.cnf	? (TO)	1200.05	1200.42	1515722
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S986324446-009.cnf	? (TO)	1200.05	1200.32	1515338
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S685953260-065.cnf	? (TO)	1200.05	1200.42	1513010
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S650356257-052.cnf	? (TO)	1200.05	1200.41	1514750
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S56507352-034.cnf	? (TO)	1200.05	1200.51	1514678
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1251522734-073.cnf	? (TO)	1200.05	1200.32	1514870
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1864473452-037.cnf	? (TO)	1200.05	1200.42	1513502
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf	? (TO)	1200.05	1200.32	1513754
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1394630553-009.cnf	? (TO)	1200.06	1200.42	1516154
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S2142794689-088.cnf	? (TO)	1200.06	1200.51	1515986
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S193214747-044.cnf	? (TO)	1200.06	1200.42	1513166
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1540921235-015.cnf	? (TO)	1200.06	1200.52	1516898
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1618450766-063.cnf	? (TO)	1200.06	1200.51	1513898
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1388268034-092.cnf	? (TO)	1200.06	1200.92	1512782
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S579205610-033.cnf	? (TO)	1200.06	1200.41	1513982
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S632066493-060.cnf	? (TO)	1200.06	1200.52	1514846
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S914952752-019.cnf	? (TO)	1200.06	1200.52	1514822
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S155821307-034.cnf	? (TO)	1200.06	1200.52	1512830
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S821759333-092.cnf	? (TO)	1200.06	1200.51	1514102
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf	? (TO)	1200.06	1200.51	1514366
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1818347447-078.cnf	? (TO)	1200.06	1200.51	1515998
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S339800239-026.cnf	? (TO)	1200.06	1200.41	1514510
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S279212213-020.cnf	? (TO)	1200.06	1200.41	1513850
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1564075794-028.cnf	? (TO)	1200.06	1200.52	1517498
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S441484366-048.cnf	? (TO)	1200.06	1200.42	1513322
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S942507261-096.cnf	? (TO)	1200.06	1200.52	1513310
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2125310989-062.cnf	? (TO)	1200.06	1200.51	1515914
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf	? (TO)	1200.06	1200.42	1513778
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S2083487609-068.cnf	? (TO)	1200.06	1199.92	1514882
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf	? (TO)	1200.06	1207.01	1513910
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S799705985-049.cnf	? (TO)	1200.06	1200.42	1516778
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1457384322-029.cnf	? (TO)	1200.06	1200.42	1517522
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S327274323-044.cnf	? (TO)	1200.06	1200.42	1513562
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1723900160-044.cnf	? (TO)	1200.06	1200.42	1515230
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S638051453-097.cnf	? (TO)	1200.06	1200.42	1517474
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1736708510-089.cnf	? (TO)	1200.06	1200.52	1516202
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1718100253-004.cnf	? (TO)	1200.06	1200.52	1516166
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S905029262-097.cnf	? (TO)	1200.06	1200.41	1516142
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S857870897-089.cnf	? (TO)	1200.06	1200.41	1516010
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S349436298-004.cnf	? (TO)	1200.06	1200.42	1518038
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S541865505-057.cnf	? (TO)	1200.06	1200.42	1513622
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S72273909-010.cnf	? (TO)	1200.06	1200.41	1516622
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S289069074-070.cnf	? (TO)	1200.06	1200.42	1515866
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1906075351-024.cnf	? (TO)	1200.06	1200.52	1513586
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1378953985-075.cnf	? (TO)	1200.06	1200.42	1513382
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S249585100-059.cnf	? (TO)	1200.06	1200.42	1512614
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1322153318-039.cnf	? (TO)	1200.06	1200.72	1512554
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S195213520-027.cnf	? (TO)	1200.06	1200.51	1513934
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1195310117-069.cnf	? (TO)	1200.06	1200.41	1514234
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1610649331-094.cnf	? (TO)	1200.06	1200.51	1516058
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S704699380-099.cnf	? (TO)	1200.06	1200.72	1512542
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S595075179-058.cnf	? (TO)	1200.07	1200.51	1514150
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S2054922493-058.cnf	? (TO)	1200.07	1200.82	1512758
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S2059720696-001.cnf	? (TO)	1200.07	1200.52	1513670
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S501150091-001.cnf	? (TO)	1200.07	1200.52	1512494
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1266438269-016.cnf	? (TO)	1200.07	1200.41	1516082
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2054549948-012.cnf	? (TO)	1200.07	1200.42	1512602
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2088224617-083.cnf	? (TO)	1200.07	1200.52	1512518
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1796956909-029.cnf	? (TO)	1200.07	1200.41	1516022
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S822708255-070.cnf	? (TO)	1200.07	1200.51	1514222
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1602291491-023.cnf	? (TO)	1200.07	1200.42	1516826
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf	? (TO)	1200.07	1200.41	1514606
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1185462553-011.cnf	? (TO)	1200.07	1200.42	1512722
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1171422074-087.cnf	? (TO)	1200.07	1200.51	1516070
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S184801254-020.cnf	? (TO)	1200.07	1200.51	1515854
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S28271012-055.cnf	? (TO)	1200.07	1200.42	1517054
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S743448446-027.cnf	? (TO)	1200.07	1200.42	1512938
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1543261951-042.cnf	? (TO)	1200.07	1200.42	1513454
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1758422766-080.cnf	? (TO)	1200.07	1200.42	1515938
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S179568577-034.cnf	? (TO)	1200.07	1200.52	1517090
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S644655157-049.cnf	? (TO)	1200.07	1200.52	1515614
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S318878687-017.cnf	? (TO)	1200.07	1200.52	1513154
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S517464300-073.cnf	? (TO)	1200.07	1200.42	1517066
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S179172230-011.cnf	? (TO)	1200.07	1200.52	1515686
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1773173258-010.cnf	? (TO)	1200.07	1200.51	1514642
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S357555833-073.cnf	? (TO)	1200.07	1200.42	1515626
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1767813611-042.cnf	? (TO)	1200.07	1200.42	1515266
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2088061175-062.cnf	? (TO)	1200.07	1200.51	1514570
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S375588147-050.cnf	? (TO)	1200.07	1200.42	1513190
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1736056721-032.cnf	? (TO)	1200.07	1200.52	1514786
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf	? (TO)	1200.07	1200.41	1513862
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf	? (TO)	1200.07	1200.41	1514090
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S870840347-014.cnf	? (TO)	1200.07	1200.42	1513646
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S839302453-094.cnf	? (TO)	1200.07	1200.51	1513958
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf	? (TO)	1200.07	1200.41	1514318
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1992353905-004.cnf	? (TO)	1200.07	1200.52	1513334
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S2044894925-062.cnf	? (TO)	1200.07	1200.51	1514018
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S400088537-049.cnf	? (TO)	1200.07	1199.92	1516502
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S918173205-035.cnf	? (TO)	1200.07	1200.52	1515158
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1183359164-025.cnf	? (TO)	1200.07	1200.52	1512686
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S906020180-093.cnf	? (TO)	1200.07	1200.41	1514390
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1284372491-036.cnf	? (TO)	1200.08	1200.42	1512530
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1017667294-044.cnf	? (TO)	1200.08	1200.42	1513574
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1295462378-089.cnf	? (TO)	1200.08	1200.42	1513418
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf	? (TO)	1200.08	1200.52	1513730
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf	? (TO)	1200.08	1200.51	1514162
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S2083778933-085.cnf	? (TO)	1200.08	1200.42	1515194
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1070443005-075.cnf	? (TO)	1200.08	1200.52	1515206
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1040507052-028.cnf	? (TO)	1200.08	1200.52	1512590
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1253795703-015.cnf	? (TO)	1200.08	1200.52	1512890
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S144924920-056.cnf	? (TO)	1200.08	1200.42	1512842
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1970456972-046.cnf	? (TO)	1200.08	1200.43	1513022
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1127319144-058.cnf	? (TO)	1200.08	1200.42	1513202
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S266028630-005.cnf	? (TO)	1200.08	1200.52	1513238
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S592525179-032.cnf	? (TO)	1200.08	1200.42	1513466
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S268463339-081.cnf	? (TO)	1200.08	1200.41	1513922
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf	? (TO)	1200.08	1200.52	1513706
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S688804305-073.cnf	? (TO)	1200.08	1200.41	1513994
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1813642436-099.cnf	? (TO)	1200.08	1200.41	1514246
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S17277413-072.cnf	? (TO)	1200.08	1200.41	1514438
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1279315365-067.cnf	? (TO)	1200.08	1200.41	1514546
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S102181364-052.cnf	? (TO)	1200.08	1200.52	1514858
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S2119656249-086.cnf	? (TO)	1200.08	1200.52	1514774
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2141146009-040.cnf	? (TO)	1200.08	1200.41	1515878
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S254828838-055.cnf	? (TO)	1200.08	1200.51	1515974
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1900558626-069.cnf	? (TO)	1200.08	1200.42	1515950
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S599916448-096.cnf	? (TO)	1200.08	1200.52	1516034
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803029538-050.cnf	? (TO)	1200.08	1200.42	1516682
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S709270457-007.cnf	? (TO)	1200.08	1200.51	1516550
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S900957093-043.cnf	? (TO)	1200.08	1200.42	1516790
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1048138627-064.cnf	? (TO)	1200.08	1200.52	1516862
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1988754311-026.cnf	? (TO)	1200.08	1200.41	1516658
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S2082290699-014.cnf	? (TO)	1200.09	1200.41	1514486
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1549575664-035.cnf	? (TO)	1200.09	1200.52	1513106
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf	? (TO)	1200.09	1200.72	1513790
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1611899384-022.cnf	? (TO)	1200.09	1200.52	1513058
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1850138369-006.cnf	? (TO)	1200.09	1200.52	1512566
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S1750991629-037.cnf	? (TO)	1200.09	1200.42	1517162
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1989329161-018.cnf	? (TO)	1200.09	1200.51	1514522
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2028777924-038.cnf	? (TO)	1200.09	1200.41	1515926
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1718226278-096.cnf	? (TO)	1200.09	1200.42	1516358
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S805234188-084.cnf	? (TO)	1200.09	1200.52	1512806
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S400162545-095.cnf	? (TO)	1200.09	1200.42	1516094
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S251246256-047.cnf	? (TO)	1200.09	1200.42	1512626
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S859578263-029.cnf	? (TO)	1200.09	1200.41	1513874
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S565763763-051.cnf	? (TO)	1200.09	1200.42	1518422
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2073320038-053.cnf	? (TO)	1200.09	1200.52	1516106
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S547165541-056.cnf	? (TO)	1200.09	1200.42	1513658
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1724014998-099.cnf	? (TO)	1200.09	1200.42	1512710
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1334593800-018.cnf	? (TO)	1200.09	1200.42	1512866
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S227954525-082.cnf	? (TO)	1200.09	1200.52	1518230
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2058039218-006.cnf	? (TO)	1200.09	1200.52	1516190
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S834811574-084.cnf	? (TO)	1200.09	1200.42	1516370
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1797123396-073.cnf	? (TO)	1200.09	1200.62	1512674
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S826724848-048.cnf	? (TO)	1200.09	1200.41	1514666
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf	? (TO)	1200.09	1200.51	1514354
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1419235015-056.cnf	? (TO)	1200.09	1200.51	1514426
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf	? (TO)	1200.09	1200.41	1514006
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S568017735-066.cnf	? (TO)	1200.09	1200.41	1514378
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S285229208-001.cnf	? (TO)	1200.09	1200.42	1517606
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S612955126-075.cnf	? (TO)	1200.09	1200.41	1514306
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1049921489-034.cnf	? (TO)	1200.09	1200.42	1513346
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf	? (TO)	1200.09	1200.52	1513766
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S853819067-006.cnf	? (TO)	1200.09	1200.42	1517486
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S500426663-025.cnf	? (TO)	1200.09	1200.51	1514030
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S2034442711-054.cnf	? (TO)	1200.09	1200.42	1517594
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S2037268960-098.cnf	? (TO)	1200.09	1200.42	1517426
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S688769362-007.cnf	? (TO)	1200.09	1200.42	1517150
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1818639567-059.cnf	? (TO)	1200.09	1200.42	1513598
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S139794312-098.cnf	? (TO)	1200.09	1200.41	1514402
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1849057034-020.cnf	? (TO)	1200.09	1200.42	1513526
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S486178562-011.cnf	? (TO)	1200.09	1200.42	1516910
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1331813943-033.cnf	? (TO)	1200.09	1200.42	1516886
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1492329924-074.cnf	? (TO)	1200.09	1200.42	1515350
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1404929091-050.cnf	? (TO)	1200.09	1200.42	1517414
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S2140929154-062.cnf	? (TO)	1200.09	1200.42	1513262
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1332146811-066.cnf	? (TO)	1200.09	1200.41	1514534
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf	? (TO)	1200.09	1200.41	1513970
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S566590366-099.cnf	? (TO)	1200.09	1200.52	1513550
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1695726805-003.cnf	? (TO)	1200.09	1200.42	1513298
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1294530132-092.cnf	? (TO)	1200.09	1200.51	1514210
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S884764237-004.cnf	? (TO)	1200.09	1200.52	1515890
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S162003179-087.cnf	? (TO)	1200.09	1200.41	1514414
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S267191961-079.cnf	? (TO)	1200.09	1200.52	1515170
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S342542912-045.cnf	? (TO)	1200.09	1200.52	1516634
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S284173264-081.cnf	? (TO)	1200.09	1200.42	1516418
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S449511205-064.cnf	? (TO)	1200.1	1200.52	1518734
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf	? (TO)	1200.1	1200.41	1514342
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S420719158-080.cnf	? (TO)	1200.1	1200.51	1514630
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf	? (TO)	1200.1	1200.41	1513838
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf	? (TO)	1200.1	1200.41	1514654
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S15767910-042.cnf	? (TO)	1200.1	1200.41	1514726
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1971658345-089.cnf	? (TO)	1200.1	1200.42	1514798
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S520696524-059.cnf	? (TO)	1200.1	1200.42	1513742
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf	? (TO)	1200.1	1200.41	1513826
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S221596758-009.cnf	? (TO)	1200.1	1200.51	1514702
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1766907733-036.cnf	? (TO)	1200.1	1200.52	1513130
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1961115887-052.cnf	? (TO)	1200.1	1200.52	1513094
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1481598919-023.cnf	? (TO)	1200.1	1200.42	1515218
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1376127278-008.cnf	? (TO)	1200.1	1200.72	1515278
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1313163883-027.cnf	? (TO)	1200.1	1200.43	1513082
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S962875623-008.cnf	? (TO)	1200.1	1200.43	1512974
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1606932551-072.cnf	? (TO)	1200.1	1200.52	1517438
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1281410666-045.cnf	? (TO)	1200.1	1200.43	1513034
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S2124311399-085.cnf	? (TO)	1200.1	1200.42	1512902
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2142489608-055.cnf	? (TO)	1200.1	1200.42	1516130
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1482824652-097.cnf	? (TO)	1200.1	1200.52	1515962
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1299934729-015.cnf	? (TO)	1200.1	1200.52	1516178
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S603077945-019.cnf	? (TO)	1200.1	1200.41	1516394
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1954748117-061.cnf	? (TO)	1200.1	1200.42	1512734
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1353769076-009.cnf	? (TO)	1200.1	1200.42	1512638
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S445910413-047.cnf	? (TO)	1200.1	1200.41	1516526
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1895787950-064.cnf	? (TO)	1200.1	1200.42	1516514
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S975048338-088.cnf	? (TO)	1200.1	1200.42	1517138
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S839983432-073.cnf	? (TO)	1200.1	1200.51	1516598
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1723021362-073.cnf	? (TO)	1200.1	1200.42	1516442
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S844931093-069.cnf	? (TO)	1200.1	1200.42	1518470
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1803805764-016.cnf	? (TO)	1200.1	1200.42	1516754
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S515665970-021.cnf	? (TO)	1200.1	1200.72	1515134
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S310111511-029.cnf	? (TO)	1200.1	1200.41	1514270
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf	? (TO)	1200.1	1200.51	1514114
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S648763183-023.cnf	? (TO)	1200.1	1200.41	1514186
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1089910525-056.cnf	? (TO)	1200.1	1200.42	1516874
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1352224201-070.cnf	? (TO)	1200.1	1200.52	1513370
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S285713182-059.cnf	? (TO)	1200.1	1200.52	1513538
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1845944120-011.cnf	? (TO)	1200.1	1200.42	1513406
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S820736259-091.cnf	? (TO)	1200.1	1200.42	1517114
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S432776913-077.cnf	? (TO)	1200.1	1200.52	1513490
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1250067652-054.cnf	? (TO)	1200.1	1200.42	1517450
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf	? (TO)	1200.1	1200.41	1514330
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1726986756-053.cnf	? (TO)	1200.1	1200.41	1514474
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1256544997-019.cnf	? (TO)	1200.1	1200.51	1514258
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S136987316-008.cnf	? (TO)	1200.1	1200.42	1513718
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1550223396-041.cnf	? (TO)	1200.1	1200.41	1514594
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1119648091-064.cnf	? (TO)	1200.11	1200.42	1512962
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1153031014-012.cnf	? (TO)	1200.11	1200.52	1515662
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1178729443-051.cnf	? (TO)	1200.11	1200.52	1513478
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S886725553-011.cnf	? (TO)	1200.11	1200.42	1513118
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1735544520-075.cnf	? (TO)	1200.11	1200.42	1516802
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S814638510-058.cnf	? (TO)	1200.11	1200.42	1513634
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1857201443-029.cnf	? (TO)	1200.11	1200.41	1514294
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1573578038-005.cnf	? (TO)	1200.11	1200.42	1512854
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S45173584-020.cnf	? (TO)	1200.11	1200.42	1512578
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1736471436-014.cnf	? (TO)	1200.11	1200.52	1512650
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1500472284-060.cnf	? (TO)	1200.11	1200.52	1513046
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S452919966-071.cnf	? (TO)	1200.11	1200.62	1513286
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1645769281-097.cnf	? (TO)	1200.11	1200.51	1516490
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1402156840-093.cnf	? (TO)	1200.11	1200.62	1516574
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf	? (TO)	1200.11	1200.51	1514282
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1794178048-059.cnf	? (TO)	1200.11	1200.51	1516346
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1598052044-078.cnf	? (TO)	1200.11	1200.52	1517462
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1510966387-018.cnf	? (TO)	1200.11	1200.41	1514690
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S661850551-087.cnf	? (TO)	1200.11	1200.52	1512926
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1136894336-075.cnf	? (TO)	1200.11	1200.52	1513274
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S51205200-028.cnf	? (TO)	1200.11	1200.41	1516670
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1077410718-040.cnf	? (TO)	1200.11	1200.52	1517510
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S377647456-019.cnf	? (TO)	1200.11	1200.51	1514762
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1949086545-083.cnf	? (TO)	1200.11	1200.42	1518482
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf	? (TO)	1200.11	1200.41	1514126
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1525918493-008.cnf	? (TO)	1200.12	1200.41	1516118
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2015297474-031.cnf	? (TO)	1200.12	1200.52	1512506
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S257485978-084.cnf	? (TO)	1200.12	1200.52	1514834
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S23858409-056.cnf	? (TO)	1200.12	1200.52	1518794
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S21800963-085.cnf	? (TO)	1200.12	1200.41	1513886
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S819692891-023.cnf	? (TO)	1200.12	1200.52	1516610
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S439075063-023.cnf	? (TO)	1200.12	1200.41	1513946
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S149116968-021.cnf	? (TO)	1200.12	1200.52	1516838
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1588298513-036.cnf	? (TO)	1200.12	1200.52	1513250
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S211141966-058.cnf	? (TO)	1200.12	1200.63	1512986
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S374947955-075.cnf	? (TO)	1200.12	1200.52	1517078
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S274764005-003.cnf	? (TO)	1200.12	1200.41	1514042
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1018145191-052.cnf	? (TO)	1200.12	1200.52	1512998
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S219795104-099.cnf	? (TO)	1200.12	1200.51	1514738
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1141213963-005.cnf	? (TO)	1200.12	1200.41	1514558
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1897376969-026.cnf	? (TO)	1200.12	1200.42	1516814
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1788451776-008.cnf	? (TO)	1200.12	1200.62	1512914
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S2051339669-029.cnf	? (TO)	1200.12	1200.72	1513178
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1738391204-028.cnf	? (TO)	1200.12	1200.52	1512950
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1086008090-058.cnf	? (TO)	1200.12	1200.52	1515242
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1802626390-033.cnf	? (TO)	1200.12	1200.52	1513394
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S578339356-013.cnf	? (TO)	1200.13	1200.42	1515146

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

Result page for solver march_nn nn (complete)

Category "applications instances" (APPLICATION)

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

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

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

Solver exceeded the memory limit (no solution given) (23 runs) [Show/Hide]

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

Category "crafted instances" (CRAFTED)

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

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

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

Solver exceeded the memory limit (no solution given) (3 runs) [Show/Hide]

Solver was terminated by a signal (1 run) [Show/Hide]

Category "random instances" (RANDOM)

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

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

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