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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
aloul-chnl11-13.cnf	UNSAT	0.431933	0.43253	1720366
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	3.85341	3.85515	1718806
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	36.5284	36.5401	1717974
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	37.5743	37.5959	1717922

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/aprove09/ AProVE09-13.cnf	SAT	10.7194	10.7263	1560276
APPLICATIONS/aprove09/ AProVE09-03.cnf	SAT	145.233	145.31	1560640
APPLICATIONS/aprove09/ AProVE09-22.cnf	SAT	259.893	259.975	1560432
APPLICATIONS/aprove09/ AProVE09-01.cnf	SAT	360.469	360.635	1560380
industrial/grieu/ vmpc_24.cnf	SAT	710.871	711.057	1718494
APPLICATIONS/aprove09/ AProVE09-11.cnf	SAT	973.459	973.717	1560848

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
mizh-md5-48-5.cnf	?	1199.87	1200.17	1721094
manol-pipe-g6bi.cnf	?	1199.88	1200.18	1723718
mizh-md5-47-3.cnf	?	1199.89	1200.19	1719482
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	?	1199.9	1200.28	1553256
vange-col-abb313GPIA-9-c.cnf	?	1199.92	1200.27	1720314
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	?	1199.92	1200.22	1722146
manol-pipe-g7nidw.cnf	?	1199.92	1200.35	1724290
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	?	1199.93	1200.24	1716674
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	?	1199.93	1200.28	1563084
goldb-heqc-i10mul.cnf	?	1199.93	1200.24	1723406
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	?	1199.94	1200.29	1723096
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	?	1199.94	1200.41	1721196
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	?	1199.95	1200.37	1722246
manol-pipe-c6bidw_i.cnf	?	1199.95	1200.35	1720262
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	?	1199.96	1200.51	1581724
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	?	1199.96	1200.32	1562668
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	?	1199.96	1200.39	1562928
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	?	1199.96	1200.29	1723046
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	?	1199.98	1200.3	1722996
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	?	1199.99	1200.33	1721746
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	?	1199.99	1200.45	1721146
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	?	1199.99	1200.4	1722096
simon-s02b-k2f-gr-rcs-w8.cnf	?	1199.99	1200.35	1724186
schup-l2s-guid-1-k56.cnf	?	1199.99	1200.33	1724082
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	?	1199.99	1200.31	1563032
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	?	1200	1200.4	1721796
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	?	1200	1200.32	1717454
mizh-md5-47-4.cnf	?	1200	1200.32	1720522
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	?	1200	1200.38	1578188
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	?	1200.01	1200.36	1722496
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	?	1200.01	1200.31	1579384
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	?	1200.01	1200.32	1563188
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	?	1200.01	1200.33	1557468
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	?	1200.02	1199.89	1721696
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	?	1200.02	1200.38	1717194
industrial/fuhs/hard/ AProVE07-01.cnf	?	1200.03	1200.38	1716882
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	?	1200.04	1200.36	1722946
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	?	1200.04	1200.46	1721246
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	?	1200.04	1200.4	1562876
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	?	1200.05	1200.37	1718182
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	?	1200.05	1200.39	1721846
industrial/fuhs/hard/ AProVE07-27.cnf	?	1200.06	1200.47	1717090
simon-s02b-dp11u10.cnf	?	1200.07	1200.4	1723822
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	?	1200.08	1200.38	1722546
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	?	1200.09	1200.39	1556688
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	?	1200.09	1200.39	1721646
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	?	1200.11	1200.4	1721946

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (TO)	1200.03	1200.32	1563552
hoons-vbmc-lucky7.cnf	? (TO)	1200.05	1200.42	1719846
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1200.05	1200.64	1717350
APPLICATIONS/aprove09/ AProVE09-21.cnf	? (TO)	1200.06	1200.35	1560068
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	1200.06	1200.44	1719274
industrial/grieu/ vmpc_25.cnf	? (TO)	1200.06	1200.41	1718338
manol-pipe-c10nid_i.cnf	? (TO)	1200.07	1200.43	1720730
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	? (TO)	1200.07	1200.7	1553308
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	1200.07	1200.64	1555128
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	1200.07	1200.57	1722746
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.07	1200.45	1716362
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	? (TO)	1200.07	1200.66	1577512
manol-pipe-c9.cnf	? (TO)	1200.07	1200.43	1724342
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	? (TO)	1200.07	1200.37	1717610
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	? (TO)	1200.08	1200.42	1721296
velev-pipe-o-uns-1.0-7.cnf	? (TO)	1200.09	1200.5	1723874
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (TO)	1200.09	1200.44	1580736
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1200.09	1201.04	1717142
manol-pipe-g10bidw.cnf	? (TO)	1200.1	1200.53	1723250
APPLICATIONS/aprove09/ AProVE09-17.cnf	? (TO)	1200.1	1200.42	1559704
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (TO)	1200.1	1200.52	1555232
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	? (TO)	1200.1	1200.53	1559184
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1200.1	1200.72	1557000
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	? (TO)	1200.1	1200.56	1577564
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1200.1	1207.05	1579332
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1200.1	1200.65	1580008
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	1200.1	1200.4	1721346
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	? (TO)	1200.1	1200.63	1563448
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	? (TO)	1200.1	1200.44	1562824
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	1200.1	1200.54	1717766
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.1	1200.45	1716726
manol-pipe-c6nidw_i.cnf	? (TO)	1200.11	1200.57	1724446
velev-live-uns-2.0-ebuf.cnf	? (TO)	1200.11	1200.49	1723666
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	? (TO)	1200.11	1200.46	1562720
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1200.11	1200.46	1722846
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	1200.11	1200.77	1563708
schup-l2s-motst-2-k315.cnf	? (TO)	1200.11	1200.46	1720002
manol-pipe-c10nidw.cnf	? (TO)	1200.11	1200.84	1720054
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.12	1200.52	1716986
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	1200.12	1200.49	1722346
industrial/fuhs/medium/ AProVE07-09.cnf	? (TO)	1200.12	1200.41	1716778
schup-l2s-bc56s-1-k391.cnf	? (TO)	1200.12	1200.56	1719898
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1200.12	1200.43	1553828
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	? (TO)	1200.12	1200.42	1563136
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	? (TO)	1200.12	1200.67	1577772
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	1200.13	1200.47	1717246
mizh-sha0-36-2.cnf	? (TO)	1200.13	1200.52	1723978
manol-pipe-f10ni.cnf	? (TO)	1200.13	1200.84	1724030
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	? (TO)	1200.13	1200.57	1721996
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	1200.13	1200.48	1722596
manol-pipe-c10nidw_s.cnf	? (TO)	1200.13	1200.44	1723198
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	1200.13	1200.42	1722796
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	1200.13	1200.44	1554504
velev-pipe-uns-1.0-8.cnf	? (TO)	1200.13	1200.67	1724394
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	? (TO)	1200.14	1200.59	1579436
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	? (TO)	1200.14	1200.44	1577824
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1200.14	1200.56	1722396
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	? (TO)	1200.14	1200.49	1562616
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	1200.15	1200.73	1719118
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1200.15	1200.45	1717714
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	1200.15	1200.5	1557676
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	? (TO)	1200.15	1200.57	1562772
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	? (TO)	1200.15	1200.69	1577720
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	1200.16	1200.49	1556480
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.17	1200.51	1717818
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	? (TO)	1200.18	1200.64	1562980
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	1200.18	1200.6	1558976
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	1200.2	1200.49	1721396
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	1200.2	1200.74	1719014
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	1200.2	1200.74	1718962
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	? (TO)	1200.2	1200.53	1722446
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	1200.22	1201.08	1559288
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (TO)	1200.23	1200.58	1553464
een-tip-uns-nusmv-t5.B.cnf	? (TO)	1200.23	1200.53	1723354
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1200.23	1200.76	1719690
industrial/narain/ clauses-8.cnf	? (TO)	1200.24	1200.55	1718754
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.24	1200.6	1718442
APPLICATIONS/aprove09/ AProVE09-20.cnf	? (TO)	1200.25	1200.73	1559756
velev-vliw-uns-4.0-9C1.cnf	? (TO)	1200.26	1200.56	1723770
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1200.27	1200.59	1559600
APPLICATIONS/aprove09/ AProVE09-08.cnf	? (TO)	1200.27	1200.66	1560692
industrial/grieu/ vmpc_29.cnf	? (TO)	1200.28	1200.68	1718546
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	1200.28	1200.62	1721496
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	1200.28	1200.78	1556116
industrial/grieu/ vmpc_26.cnf	? (TO)	1200.31	1200.67	1718702
APPLICATIONS/aprove09/ AProVE09-15.cnf	? (TO)	1200.34	1200.66	1560536

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (MO)	24.5323	24.555	1719222
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (MO)	26.548	26.6597	1719170
velev-pipe-sat-1.0-b10.cnf	? (MO)	28.0247	28.045	1723302
velev-pipe-sat-1.0-b7.cnf	? (MO)	28.0277	28.0418	1723146
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (MO)	32.4941	32.5757	1718910
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	? (MO)	40.0269	40.0568	1719378
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	? (MO)	42.5475	42.7692	1719326
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	? (MO)	52.402	53.8738	1563396
APPLICATIONS/bitverif/ smulo/smulo016.cnf	? (MO)	146.63	146.68	1554816
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	? (MO)	160.536	160.809	1554088
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (MO)	165.449	165.493	1554660
APPLICATIONS/ bitverif/minand/minand128.cnf	? (MO)	275.321	275.4	1554192
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (MO)	304.407	304.491	1554712
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (MO)	355.346	357.8	1556012
cmu-bmc-longmult15.cnf	? (MO)	364.995	365.173	1720626
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (MO)	368.307	368.397	1554400
velev-engi-uns-1.0-4nd.cnf	? (MO)	373.067	373.479	1720106
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	? (MO)	374.237	375.295	1556740
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (MO)	374.423	374.807	1556324
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	? (MO)	389.191	389.29	1555440
industrial/fuhs/medium/ AProVE07-16.cnf	? (MO)	394.83	394.989	1716830
goldb-heqc-x1mul.cnf	? (MO)	395.58	395.691	1719430
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (MO)	402.75	402.968	1558196
APPLICATIONS/aprove09/ AProVE09-24.cnf	? (MO)	421.995	422.401	1559912
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	? (MO)	422.813	422.971	1557572
APPLICATIONS/bitverif/ minor/minor032.cnf	? (MO)	443.748	443.981	1553204
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	? (MO)	456.475	457.093	1555024
goldb-heqc-dalumul.cnf	? (MO)	487.825	488.087	1720418
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (MO)	556.8	556.989	1557988
cmu-bmc-barrel6.cnf	? (MO)	557.635	557.892	1719534
APPLICATIONS/ bitverif/maxand/maxand064.cnf	? (MO)	568.754	568.908	1555596
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	? (MO)	571.772	571.973	1558456
mizh-sha0-36-3.cnf	? (MO)	572.803	572.965	1719794
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (MO)	577.848	577.99	1558040
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (MO)	585.837	585.991	1559496
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	? (MO)	609.735	609.993	1579852
goldb-heqc-term1mul.cnf	? (MO)	610.34	610.596	1723614
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	? (MO)	615.887	616.093	1557780
APPLICATIONS/aprove09/ AProVE09-05.cnf	? (MO)	616.288	616.49	1560016
APPLICATIONS/bitverif/ minor/minor064.cnf	? (MO)	643.554	643.872	1553152
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	? (MO)	674.018	674.195	1556792
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	? (MO)	698.785	699.017	1556844
APPLICATIONS/aprove09/ AProVE09-07.cnf	? (MO)	704.118	704.398	1560588
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	? (MO)	723.392	723.645	1553776
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (MO)	728.772	729.399	1558820
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	? (MO)	729.916	730.092	1557052
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (MO)	733.62	733.895	1559236
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	? (MO)	734.265	734.498	1554556
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (MO)	735.289	735.489	1557936
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	? (MO)	747.38	747.696	1718286
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (MO)	749.385	749.793	1556532
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	? (MO)	757.76	758.009	1718234
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (MO)	775.059	775.292	1718026
industrial/fuhs/hard/ AProVE07-26.cnf	? (MO)	781.084	781.367	1717038
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (MO)	812.898	813.097	1556428
een-tip-sat-texas-tp-5e.cnf	? (MO)	827.064	827.291	1720886
mizh-sha0-35-3.cnf	? (MO)	844.874	845.086	1720678
mizh-sha0-36-4.cnf	? (MO)	865.369	865.683	1720210
goldb-heqc-frg1mul.cnf	? (MO)	866.664	866.891	1719638
APPLICATIONS/aprove09/ AProVE09-06.cnf	? (MO)	905.897	906.192	1559652
APPLICATIONS/aprove09/ AProVE09-10.cnf	? (MO)	908.461	908.78	1560796
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	? (MO)	944.796	945.081	1718130
goldb-heqc-alu4mul.cnf	? (MO)	949.334	949.674	1720990
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (MO)	961.97	962.404	1718078
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (MO)	977.243	977.487	1558768
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (MO)	978.39	978.708	1556064
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (MO)	984.896	985.269	1559340
industrial/grieu/ vmpc_30.cnf	? (MO)	1004.12	1004.5	1718390
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (MO)	1008.43	1009.27	1718858
APPLICATIONS/aprove09/ AProVE09-25.cnf	? (MO)	1012.93	1013.2	1560120
industrial/fuhs/hard/ AProVE07-08.cnf	? (MO)	1053.36	1053.7	1716934
schup-l2s-abp4-1-k31.cnf	? (MO)	1063.28	1063.68	1719586
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (MO)	1075.03	1075.29	1719066
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	? (MO)	1076.87	1077.21	1558404
APPLICATIONS/aprove09/ AProVE09-12.cnf	? (MO)	1083.36	1083.7	1560328
industrial/grieu/ vmpc_28.cnf	? (MO)	1093.94	1094.29	1718598
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (MO)	1125.26	1125.7	1554140
velev-pipe-o-uns-1.1-6.cnf	? (MO)	1132.99	1133.29	1723562
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	? (MO)	1142.34	1142.68	1556584
APPLICATIONS/aprove09/ AProVE09-19.cnf	? (MO)	1161.06	1161.69	1560900
industrial/grieu/ vmpc_34.cnf	? (MO)	1164.9	1165.4	1718650

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/palacios/hard/ safe-30-h29-unsat.cnf	Signal 11	71.5621	71.5812	1717298
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	Signal 11	83.3123	83.3579	1563656
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	Signal 11	86.5518	86.6184	1563344
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	Signal 11	88.3386	88.3624	1553984
manol-pipe-c7bidw_i.cnf	Signal 11	89.0715	89.1068	1724238
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	Signal 11	91.3711	91.4047	1716310
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	Signal 11	91.6781	91.8692	1715634
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	Signal 11	104.677	104.728	1716622
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	Signal 11	115.647	115.701	1553360
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	Signal 11	118.04	118.151	1582712
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	Signal 11	122.716	122.801	1715686
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	Signal 11	123.047	123.094	1581932
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	Signal 11	125.135	125.198	1579956
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	Signal 11	129.972	130.028	1716414
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	Signal 11	139.243	139.345	1715894
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	Signal 11	139.581	139.637	1716154
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	Signal 11	140.415	140.835	1580528
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	Signal 11	153.354	153.432	1717662
manol-pipe-g10id.cnf	Signal 11	157.554	157.614	1723510
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	Signal 11	161.711	161.829	1580840
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	Signal 11	166.846	166.989	1577876
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	Signal 11	171.03	171.216	1581984
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	Signal 11	171.43	172.471	1563604
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	Signal 11	180.567	181.436	1579800
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	Signal 11	181.493	181.576	1580060
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	Signal 11	181.727	181.821	1717558
simon-s03-w08-15.cnf	Signal 11	187.81	187.886	1719742
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	Signal 11	188.461	188.716	1581568
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	Signal 11	195.174	195.309	1563240
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	Signal 11	195.315	195.393	1717870
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	Signal 11	196.438	196.562	1563292
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	Signal 11	196.546	196.643	1716466
manol-pipe-c7nidw.cnf	Signal 11	207.88	207.98	1723458
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	Signal 11	235.549	235.852	1715582
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	Signal 11	259.894	259.991	1716102
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	Signal 11	266.325	268.367	1716570
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	Signal 11	278.086	278.332	1715946
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	Signal 11	293.083	293.236	1577668
manol-pipe-f9b.cnf	Signal 11	338.061	338.229	1719950
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	Signal 11	345.833	346.225	1578760
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	Signal 11	349.254	351.294	1581880
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	Signal 11	351.928	352.165	1717506
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	Signal 11	364.92	365.217	1580112
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	Signal 11	371.955	372.294	1581308
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	Signal 11	377.467	389.365	1716258
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	Signal 11	381.026	381.501	1580216
manol-pipe-f9n.cnf	Signal 11	384.287	384.446	1723926
APPLICATIONS/bitverif/ smulo/smulo128.cnf	Signal 11	384.336	390.508	1554868
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	Signal 11	389.67	389.831	1715842
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	Signal 11	404.07	404.199	1577616
simon-s03-fifo8-300.cnf	Signal 11	423.812	423.78	1724134
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	Signal 11	468.513	469.013	1716206
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	Signal 11	547.871	548.1	1556220
APPLICATIONS/bitverif/ maxor/maxor128.cnf	Signal 11	605.981	610.081	1555856
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	Signal 11	642.88	643.355	1716050
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	Signal 11	649.618	650.118	1715738
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	Signal 11	652.686	653.206	1715790
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	Signal 11	688.668	689.159	1581464
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	Signal 11	710.362	711.054	1716518
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	Signal 11	711.832	712.057	1717402
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	Signal 11	728.492	729.041	1581048
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	Signal 11	729.998	730.266	1582400
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	Signal 11	749.827	750.139	1577460
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	Signal 11	760.8	761.017	1582140
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	Signal 11	804.825	805.747	1578916
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	Signal 11	911.882	912.364	1580320
manol-pipe-g10nid.cnf	Signal 11	997.146	997.594	1720158
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	Signal 11	1014.71	1015.28	1715998

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n2_i2_pp.cnf	UNSAT	0.001998	0.00503107	1736846
CRAFTED/parity-games/ instance_n2_i3_pp.cnf	UNSAT	0.003998	0.00511309	1736546
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	UNSAT	0.249961	0.250639	1725240
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	UNSAT	0.575911	0.576548	1725399
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	UNSAT	0.710891	0.712113	1725452
CRAFTED/sgen/unsat/ sgen1-unsat-61-100.cnf	UNSAT	0.959853	0.961018	1731996
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	UNSAT	1.83572	1.83622	1725505
CRAFTED/sgen/unsat/ sgen1-unsat-73-100.cnf	UNSAT	1.9497	1.94989	1732096
CRAFTED/parity-games/ instance_n3_i4_pp_ci_ce.cnf	UNSAT	2.16867	2.16777	1736346
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	UNSAT	2.19867	2.2	1726194
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	UNSAT	2.73558	2.73711	1726247
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	UNSAT	3.09853	3.1001	1730434
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	UNSAT	8.02478	8.02937	1730381
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	UNSAT	14.4698	14.4746	1731229
CRAFTED/sgen/unsat/ sgen1-unsat-85-100.cnf	UNSAT	22.1276	22.1333	1731896
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	UNSAT	36.9964	37.0092	1731070
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	UNSAT	47.6728	47.6843	1725293
CRAFTED/sgen/unsat/ sgen1-unsat-97-100.cnf	UNSAT	65.0051	65.028	1731846
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	UNSAT	179.938	179.981	1730487
CRAFTED/sgen/unsat/ sgen1-unsat-103-100.cnf	UNSAT	337.903	337.99	1737670
CRAFTED/sgen/unsat/ sgen1-unsat-115-100.cnf	UNSAT	595.86	596.15	1737299

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/sgi/ satsgi-n17himBHm20-p0-q146.cnf	SAT	0.115981	0.115895	1734196
CRAFTED/sgi/ satsgi-n18himBHm21-p0-q167.cnf	SAT	0.139978	0.13962	1734346
CRAFTED/sgi/ satsgi-n22himBHm24-p0-q209.cnf	SAT	0.150976	0.151275	1734146
CRAFTED/sgi/ satsgi-n22himBHm25-p0-q229.cnf	SAT	0.158975	0.162523	1734446
CRAFTED/sgi/ satsgi-n19himBHm22-p0-q181.cnf	SAT	0.166974	0.166545	1734096
CRAFTED/sgi/ satsgi-n23himBHm26-p0-q248.cnf	SAT	0.18497	0.184694	1734296
CRAFTED/ramseycube/ Q3inK08.cnf	SAT	0.19097	0.191616	1732996
CRAFTED/sgi/ satsgi-n23himBHm27-p0-q251.cnf	SAT	0.19097	0.191195	1734546
CRAFTED/sgi/ sgi-difficult4.cnf	SAT	0.19297	0.192977	1736146
CRAFTED/sgi/ satsgi-n25himBHm27-p0-q251.cnf	SAT	0.206967	0.20585	1734246
CRAFTED/sgi/ satsgi-n23himBHm25-p0-q219.cnf	SAT	0.206968	0.207193	1734396
CRAFTED/sgi/ satsgi-n25himBHm29-p0-q290.cnf	SAT	0.240962	0.24132	1734596
CRAFTED/sgi/ satsgi-n28himBHm30-p0-q333.cnf	SAT	0.311951	0.312151	1734496
CRAFTED/sgi/ sgi-difficult7.cnf	SAT	0.38694	0.387237	1736196
CRAFTED/parity-games/ instance_n3_i3_pp.cnf	SAT	1.23881	1.24016	1737046
CRAFTED/parity-games/ instance_n3_i3_pp_ci_ce.cnf	SAT	1.26681	1.26733	1736396
CRAFTED/ramseycube/ Q3inK09.cnf	SAT	2.45662	2.45775	1732646
CRAFTED/parity-games/ instance_n4_i4_pp.cnf	SAT	9.36258	9.36571	1736496
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	21.2908	21.2983	1732846
CRAFTED/sgi/ new-difficult-21-168-19-90.cnf	SAT	32.0461	32.058	1738147
CRAFTED/sgi/ new-difficult-24-193-22-70.cnf	SAT	64.3712	64.3908	1738041
CRAFTED/parity-games/ instance_n4_i4_pp_ci_ce.cnf	SAT	105.901	105.934	1736746
CRAFTED/sgi/ new-difficult-20-152-18-95.cnf	SAT	170.218	170.261	1738094
CRAFTED/ramseycube/ Q3inK11.cnf	SAT	182.432	182.485	1733096
CRAFTED/sgi/ new-difficult-22-173-20-80.cnf	SAT	589.88	590.122	1738253

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	?	1199.89	1200.21	1728526
CRAFTED/parity-games/ instance_n5_i5_pp.cnf	?	1199.9	1200.22	1736646
CRAFTED/ramseycube/ Q3inK12.cnf	?	1199.91	1200.23	1732896
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	?	1199.92	1200.24	1729639
CRAFTED/sgen/unsat/ sgen1-unsat-109-100.cnf	?	1199.92	1200.26	1731796
CRAFTED/sgen/unsat/ sgen1-unsat-139-100.cnf	?	1199.94	1200.24	1737511
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	?	1199.95	1200.38	1729480
CRAFTED/parity-games/ instance_n7_i7_pp_ci_ce.cnf	?	1199.95	1200.34	1736696
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	?	1199.95	1200.24	1725664
CRAFTED/edgematching/ compact/em_9_3_5_cmp.cnf	?	1199.96	1200.31	1561108
CRAFTED/sgen/unsat/ sgen1-unsat-145-100.cnf	?	1199.97	1200.32	1732046
CRAFTED/sgen/unsat/ sgen1-unsat-151-100.cnf	?	1199.97	1200.31	1737617
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	?	1199.97	1200.32	1725558
CRAFTED/sgen/sat/ sgen1-sat-180-100.cnf	?	1199.97	1200.31	1732296
CRAFTED/sgen/unsat/ sgen1-unsat-133-100.cnf	?	1199.97	1200.32	1731946
CRAFTED/sgi/ new-difficult-28-302-26-75.cnf	?	1199.97	1200.29	1738359
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	?	1199.97	1200.43	1729798
CRAFTED/sgi/ new-difficult-26-243-24-70.cnf	?	1199.98	1200.34	1738200
CRAFTED/sgen/unsat/ sgen1-unsat-121-100.cnf	?	1199.98	1200.45	1732146
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes2.cnf	?	1199.98	1200.31	1735846
CRAFTED/edgematching/ fbcolors/em_9_3_5_fbc.cnf	?	1199.99	1200.29	1562252
CRAFTED/edgematching/ all/em_11_3_4_all.cnf	?	1199.99	1200.41	1562044
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	?	1199.99	1200.39	1728632
CRAFTED/modcircuits/ mod3block_2vars_10gates_u2_autoenc.cnf	?	1199.99	1200.31	1733446
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g4.cnf	?	1199.99	1200.34	1735596
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g2.cnf	?	1200.01	1200.33	1734996
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	?	1200.01	1200.37	1737988
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes1.cnf	?	1200.02	1200.43	1735996
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes6.cnf	?	1200.03	1200.49	1735296
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	?	1200.03	1200.48	1725611
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g10.cnf	?	1200.03	1200.38	1734896
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g2.cnf	?	1200.03	1200.39	1734846
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes8.cnf	?	1200.03	1200.46	1735946
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes1.cnf	?	1200.03	1200.38	1736096
CRAFTED/sgen/sat/ sgen1-sat-250-100.cnf	?	1200.03	1200.37	1737405
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	?	1200.03	1200.45	1727784
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	?	1200.03	1200.43	1727996
CRAFTED/parity-games/ instance_n8_i9_pp_ci_ce.cnf	?	1200.04	1200.48	1737935
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes8.cnf	?	1200.04	1200.34	1735896
CRAFTED/rbsat/random/ forced/rbsat-v760c43649gyes10.cnf	?	1200.04	1200.44	1735196
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	?	1200.05	1200.36	1730063
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	?	1200.05	1200.56	1728950
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	?	1200.05	1200.46	1725770
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	?	1200.06	1200.49	1731335
CRAFTED/parity-games/ instance_n7_i7_pp.cnf	?	1200.06	1200.47	1736946
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	?	1200.06	1200.37	1729904
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2_restricted.cnf	?	1200.07	1200.37	1733746
CRAFTED/parity-games/ instance_n5_i6_pp.cnf	?	1200.1	1200.4	1736796

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	? (TO)	1200.03	1200.42	1725823
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes9.cnf	? (TO)	1200.04	1200.34	1736046
CRAFTED/rbsat/random/unforced/ rbsat-v1820c171155g3.cnf	? (TO)	1200.04	1200.42	1734796
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	1200.05	1200.5	1735496
CRAFTED/sgen/unsat/ sgen1-unsat-127-100.cnf	? (TO)	1200.06	1200.41	1737246
CRAFTED/edgematching/ fbcolors/em_14_7_3_fbc.cnf	? (TO)	1200.06	1200.42	1562304
CRAFTED/ramseycube/ Q32inK11.cnf	? (TO)	1200.07	1200.55	1732796
CRAFTED/modcircuits/ mod5block_1var_7gates.cnf	? (TO)	1200.07	1200.56	1733246
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	? (TO)	1200.07	1200.36	1731600
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes9.cnf	? (TO)	1200.07	1200.42	1735396
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	? (TO)	1200.07	1200.34	1731282
CRAFTED/sgen/sat/ sgen1-sat-290-100.cnf	? (TO)	1200.08	1200.52	1737352
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	? (TO)	1200.08	1200.53	1731017
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	1200.08	1200.44	1728579
CRAFTED/sgen/sat/ sgen1-sat-230-100.cnf	? (TO)	1200.08	1200.54	1737458
CRAFTED/sgen/sat/ sgen1-sat-160-100.cnf	? (TO)	1200.09	1200.68	1732446
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	? (TO)	1200.09	1200.36	1738306
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes1.cnf	? (TO)	1200.09	1200.37	1735246
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	? (TO)	1200.09	1200.52	1725717
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes3.cnf	? (TO)	1200.09	1200.43	1735346
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g10.cnf	? (TO)	1200.09	1200.44	1734946
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	? (TO)	1200.09	1200.48	1728420
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	1200.1	1200.5	1729321
CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf	? (TO)	1200.1	1200.49	1736596
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	? (TO)	1200.1	1200.56	1725876
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g1.cnf	? (TO)	1200.1	1200.46	1735046
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g8.cnf	? (TO)	1200.1	1200.95	1734746
CRAFTED/ramseycube/ Q32inK10.cnf	? (TO)	1200.1	1200.53	1732946
CRAFTED/sgen/sat/ sgen1-sat-240-100.cnf	? (TO)	1200.1	1200.47	1732546
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (TO)	1200.1	1200.78	1727572
CRAFTED/sgen/sat/ sgen1-sat-140-100.cnf	? (TO)	1200.1	1200.48	1732346
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	? (TO)	1200.1	1200.42	1727678
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (TO)	1200.11	1200.42	1728208
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	1200.11	1200.43	1727360
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	1200.11	1200.47	1728844
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1731388
CRAFTED/sgen/sat/ sgen1-sat-220-100.cnf	? (TO)	1200.11	1200.48	1732396
CRAFTED/modcircuits/ owp_4vars_5gates.cnf	? (TO)	1200.11	1200.57	1733846
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes4.cnf	? (TO)	1200.11	1200.44	1735096
CRAFTED/parity-games/ instance_n8_i9_pp.cnf	? (TO)	1200.11	1200.52	1737829
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (TO)	1200.12	1200.56	1727307
CRAFTED/sgen/sat/ sgen1-sat-200-100.cnf	? (TO)	1200.12	1200.44	1732596
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes2.cnf	? (TO)	1200.12	1200.46	1735746
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	? (TO)	1200.12	1200.47	1726141
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	1200.12	1200.53	1726353
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	1200.12	1200.42	1728791
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes4.cnf	? (TO)	1200.12	1200.42	1735146
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	? (TO)	1200.13	1200.41	1731653
CRAFTED/edgematching/ explicit/em_9_3_5_exp.cnf	? (TO)	1200.13	1200.46	1561420
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (TO)	1200.13	1200.45	1727837
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (TO)	1200.14	1200.55	1726512
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	1200.14	1200.52	1728738
CRAFTED/parity-games/ instance_n6_i7_pp.cnf	? (TO)	1200.14	1200.46	1736296
CRAFTED/rbsat/crafted/unforced/ rbsat-v2640c305320g4.cnf	? (TO)	1200.14	1200.5	1735546
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	1200.14	1200.6	1561160
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1200.14	1200.5	1735446
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	1200.15	1200.55	1729056
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	1200.15	1200.46	1729215
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	1200.15	1200.48	1729427
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	? (TO)	1200.15	1200.03	1730010
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g6.cnf	? (TO)	1200.15	1200.5	1734696
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	? (TO)	1200.15	1200.58	1561004
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (TO)	1200.16	1200.63	1728049
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	1200.16	1200.48	1729586
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	1200.16	1200.48	1729003
CRAFTED/modcircuits/ mod4block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.16	1200.52	1733596
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	1200.16	1200.57	1726830
CRAFTED/ramseycube/ Q32inK09.cnf	? (TO)	1200.16	1200.45	1733046
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	? (TO)	1200.16	1200.51	1727201
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g4.cnf	? (TO)	1200.16	1200.51	1734646
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	? (TO)	1200.17	1200.53	1729745
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	? (TO)	1200.17	1200.51	1727943
CRAFTED/edgematching/ compact/em_8_4_5_cmp.cnf	? (TO)	1200.17	1200.62	1561316
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	1200.17	1200.6	1729533
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	? (TO)	1200.17	1200.61	1725929
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g5.cnf	? (TO)	1200.18	1200.62	1735646
CRAFTED/sgen/sat/ sgen1-sat-260-100.cnf	? (TO)	1200.18	1200.54	1732196
CRAFTED/edgematching/ explicit/em_8_4_5_exp.cnf	? (TO)	1200.18	1200.64	1561680
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g2.cnf	? (TO)	1200.18	1200.52	1735696
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	1200.19	1200.46	1727731
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	? (TO)	1200.19	1200.52	1729957
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	1200.19	1200.61	1727890
CRAFTED/sgen/sat/ sgen1-sat-300-100.cnf	? (TO)	1200.19	1200.49	1732496
CRAFTED/parity-games/ instance_n4_i5_pp.cnf	? (TO)	1200.19	1200.5	1736996
CRAFTED/modcircuits/ mod5block_2vars_12gates.cnf	? (TO)	1200.19	1200.46	1733396
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	? (TO)	1200.19	1200.61	1728155
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	1200.2	1200.5	1729374
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	? (TO)	1200.2	1200.51	1727625
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	1200.2	1200.54	1727042
CRAFTED/modcircuits/ mod3block_3vars_9gates_restr.cnf	? (TO)	1200.2	1200.71	1733996
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	? (TO)	1200.2	1200.65	1561784
CRAFTED/parity-games/ instance_n6_i6_pp_ci_ce.cnf	? (TO)	1200.21	1200.66	1737096
CRAFTED/sgen/sat/ sgen1-sat-270-100.cnf	? (TO)	1200.21	1200.66	1737564
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	? (TO)	1200.21	1200.58	1728102
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1200.21	1200.52	1733896
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	? (TO)	1200.21	1200.55	1730540
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2.cnf	? (TO)	1200.21	1200.58	1733146
CRAFTED/rbsat/crafted/ forced/rbsat-v1820c171155gyes6.cnf	? (TO)	1200.21	1200.53	1735796
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	? (TO)	1200.21	1200.53	1728473
CRAFTED/modcircuits/ mod4block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.21	1200.51	1733546
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	? (TO)	1200.22	1200.7	1730646
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	? (TO)	1200.22	1200.69	1730858
CRAFTED/modcircuits/ mod3_4vars_6gates.cnf	? (TO)	1200.22	1200.6	1733646
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	? (TO)	1200.22	1200.62	1730699
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (TO)	1200.22	1200.58	1737723
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1200.22	1200.62	1733346
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (TO)	1200.22	1200.55	1730752
CRAFTED/sgen/sat/ sgen1-sat-280-100.cnf	? (TO)	1200.22	1200.52	1732246
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (TO)	1200.22	1200.5	1730805
CRAFTED/parity-games/ instance_n6_i6_pp.cnf	? (TO)	1200.23	1200.66	1736896
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	? (TO)	1200.23	1200.65	1729851
CRAFTED/modcircuits/ mod3block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.23	1200.59	1733796
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	? (TO)	1200.24	1200.67	1731441
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	? (TO)	1200.25	1200.69	1729162
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2_restricted.cnf	? (TO)	1200.25	1200.57	1733296
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	1200.25	1200.59	1562200
CRAFTED/parity-games/ instance_n7_i8_pp_ci_ce.cnf	? (TO)	1200.26	1200.69	1736246
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2.cnf	? (TO)	1200.26	1200.58	1733196
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	? (TO)	1200.26	1200.56	1729692
CRAFTED/edgematching/ all/em_12_2_4_all.cnf	? (TO)	1200.27	1200.58	1561888
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	? (TO)	1200.27	1200.61	1731123
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	1200.28	1200.63	1726724
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	1200.3	1200.92	1726936
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (TO)	1200.31	1200.64	1730222

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/ramseycube/ Q3inK13.cnf	? (MO)	20.9698	20.9878	1732746
CRAFTED/edgematching/ fbcolors/em_7_4_9_fbc.cnf	? (MO)	201.219	201.478	1562408
CRAFTED/edgematching/ fbcolors/em_11_3_4_fbc.cnf	? (MO)	326.459	326.578	1562564
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (MO)	348.482	348.576	1731547
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	? (MO)	371.792	371.891	1726300
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	? (MO)	378.675	378.886	1728897
CRAFTED/edgematching/ explicit/em_7_4_8_exp.cnf	? (MO)	382.506	382.598	1561628
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (MO)	383.398	383.689	1726883
CRAFTED/edgematching/ explicit/em_12_2_4_exp.cnf	? (MO)	450.807	450.977	1561472
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	? (MO)	454.878	455.076	1725982
CRAFTED/ edgematching/all/em_7_4_9_all.cnf	? (MO)	483.743	483.87	1562096
CRAFTED/edgematching/ compact/em_7_4_8_cmp.cnf	? (MO)	501.346	501.475	1561264
CRAFTED/ edgematching/all/em_7_3_6_all.cnf	? (MO)	502.71	502.884	1561992
CRAFTED/edgematching/ fbcolors/em_7_4_8_fbc.cnf	? (MO)	544.779	544.97	1562460
CRAFTED/edgematching/ fbcolors/em_12_2_4_fbc.cnf	? (MO)	546.869	547.172	1562512
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (MO)	553.636	553.89	1727466
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (MO)	554.263	554.475	1561056
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	? (MO)	589.338	589.483	1726035
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (MO)	600.684	600.882	1726989
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (MO)	608.87	609.187	1727148
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (MO)	619.024	619.289	1726671
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	? (MO)	640.485	640.77	1730964
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (MO)	646.27	646.487	1728685
CRAFTED/ edgematching/all/em_7_4_8_all.cnf	? (MO)	654.791	655.296	1562148
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	? (MO)	660.302	660.483	1727254
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	? (MO)	676.172	676.472	1726406
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	? (MO)	678.144	678.391	1731176
CRAFTED/edgematching/ explicit/em_7_4_9_exp.cnf	? (MO)	680.755	681.183	1561524
CRAFTED/edgematching/ explicit/em_11_3_4_exp.cnf	? (MO)	724.907	725.099	1561368
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (MO)	732.571	732.972	1727519
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (MO)	758.615	758.809	1726777
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	? (MO)	764.316	764.575	1726088
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (MO)	769.494	769.699	1726565
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2_autoenc.cnf	? (MO)	796.953	797.169	1733496
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (MO)	838.436	838.766	1730275
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (MO)	849.432	849.684	1727095
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	? (MO)	855.354	855.568	1730593
CRAFTED/parity-games/ instance_n9_i9_pp_ci_ce.cnf	? (MO)	858.934	859.298	1737882
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	? (MO)	890.673	890.891	1731494
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (MO)	909.963	910.19	1729109
CRAFTED/edgematching/ compact/em_14_7_3_cmp.cnf	? (MO)	912.441	912.871	1561212
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2.cnf	? (MO)	941.5	941.993	1733696
CRAFTED/edgematching/ fbcolors/em_7_3_6_fbc.cnf	? (MO)	942.268	942.592	1562356
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	? (MO)	949.178	949.389	1729268
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (MO)	949.895	950.373	1726459
CRAFTED/parity-games/ instance_n8_i8_pp.cnf	? (MO)	977.159	977.674	1737776
CRAFTED/edgematching/ all/em_14_7_3_all.cnf	? (MO)	984.893	985.47	1561940
CRAFTED/edgematching/ compact/em_7_4_9_cmp.cnf	? (MO)	1004.41	1004.8	1560952
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	? (MO)	1022.81	1023.09	1730911
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	? (MO)	1025.48	1025.78	1725346
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (MO)	1030.79	1031.07	1730116
CRAFTED/parity-games/ instance_n5_i6_pp_ci_ce.cnf	? (MO)	1062.78	1063.09	1736446
CRAFTED/parity-games/ instance_n7_i8_pp.cnf	? (MO)	1108.66	1109.07	1737196
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (MO)	1122.88	1123.49	1728261
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (MO)	1135.57	1135.89	1726618
CRAFTED/edgematching/ explicit/em_7_3_6_exp.cnf	? (MO)	1150.84	1156.47	1561732
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2_autoenc.cnf	? (MO)	1165.05	1165.39	1733946
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (MO)	1168.91	1169.29	1728314
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (MO)	1172.15	1172.5	1734046
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (MO)	1195.91	1196.27	1727413

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	Signal 11	48.7136	48.7399	1730169
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	Signal 11	48.9356	48.9674	1730328
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	Signal 11	207.1	207.44	1728367

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1531283922-009.cnf	?	1199.9	1200.22	1531925
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S326668183-079.cnf	?	1199.91	1200.2	1531547
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1159550149-077.cnf	?	1199.91	1200.3	1531403
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S121765931-081.cnf	?	1199.91	1200.24	1531655
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S599916448-096.cnf	?	1199.92	1200.26	1531499
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S578339356-013.cnf	?	1199.92	1200.27	1531351
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1206040031-030.cnf	?	1199.92	1200.21	1531545
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1563412474-059.cnf	?	1199.92	1200.23	1531717
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S2065372010-022.cnf	?	1199.92	1200.35	1531461
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S2142794689-088.cnf	?	1199.93	1200.3	1531491
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1758422766-080.cnf	?	1199.93	1200.25	1531483
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S857870897-089.cnf	?	1199.93	1200.35	1531495
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1377066099-004.cnf	?	1199.93	1200.25	1531775
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S886725553-011.cnf	?	1199.93	1200.62	1531013
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S839983432-073.cnf	?	1199.93	1200.25	1531593
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S834811574-084.cnf	?	1199.94	1200.36	1531555
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S572248576-042.cnf	?	1199.94	1200.52	1531653
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1332067449-041.cnf	?	1199.94	1200.26	1531955
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1318210982-002.cnf	?	1199.94	1200.26	1531465
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1096716652-027.cnf	?	1199.96	1200.29	1531539
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S2043187304-036.cnf	?	1199.96	1200.36	1531803
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S680239195-053.cnf	?	1199.96	1200.42	1531819
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1772254584-042.cnf	?	1199.96	1200.36	1531415
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S282405510-004.cnf	?	1199.96	1200.38	1531423
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S884764237-004.cnf	?	1199.96	1200.33	1531475
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S80067159-015.cnf	?	1199.96	1200.4	1531357
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S786890012-057.cnf	?	1199.97	1200.31	1531899
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S942507261-096.cnf	?	1199.97	1200.29	1531045
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1746008863-010.cnf	?	1199.98	1200.38	1531779
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S658989873-070.cnf	?	1199.98	1200.45	1531843
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S844931093-069.cnf	?	1199.98	1200.28	1531905
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1402156840-093.cnf	?	1199.98	1200.29	1531589
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S602463346-055.cnf	?	1199.98	1200.29	1531839
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf	?	1199.99	1200.26	1531261
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2058039218-006.cnf	?	1199.99	1200.33	1531525
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S17277413-072.cnf	?	1199.99	1200.43	1531233
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S184801254-020.cnf	?	1199.99	1200.35	1531469
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S74035269-088.cnf	?	1199.99	1200.33	1531095
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1085378176-050.cnf	?	1199.99	1200.35	1531107
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1048138627-064.cnf	?	1200	1200.36	1531637
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1086008090-058.cnf	?	1200	1200.31	1531367
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S712437980-063.cnf	?	1200	1200.41	1531317
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S179172230-011.cnf	?	1200	1200.45	1531441
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S2096960818-049.cnf	?	1200	1200.29	1531665
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S822708255-070.cnf	?	1200	1200.43	1531197
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1089910525-056.cnf	?	1200	1200.32	1531639
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1640054673-078.cnf	?	1200.01	1200.34	1531591
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S260616787-042.cnf	?	1200.01	1200.41	1531805
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S310111511-029.cnf	?	1200.01	1200.43	1531205
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1730125812-056.cnf	?	1200.01	1200.33	1531979
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1857201443-029.cnf	?	1200.02	1200.31	1531209
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S56507352-034.cnf	?	1200.02	1200.32	1531273
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf	?	1200.02	1200.46	1531215
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S541865505-057.cnf	?	1200.02	1200.32	1531097
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1394036608-091.cnf	?	1200.02	1200.38	1531651
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1041106011-094.cnf	?	1200.02	1200.37	1532021
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1618450766-063.cnf	?	1200.02	1200.33	1531143
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1549575664-035.cnf	?	1200.02	1200.5	1531011
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S725789261-031.cnf	?	1200.03	1200.33	1531945
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S393462637-097.cnf	?	1200.03	1200.34	1531711
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1524836866-036.cnf	?	1200.03	1200.38	1531765
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1698591437-083.cnf	?	1200.03	1200.49	1531333
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S2070759512-014.cnf	?	1200.03	1200.43	1531279
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf	?	1200.04	1200.47	1531121
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S208461254-049.cnf	?	1200.04	1200.35	1531947
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S377647456-019.cnf	?	1200.04	1200.38	1531287
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S21800963-085.cnf	?	1200.04	1200.68	1531141
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S91288590-071.cnf	?	1200.05	1200.47	1531079
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1723900160-044.cnf	?	1200.05	1200.48	1531365
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1738391204-028.cnf	?	1200.05	1200.46	1530985
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1731702106-010.cnf	?	1200.05	1200.5	1531621
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S2032726331-082.cnf	?	1200.06	1200.4	1531917
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1674394075-027.cnf	?	1200.06	1200.47	1532009
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S180439591-093.cnf	?	1200.06	1200.4	1531875
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1127319144-058.cnf	?	1200.06	1200.48	1531027
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S926047226-039.cnf	?	1200.06	1200.39	1531763
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1639151107-094.cnf	?	1200.07	1200.39	1531529
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1766907733-036.cnf	?	1200.07	1200.5	1531015
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S195213520-027.cnf	?	1200.07	1200.38	1531149
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S661850551-087.cnf	?	1200.08	1200.49	1530981
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S845966893-046.cnf	?	1200.08	1200.39	1531319
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1510966387-018.cnf	?	1200.08	1200.39	1531275
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S108799362-035.cnf	?	1200.09	1200.4	1531455

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1339364096-048.cnf	? (TO)	1200.02	1200.41	1531611
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1375576340-029.cnf	? (TO)	1200.04	1200.33	1531701
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1528023000-027.cnf	? (TO)	1200.04	1200.52	1531657
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1992353905-004.cnf	? (TO)	1200.04	1200.01	1531049
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2067258640-036.cnf	? (TO)	1200.05	1200.5	1531989
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S375588147-050.cnf	? (TO)	1200.05	1200.44	1531025
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1195310117-069.cnf	? (TO)	1200.05	1200.44	1531199
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf	? (TO)	1200.06	1200.41	1531129
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S349436298-004.cnf	? (TO)	1200.06	1200.46	1531833
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1723021362-073.cnf	? (TO)	1200.07	1200.45	1531567
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S45173584-020.cnf	? (TO)	1200.07	1200.52	1530923
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S400088537-049.cnf	? (TO)	1200.08	1200.41	1531577
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S889538696-070.cnf	? (TO)	1200.08	1200.47	1531893
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1528563858-100.cnf	? (TO)	1200.08	1200.37	1531973
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S957997002-040.cnf	? (TO)	1200.08	1200.48	1531971
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1419235015-056.cnf	? (TO)	1200.08	1200.51	1531231
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S253750560-086.cnf	? (TO)	1200.08	1200.42	1531821
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S144043535-002.cnf	? (TO)	1200.08	1200.38	1532045
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1767425240-073.cnf	? (TO)	1200.08	1200.43	1531919
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1039370030-037.cnf	? (TO)	1200.08	1200.37	1531695
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S2104277852-078.cnf	? (TO)	1200.08	1206.14	1531697
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1481598919-023.cnf	? (TO)	1200.08	1200.41	1531363
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S638051453-097.cnf	? (TO)	1200.08	1200.38	1531739
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S729526068-046.cnf	? (TO)	1200.08	1200.96	1531771
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1553390498-064.cnf	? (TO)	1200.09	1200.46	1531699
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1331382449-070.cnf	? (TO)	1200.09	1200.58	1531327
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S72273909-010.cnf	? (TO)	1200.09	1200.38	1531597
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S387386125-069.cnf	? (TO)	1200.09	1200.61	1531693
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1775841359-070.cnf	? (TO)	1200.09	1200.37	1531727
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1249441590-066.cnf	? (TO)	1200.09	1200.42	1531783
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1700363952-014.cnf	? (TO)	1200.09	1200.41	1531797
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1546885609-031.cnf	? (TO)	1200.09	1200.38	1532001
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S2142680239-019.cnf	? (TO)	1200.09	1200.48	1531953
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S432776913-077.cnf	? (TO)	1200.09	1200.48	1531075
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1460100153-095.cnf	? (TO)	1200.09	1200.38	1531869
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1326039470-063.cnf	? (TO)	1200.09	1200.49	1531927
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S999404609-010.cnf	? (TO)	1200.09	1200.38	1531793
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1818639567-059.cnf	? (TO)	1200.1	1200.42	1531093
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1971658345-089.cnf	? (TO)	1200.1	1200.39	1531293
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1711406314-093.cnf	? (TO)	1200.1	1200.47	1532047
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1666821205-020.cnf	? (TO)	1200.1	1200.48	1531939
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1879859331-044.cnf	? (TO)	1200.1	1200.45	1531891
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1014608490-038.cnf	? (TO)	1200.1	1200.48	1531883
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1494961823-060.cnf	? (TO)	1200.1	1200.5	1531829
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S23373420-028.cnf	? (TO)	1200.1	1200.56	1531825
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S915600698-006.cnf	? (TO)	1200.1	1200.39	1531767
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1892788676-021.cnf	? (TO)	1200.1	1200.49	1531769
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1606932551-072.cnf	? (TO)	1200.1	1200.38	1531733
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S318878687-017.cnf	? (TO)	1200.1	1200.42	1531019
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1920888253-090.cnf	? (TO)	1200.1	1200.43	1531419
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1707873242-085.cnf	? (TO)	1200.1	1200.49	1531417
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S47926000-049.cnf	? (TO)	1200.1	1200.57	1531407
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1357790788-074.cnf	? (TO)	1200.11	1200.5	1531347
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1213077873-067.cnf	? (TO)	1200.11	1200.58	1531617
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S2099753268-053.cnf	? (TO)	1200.11	1200.46	1531457
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1773173258-010.cnf	? (TO)	1200.11	1200.43	1531267
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S444219303-098.cnf	? (TO)	1200.11	1200.47	1531709
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1251522734-073.cnf	? (TO)	1200.11	1200.49	1531305
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S754967851-033.cnf	? (TO)	1200.11	1200.55	1531549
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S900737394-048.cnf	? (TO)	1200.11	1200.4	1531965
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S722433227-030.cnf	? (TO)	1200.11	1200.4	1532041
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S332478069-041.cnf	? (TO)	1200.11	1200.48	1531715
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S28271012-055.cnf	? (TO)	1200.11	1200.4	1531669
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S565564805-059.cnf	? (TO)	1200.11	1200.46	1531661
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S172053238-003.cnf	? (TO)	1200.11	1200.57	1531923
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1906075351-024.cnf	? (TO)	1200.11	1200.43	1531091
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1171422074-087.cnf	? (TO)	1200.11	1200.4	1531505
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2139292994-055.cnf	? (TO)	1200.11	1200.43	1531393
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1772751287-054.cnf	? (TO)	1200.11	1200.4	1531463
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1159067237-017.cnf	? (TO)	1200.11	1200.58	1531781
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S104085281-076.cnf	? (TO)	1200.11	1200.47	1531691
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S884941173-092.cnf	? (TO)	1200.11	1200.45	1531381
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S918173205-035.cnf	? (TO)	1200.12	1200.51	1531353
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S285229208-001.cnf	? (TO)	1200.12	1200.47	1531761
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803029538-050.cnf	? (TO)	1200.12	1200.51	1531607
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1551099861-042.cnf	? (TO)	1200.12	1200.5	1531501
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2073320038-053.cnf	? (TO)	1200.12	1200.6	1531511
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S321371087-018.cnf	? (TO)	1200.12	1200.58	1531991
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S142096783-019.cnf	? (TO)	1200.12	1200.58	1531909
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2106599808-035.cnf	? (TO)	1200.12	1200.47	1532007
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S449511205-064.cnf	? (TO)	1200.12	1200.5	1531949
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S95953046-044.cnf	? (TO)	1200.12	1200.55	1531831
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S688769362-007.cnf	? (TO)	1200.12	1200.48	1531685
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S816613570-013.cnf	? (TO)	1200.12	1200.69	1531689
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S2140929154-062.cnf	? (TO)	1200.12	1200.56	1531037
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1912687159-077.cnf	? (TO)	1200.12	1200.58	1532023
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S149116968-021.cnf	? (TO)	1200.12	1200.48	1531633
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S146188995-071.cnf	? (TO)	1200.12	1200.38	1531857
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S353643296-086.cnf	? (TO)	1200.12	1200.51	1531847
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S404185236-001.cnf	? (TO)	1200.12	1200.38	1531817
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1800466054-025.cnf	? (TO)	1200.12	1200.49	1531867
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1484713995-092.cnf	? (TO)	1200.12	1200.51	1531565
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S284173264-081.cnf	? (TO)	1200.12	1200.51	1531563
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S367138237-029.cnf	? (TO)	1200.12	1200.47	1531813
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S956671877-054.cnf	? (TO)	1200.13	1200.48	1531851
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2025169165-076.cnf	? (TO)	1200.13	1200.57	1531835
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S2032263657-035.cnf	? (TO)	1200.13	1200.57	1532037
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1876865608-086.cnf	? (TO)	1200.13	1200.5	1531901
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S714125262-017.cnf	? (TO)	1200.13	1200.48	1531921
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S110290755-003.cnf	? (TO)	1200.13	1200.48	1531931
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1516934767-080.cnf	? (TO)	1200.13	1200.56	1532015
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S2087271472-092.cnf	? (TO)	1200.13	1200.54	1531863
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1448866403-060.cnf	? (TO)	1200.13	1200.5	1532035
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1949086545-083.cnf	? (TO)	1200.13	1200.59	1531907
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S2025517367-061.cnf	? (TO)	1200.13	1200.53	1531809
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1119648091-064.cnf	? (TO)	1200.13	1200.56	1530987
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1137823545-077.cnf	? (TO)	1200.13	1200.58	1531951
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S449556655-088.cnf	? (TO)	1200.13	1200.58	1531983
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1614425450-034.cnf	? (TO)	1200.13	1200.48	1532003
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S326477539-068.cnf	? (TO)	1200.13	1200.47	1532019
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S2007898659-069.cnf	? (TO)	1200.13	1200.48	1531785
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1338462531-082.cnf	? (TO)	1200.13	1200.51	1531977
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S2083778933-085.cnf	? (TO)	1200.13	1200.49	1531359
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S638042053-051.cnf	? (TO)	1200.13	1200.64	1531379
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1007745655-097.cnf	? (TO)	1200.13	1200.5	1531755
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S457856978-061.cnf	? (TO)	1200.13	1200.45	1531753
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1367181683-025.cnf	? (TO)	1200.13	1200.51	1531997
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S131938947-014.cnf	? (TO)	1200.13	1200.46	1531703
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1985172968-100.cnf	? (TO)	1200.13	1200.52	1532011
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1036996799-006.cnf	? (TO)	1200.13	1200.48	1532013
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S820736259-091.cnf	? (TO)	1200.13	1200.59	1531679
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S596342014-039.cnf	? (TO)	1200.13	1200.46	1531659
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1554646792-012.cnf	? (TO)	1200.13	1200.42	1531193
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1826325374-100.cnf	? (TO)	1200.13	1200.58	1531613
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1223878722-065.cnf	? (TO)	1200.13	1200.6	1531583
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1736056721-032.cnf	? (TO)	1200.13	1200.44	1531291
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1146593655-045.cnf	? (TO)	1200.13	1200.5	1531571
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf	? (TO)	1200.13	1200.5	1531145
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S603077945-019.cnf	? (TO)	1200.13	1200.7	1531559
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1718226278-096.cnf	? (TO)	1200.13	1200.51	1531553
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S289069074-070.cnf	? (TO)	1200.13	1200.51	1531471
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1422278005-004.cnf	? (TO)	1200.13	1200.43	1531439
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1963731659-060.cnf	? (TO)	1200.13	1200.41	1531435
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1420449214-092.cnf	? (TO)	1200.13	1200.58	1531341
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S870840347-014.cnf	? (TO)	1200.13	1200.58	1531101
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1733990810-090.cnf	? (TO)	1200.14	1200.49	1531993
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1818347447-078.cnf	? (TO)	1200.14	1200.45	1531493
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2125310989-062.cnf	? (TO)	1200.14	1200.5	1531479
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1136894336-075.cnf	? (TO)	1200.14	1200.53	1531039
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1841979702-078.cnf	? (TO)	1200.14	1200.59	1532025
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1703611043-077.cnf	? (TO)	1200.14	1200.44	1531453
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S190880026-038.cnf	? (TO)	1200.14	1200.5	1531787
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1017443264-065.cnf	? (TO)	1200.14	1200.51	1531443
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S928666993-098.cnf	? (TO)	1200.14	1200.44	1531795
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1804335510-002.cnf	? (TO)	1200.14	1200.71	1532027
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1366769180-095.cnf	? (TO)	1200.14	1200.49	1531569
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S433356712-017.cnf	? (TO)	1200.14	1200.49	1531961
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1017667294-044.cnf	? (TO)	1200.14	1200.53	1531089
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1778559297-006.cnf	? (TO)	1200.14	1200.47	1531887
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S357555833-073.cnf	? (TO)	1200.14	1200.5	1531431
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1028159446-096.cnf	? (TO)	1200.14	1200.48	1531815
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S308012126-046.cnf	? (TO)	1200.14	1200.59	1531427
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1481888618-011.cnf	? (TO)	1200.14	1200.5	1531377
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1070443005-075.cnf	? (TO)	1200.14	1200.5	1531361
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S368632549-051.cnf	? (TO)	1200.14	1200.49	1532043
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S418266958-049.cnf	? (TO)	1200.14	1200.48	1531913
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1339293988-069.cnf	? (TO)	1200.14	1200.49	1531933
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S531507935-068.cnf	? (TO)	1200.14	1200.57	1531667
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S2119656249-086.cnf	? (TO)	1200.14	1200.49	1531289
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S528193823-041.cnf	? (TO)	1200.14	1200.59	1531451
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S311671104-045.cnf	? (TO)	1200.14	1200.59	1531877
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1362286908-061.cnf	? (TO)	1200.14	1200.59	1531871
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S1750991629-037.cnf	? (TO)	1200.14	1200.78	1531687
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1828800850-025.cnf	? (TO)	1200.14	1200.59	1531535
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf	? (TO)	1200.14	1200.53	1531125
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1940784272-089.cnf	? (TO)	1200.15	1200.58	1531873
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1049921489-034.cnf	? (TO)	1200.15	1200.44	1531051
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1726986756-053.cnf	? (TO)	1200.15	1200.5	1531239
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S179568577-034.cnf	? (TO)	1200.15	1200.57	1531675
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1580204273-012.cnf	? (TO)	1200.15	1200.58	1531801
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1536609007-088.cnf	? (TO)	1200.15	1200.57	1531853
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1139247531-051.cnf	? (TO)	1200.15	1200.59	1531879
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1624574519-076.cnf	? (TO)	1200.15	1200.57	1531881
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S817309453-059.cnf	? (TO)	1200.15	1200.5	1531967
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S814638510-058.cnf	? (TO)	1200.15	1200.44	1531099
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S285713182-059.cnf	? (TO)	1200.15	1200.54	1531083
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf	? (TO)	1200.15	1200.46	1531137
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S51132115-023.cnf	? (TO)	1200.15	1200.44	1531235
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1629955917-055.cnf	? (TO)	1200.15	1200.49	1531329
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S785082413-028.cnf	? (TO)	1200.15	1200.58	1531323
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S291433416-025.cnf	? (TO)	1200.15	1200.59	1531325
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S559732886-091.cnf	? (TO)	1200.15	1200.48	1531321
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1221988902-087.cnf	? (TO)	1200.15	1200.49	1531337
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S267191961-079.cnf	? (TO)	1200.15	1200.49	1531355
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1771223975-021.cnf	? (TO)	1200.15	1200.5	1531387
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1568932519-011.cnf	? (TO)	1200.15	1200.6	1531395
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1931398869-036.cnf	? (TO)	1200.15	1200.59	1531397
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2007547542-039.cnf	? (TO)	1200.15	1200.49	1531401
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S393518083-009.cnf	? (TO)	1200.15	1200.49	1531409
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S984347600-003.cnf	? (TO)	1200.15	1200.5	1531411
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1879656894-046.cnf	? (TO)	1200.15	1200.48	1531447
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2141146009-040.cnf	? (TO)	1200.15	1200.51	1531473
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S819692891-023.cnf	? (TO)	1200.15	1200	1531595
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S2060380282-019.cnf	? (TO)	1200.15	1200.59	1531587
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1897376969-026.cnf	? (TO)	1200.15	1200.52	1531629
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1331813943-033.cnf	? (TO)	1200.15	1200.58	1531641
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S486178562-011.cnf	? (TO)	1200.15	1200.5	1531645
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S125259973-020.cnf	? (TO)	1200.15	1200.47	1531707
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1035441377-058.cnf	? (TO)	1200.15	1200.47	1531723
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1598052044-078.cnf	? (TO)	1200.15	1200.49	1531737
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S583379276-046.cnf	? (TO)	1200.15	1200.57	1531749
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1628763900-004.cnf	? (TO)	1200.15	1200.47	1531757
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1810287895-075.cnf	? (TO)	1200.15	1200.51	1531773
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1694258328-099.cnf	? (TO)	1200.15	1200.47	1531791
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S227954525-082.cnf	? (TO)	1200.15	1200.5	1531865
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S809967194-078.cnf	? (TO)	1200.15	1200.47	1531903
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S981523907-072.cnf	? (TO)	1200.15	1200.48	1531911
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S787972994-025.cnf	? (TO)	1200.15	1200.5	1531937
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1229813320-044.cnf	? (TO)	1200.15	1200.47	1531969
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1924575376-025.cnf	? (TO)	1200.15	1200.6	1531985
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S122462268-047.cnf	? (TO)	1200.16	1200.57	1531311
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S136987316-008.cnf	? (TO)	1200.16	1200.55	1531113
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S2069223517-023.cnf	? (TO)	1200.16	1200.47	1531987
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1250067652-054.cnf	? (TO)	1200.16	1200.49	1531735
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1394630553-009.cnf	? (TO)	1200.16	1200.51	1531519
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S402241321-038.cnf	? (TO)	1200.16	1200.5	1531413
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S492033085-065.cnf	? (TO)	1200.16	1200.48	1531725
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S247943532-069.cnf	? (TO)	1200.16	1200.47	1531849
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1854680784-082.cnf	? (TO)	1200.16	1200.59	1531649
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S197260469-019.cnf	? (TO)	1200.16	1200.5	1531467
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1540921235-015.cnf	? (TO)	1200.16	1200.58	1531643
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1045096471-025.cnf	? (TO)	1200.16	1200.61	1531841
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S2083487609-068.cnf	? (TO)	1200.16	1200.5	1531307
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S709270457-007.cnf	? (TO)	1200.16	1200.48	1531585
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1602291491-023.cnf	? (TO)	1200.16	1200.5	1531631
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S305156909-031.cnf	? (TO)	1200.16	1200.57	1531827
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S799705985-049.cnf	? (TO)	1200.16	1200.57	1531623
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S852794659-023.cnf	? (TO)	1200.16	1200.58	1531399
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1555503917-029.cnf	? (TO)	1200.16	1200.49	1531999
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S703461330-034.cnf	? (TO)	1200.16	1200.6	1531459
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1040456712-073.cnf	? (TO)	1200.16	1200.58	1531405
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1735544520-075.cnf	? (TO)	1200.16	1200.49	1531627
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S745855171-090.cnf	? (TO)	1200.16	1200.48	1531295
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1175850950-017.cnf	? (TO)	1200.16	1200.48	1531751
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1564075794-028.cnf	? (TO)	1200.16	1200.49	1531743
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1482824652-097.cnf	? (TO)	1200.16	1200.61	1531487
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S617358728-082.cnf	? (TO)	1200.16	1200.46	1531995
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S2037556208-016.cnf	? (TO)	1200.16	1200.49	1531533
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1376127278-008.cnf	? (TO)	1200.16	1200.48	1531373
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S644655157-049.cnf	? (TO)	1200.16	1200.58	1531429
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1354285755-030.cnf	? (TO)	1200.16	1200.6	1531561
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S400162545-095.cnf	? (TO)	1200.16	1200.49	1531509
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1263695887-042.cnf	? (TO)	1200.17	1200.57	1531943
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1718100253-004.cnf	? (TO)	1200.17	1200.58	1531521
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1916548023-003.cnf	? (TO)	1200.17	1200.48	1531957
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1153031014-012.cnf	? (TO)	1200.17	1200.59	1531437
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S971118900-053.cnf	? (TO)	1200.17	1200.49	1531425
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1811295114-056.cnf	? (TO)	1200.17	1200.54	1531257
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S975048338-088.cnf	? (TO)	1200.17	1200.58	1531683
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1503318847-091.cnf	? (TO)	1200.17	1200.62	1531433
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S697681291-080.cnf	? (TO)	1200.17	1200.49	1531635
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S900957093-043.cnf	? (TO)	1200.17	1200.52	1531625
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S287307030-088.cnf	? (TO)	1200.17	1200.48	1531609
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1803805764-016.cnf	? (TO)	1200.17	1200.49	1531619
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S907861678-077.cnf	? (TO)	1200.17	1200.45	1531065
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2035161427-020.cnf	? (TO)	1200.17	1200.48	1532005
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803323266-025.cnf	? (TO)	1200.17	1200.5	1531601
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S254828838-055.cnf	? (TO)	1200.17	1200.7	1531489
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1807135406-059.cnf	? (TO)	1200.17	1200.5	1531799
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S342542912-045.cnf	? (TO)	1200.17	1200.49	1531599
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S51205200-028.cnf	? (TO)	1200.17	1200.6	1531605
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1388268034-092.cnf	? (TO)	1200.17	1200.5	1530957
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1266438269-016.cnf	? (TO)	1200.17	1200.49	1531507
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1299934729-015.cnf	? (TO)	1200.17	1200.6	1531523
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1369720750-015.cnf	? (TO)	1200.17	1200.49	1531811
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S502087726-095.cnf	? (TO)	1200.17	1200.48	1531807
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1895787950-064.cnf	? (TO)	1200.17	1200.59	1531579
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S257485978-084.cnf	? (TO)	1200.17	1200.5	1531299
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1514821049-021.cnf	? (TO)	1200.17	1200.59	1531537
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S746386799-050.cnf	? (TO)	1200.17	1200.59	1531541
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1826927554-087.cnf	? (TO)	1200.17	1200.48	1532029
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf	? (TO)	1200.17	1200.01	1531131
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1293537826-039.cnf	? (TO)	1200.17	1200.68	1532039
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1050568800-025.cnf	? (TO)	1200.17	1200.5	1531339
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S35186747-095.cnf	? (TO)	1200.17	1200.49	1531335
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1211704640-033.cnf	? (TO)	1200.17	1200.5	1531343
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1906521511-089.cnf	? (TO)	1200.17	1200.58	1531823
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1305875336-097.cnf	? (TO)	1200.17	1200.5	1531313
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S579205610-033.cnf	? (TO)	1200.17	1200.64	1531157
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S2034442711-054.cnf	? (TO)	1200.17	1200.59	1531759
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S419666888-007.cnf	? (TO)	1200.17	1200.48	1531915
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S565763763-051.cnf	? (TO)	1200.17	1200.59	1531897
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S159251645-087.cnf	? (TO)	1200.17	1200.49	1531647
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1850025790-078.cnf	? (TO)	1200.17	1200.59	1531375
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1077410718-040.cnf	? (TO)	1200.17	1200.52	1531745
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S986324446-009.cnf	? (TO)	1200.17	1200.5	1531383
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S824721511-001.cnf	? (TO)	1200.17	1200.48	1531391
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1353993612-015.cnf	? (TO)	1200.17	1200.47	1531719
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S554804223-012.cnf	? (TO)	1200.17	1200.46	1531981
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1350958473-082.cnf	? (TO)	1200.17	1200.47	1531721
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S287522321-032.cnf	? (TO)	1200.17	1200.48	1531713
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S780904324-093.cnf	? (TO)	1200.17	1200.58	1531941
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S956556686-037.cnf	? (TO)	1200.17	1200.56	1531067
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1858385213-060.cnf	? (TO)	1200.18	1200.59	1531543
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S621134782-041.cnf	? (TO)	1200.18	1200.5	1531859
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1410489780-030.cnf	? (TO)	1200.18	1200.5	1531315
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S207294319-099.cnf	? (TO)	1200.18	1200.5	1531345
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1916972979-060.cnf	? (TO)	1200.18	1200.49	1531309
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1767813611-042.cnf	? (TO)	1200.18	1200.59	1531371
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S744068878-072.cnf	? (TO)	1200.18	1200.58	1531389
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1849057034-020.cnf	? (TO)	1200.18	1206.25	1531081
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1559668863-058.cnf	? (TO)	1200.18	1200.49	1531449
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1900558626-069.cnf	? (TO)	1200.18	1200.5	1531485
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2028777924-038.cnf	? (TO)	1200.18	1200.61	1531481
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2142489608-055.cnf	? (TO)	1200.18	1200.6	1531515
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1543261951-042.cnf	? (TO)	1200.18	1200.52	1531069
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1525918493-008.cnf	? (TO)	1200.18	1200.51	1531513
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1736708510-089.cnf	? (TO)	1200.18	1200.59	1531527
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1794178048-059.cnf	? (TO)	1200.18	1200.49	1531551
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1568578307-064.cnf	? (TO)	1200.18	1200.68	1531017
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S139794312-098.cnf	? (TO)	1200.18	1200.51	1531227
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S486002104-037.cnf	? (TO)	1200.18	1200.48	1532017
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S2061874746-039.cnf	? (TO)	1200.18	1200.7	1531677
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1112524719-021.cnf	? (TO)	1200.18	1200.48	1531935
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S418505498-026.cnf	? (TO)	1200.18	1200.48	1531705
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1404929091-050.cnf	? (TO)	1200.18	1200.58	1531729
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S2037268960-098.cnf	? (TO)	1200.18	1200.51	1531731
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1864638535-048.cnf	? (TO)	1200.18	1200.48	1531929
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S356738975-073.cnf	? (TO)	1200.18	1200.47	1531777
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S398733532-072.cnf	? (TO)	1200.18	1200.6	1531369
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1258122549-031.cnf	? (TO)	1200.18	1200.5	1531837
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S374947955-075.cnf	? (TO)	1200.19	1200.48	1531673
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S178043354-076.cnf	? (TO)	1200.19	1200.5	1531531
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S367498571-066.cnf	? (TO)	1200.19	1200.59	1531331
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1983754128-073.cnf	? (TO)	1200.19	1200.51	1531789
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S432895007-058.cnf	? (TO)	1200.19	1200.5	1531573
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1610649331-094.cnf	? (TO)	1200.19	1200.49	1531503
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1161147107-031.cnf	? (TO)	1200.19	1200.58	1531861
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S748216286-061.cnf	? (TO)	1200.19	1200.49	1531421
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1002348653-090.cnf	? (TO)	1200.19	1200.5	1531975
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1185462553-011.cnf	? (TO)	1200.19	1200.48	1530947
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1550223396-041.cnf	? (TO)	1200.19	1200.53	1531259
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1279315365-067.cnf	? (TO)	1200.19	1200.51	1531251
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S358640743-023.cnf	? (TO)	1200.19	1200.5	1531477
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1295462378-089.cnf	? (TO)	1200.19	1200.04	1531063
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S2051339669-029.cnf	? (TO)	1200.19	1200.64	1531023
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1492329924-074.cnf	? (TO)	1200.19	1200.49	1531385
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1163324878-032.cnf	? (TO)	1200.19	1200.59	1531445
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1352224201-070.cnf	? (TO)	1200.19	1200.54	1531055
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S612955126-075.cnf	? (TO)	1200.19	1200.04	1531211
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf	? (TO)	1200.19	1200.61	1531221
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S23858409-056.cnf	? (TO)	1200.19	1200.48	1531959
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1796956909-029.cnf	? (TO)	1200.19	1200.49	1531497
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf	? (TO)	1200.19	1200.48	1531133
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S45592023-054.cnf	? (TO)	1200.19	1200.5	1531889
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1988754311-026.cnf	? (TO)	1200.19	1200.5	1531603
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S914952752-019.cnf	? (TO)	1200.19	1200.49	1531297
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf	? (TO)	1200.19	1200.04	1531269
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1880984131-087.cnf	? (TO)	1200.19	1200.61	1531885
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S517464300-073.cnf	? (TO)	1200.19	1200.5	1531671
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S2044894925-062.cnf	? (TO)	1200.19	1200.53	1531163
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S441484366-048.cnf	? (TO)	1200.19	1200.55	1531047
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1141213963-005.cnf	? (TO)	1200.19	1200.03	1531253
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S84716411-095.cnf	? (TO)	1200.19	1200.51	1531963
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1294530132-092.cnf	? (TO)	1200.2	1200.65	1531195
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf	? (TO)	1200.2	1200.59	1531217
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1332146811-066.cnf	? (TO)	1200.2	1200.51	1531249
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1459690542-033.cnf	? (TO)	1200.2	1200.6	1532033
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1457384322-029.cnf	? (TO)	1200.2	1200.52	1531747
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1334593800-018.cnf	? (TO)	1200.2	1200.51	1530971
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1136141672-041.cnf	? (TO)	1200.2	1200.62	1531663
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S632066493-060.cnf	? (TO)	1200.2	1200.61	1531301
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S327274323-044.cnf	? (TO)	1200.2	1200.62	1531087
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1256544997-019.cnf	? (TO)	1200.2	1200.65	1531203
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1977519792-030.cnf	? (TO)	1200.2	1200.61	1531855
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S905029262-097.cnf	? (TO)	1200.2	1200.51	1531517
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S1154116462-097.cnf	? (TO)	1200.2	1200.5	1531681
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S595075179-058.cnf	? (TO)	1200.2	1200.53	1531185
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S547165541-056.cnf	? (TO)	1200.2	1200.52	1531103
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1845944120-011.cnf	? (TO)	1200.2	1200.55	1531061
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S102181364-052.cnf	? (TO)	1200.2	1200.51	1531303
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf	? (TO)	1200.2	1200.64	1531111
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S522321670-058.cnf	? (TO)	1200.2	1200.65	1531029
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S445910413-047.cnf	? (TO)	1200.2	1200.49	1531581
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1684547485-073.cnf	? (TO)	1200.2	1200.52	1532031
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf	? (TO)	1200.21	1200.65	1531219
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1802626390-033.cnf	? (TO)	1200.21	1200.63	1531059
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S266028630-005.cnf	? (TO)	1200.21	1200.55	1531033
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1695726805-003.cnf	? (TO)	1200.21	1200.54	1531043
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S948914005-013.cnf	? (TO)	1200.21	1200.55	1531031
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf	? (TO)	1200.21	1200.63	1531213
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S645163129-012.cnf	? (TO)	1200.21	1200.51	1531615
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1813642436-099.cnf	? (TO)	1200.21	1200.47	1531201
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S678706275-057.cnf	? (TO)	1200.21	1200.5	1530973
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf	? (TO)	1200.21	1200.54	1531175
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1441840675-053.cnf	? (TO)	1200.21	1200.63	1530963
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S2124311399-085.cnf	? (TO)	1200.21	1200.67	1530977
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S520696524-059.cnf	? (TO)	1200.21	1200.56	1531117
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1645769281-097.cnf	? (TO)	1200.21	1200.5	1531575
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S2126130224-030.cnf	? (TO)	1200.21	1200.54	1531237
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S515665970-021.cnf	? (TO)	1200.21	1200.61	1531349
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2056912842-027.cnf	? (TO)	1200.21	1200.82	1531845
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1322153318-039.cnf	? (TO)	1200.21	1200.65	1530919
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S512486692-050.cnf	? (TO)	1200.21	1200.51	1531557
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S452919966-071.cnf	? (TO)	1200.21	1200.5	1531041
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1339275181-076.cnf	? (TO)	1200.22	1200.66	1531189
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S592525179-032.cnf	? (TO)	1200.22	1200.53	1531071
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S853819067-006.cnf	? (TO)	1200.22	1200.52	1531741
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf	? (TO)	1200.22	1200.66	1531155
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S279212213-020.cnf	? (TO)	1200.22	1200.55	1531135
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S650356257-052.cnf	? (TO)	1200.22	1200.68	1531285
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1378953985-075.cnf	? (TO)	1200.22	1200.57	1531057
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S274764005-003.cnf	? (TO)	1200.22	1200.66	1531167
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1178729443-051.cnf	? (TO)	1200.22	1200.66	1531073
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S2082290699-014.cnf	? (TO)	1200.22	1200.55	1531241
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf	? (TO)	1200.22	1200.54	1531123
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S914323646-060.cnf	? (TO)	1200.22	1200.63	1531263
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S2059720696-001.cnf	? (TO)	1200.22	1200.55	1531105
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2088061175-062.cnf	? (TO)	1200.22	1200.66	1531255
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1989329161-018.cnf	? (TO)	1200.22	1200.57	1531247
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf	? (TO)	1200.22	1200.79	1531187
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S566590366-099.cnf	? (TO)	1200.23	1200.54	1531085
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S268463339-081.cnf	? (TO)	1200.23	1200.56	1531147
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S500426663-025.cnf	? (TO)	1200.23	1200.57	1531165
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf	? (TO)	1200.23	1200.65	1531119
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S249585100-059.cnf	? (TO)	1200.23	1200.56	1530929
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S7007454-009.cnf	? (TO)	1200.23	1200.56	1531109
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1588298513-036.cnf	? (TO)	1200.23	1200.54	1531035
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1249224492-031.cnf	? (TO)	1200.23	1200.63	1531053
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1961115887-052.cnf	? (TO)	1200.23	1200.72	1531009
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1788451776-008.cnf	? (TO)	1200.23	1200.58	1530979
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1281410666-045.cnf	? (TO)	1200.23	1200.61	1530999
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1429776379-099.cnf	? (TO)	1200.23	1200.84	1531895
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S221596758-009.cnf	? (TO)	1200.23	1200.08	1531277
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf	? (TO)	1200.23	1200.55	1531161
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1284372491-036.cnf	? (TO)	1200.23	1200.67	1530915
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S322778960-054.cnf	? (TO)	1200.23	1200.56	1531243
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1192890414-033.cnf	? (TO)	1200.24	1200.61	1531005
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S821759333-092.cnf	? (TO)	1200.24	1200.55	1531177
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S315403000-060.cnf	? (TO)	1200.24	1200.55	1530943
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S162003179-087.cnf	? (TO)	1200.24	1200.85	1531229
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S193214747-044.cnf	? (TO)	1200.24	1200.61	1531021
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S648763183-023.cnf	? (TO)	1200.24	1200.64	1531191
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S439075063-023.cnf	? (TO)	1200.24	1200.57	1531151
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S15767910-042.cnf	? (TO)	1200.24	1200.6	1531281
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S420719158-080.cnf	? (TO)	1200.24	1200.55	1531265
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1864473452-037.cnf	? (TO)	1200.24	1200.54	1531077
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf	? (TO)	1200.25	1200.57	1531115
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S762724712-048.cnf	? (TO)	1200.25	1200.58	1531171
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1850138369-006.cnf	? (TO)	1200.25	1200.64	1530921
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf	? (TO)	1200.25	1200.82	1531173
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf	? (TO)	1200.25	1200.56	1531183
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1573578038-005.cnf	? (TO)	1200.25	1200.65	1530969
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S688804305-073.cnf	? (TO)	1200.25	1200.65	1531159
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf	? (TO)	1200.25	1200.54	1531179
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1736471436-014.cnf	? (TO)	1200.25	1200.58	1530935
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1797123396-073.cnf	? (TO)	1200.26	1200.7	1530939
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S251246256-047.cnf	? (TO)	1200.26	1200.7	1530931
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2054549948-012.cnf	? (TO)	1200.26	1200.57	1530927
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1970456972-046.cnf	? (TO)	1200.26	1200.68	1530997
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S962875623-008.cnf	? (TO)	1200.26	1200.56	1530989
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf	? (TO)	1200.26	1200.57	1531207
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S906020180-093.cnf	? (TO)	1200.26	1200.67	1531225
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S685953260-065.cnf	? (TO)	1200.26	1200.7	1530995
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S826724848-048.cnf	? (TO)	1200.26	1200.59	1531271
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S339800239-026.cnf	? (TO)	1200.26	1200.68	1531245
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S779309989-069.cnf	? (TO)	1200.26	1200.67	1531127
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S859578263-029.cnf	? (TO)	1200.26	1200.68	1531139
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1748152762-086.cnf	? (TO)	1200.26	1200.55	1530937
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2088224617-083.cnf	? (TO)	1200.26	1200.58	1530913
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1018145191-052.cnf	? (TO)	1200.27	1200.59	1530993
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1253795703-015.cnf	? (TO)	1200.27	1200.63	1530975
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1313163883-027.cnf	? (TO)	1200.27	1200.68	1531007
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1611899384-022.cnf	? (TO)	1200.27	1200.68	1531003
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1353769076-009.cnf	? (TO)	1200.27	1200.67	1530933
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1183359164-025.cnf	? (TO)	1200.27	1200.59	1530941
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf	? (TO)	1200.27	1200.58	1531169
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S144924920-056.cnf	? (TO)	1200.27	1200.68	1530967
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf	? (TO)	1200.28	1200.74	1531181
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S839302453-094.cnf	? (TO)	1200.28	1200.6	1531153
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S2054922493-058.cnf	? (TO)	1200.28	1200.59	1530953
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1040507052-028.cnf	? (TO)	1200.28	1200.79	1530925
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1724014998-099.cnf	? (TO)	1200.29	1200.61	1530945
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S155821307-034.cnf	? (TO)	1200.29	1200.62	1530965
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S568017735-066.cnf	? (TO)	1200.29	1200.8	1531223
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1912214877-051.cnf	? (TO)	1200.3	1200.82	1530955
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S211141966-058.cnf	? (TO)	1200.3	1200.64	1530991
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2015297474-031.cnf	? (TO)	1200.3	1200.8	1530911
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S219795104-099.cnf	? (TO)	1200.32	1200.73	1531283
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1500472284-060.cnf	? (TO)	1200.33	1201.03	1531001
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S805234188-084.cnf	? (TO)	1200.33	1200.78	1530961
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S743448446-027.cnf	? (TO)	1200.33	1200.73	1530983
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S704699380-099.cnf	? (TO)	1200.34	1200.79	1530917
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S115851319-100.cnf	? (TO)	1200.35	1200.76	1530951
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S882603971-022.cnf	? (TO)	1200.35	1200.67	1530959
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S501150091-001.cnf	? (TO)	1200.35	1200.75	1530909
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1954748117-061.cnf	? (TO)	1200.35	1200.75	1530949

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

Result page for solver tts tts-5-0 (complete)

Category "applications instances" (APPLICATION)

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

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

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

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

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

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

Category "crafted instances" (CRAFTED)

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

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

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

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

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

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

Category "random instances" (RANDOM)

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

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