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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	0.858868	0.859813	1718839
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	29.1436	29.1525	1718007
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	64.5222	64.5418	1717955

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
een-tip-sat-texas-tp-5e.cnf	SAT	0.372942	0.373543	1720919
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_14_SAT.cnf	SAT	8.32873	8.33123	1721729
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_17_SAT.cnf	SAT	13.9089	13.9132	1722129
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_22_SAT.cnf	SAT	61.9426	61.9752	1721329
industrial/grieu/ vmpc_26.cnf	SAT	173.564	173.613	1718735
industrial/grieu/ vmpc_24.cnf	SAT	182.593	182.686	1718527
industrial/grieu/ vmpc_28.cnf	SAT	453.364	453.541	1718631
industrial/grieu/ vmpc_25.cnf	SAT	757.854	758.083	1718371

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf	?	0	0.00536097	1563429
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	?	0	0.00509608	1719203
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	?	0	0.00512694	1719359
velev-pipe-sat-1.0-b10.cnf	?	0.000999	0.00531691	1723335
industrial/narain/ clauses-8.cnf	?	0.000999	0.00510589	1718787
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	?	0.000999	0.00511097	1719411
velev-pipe-sat-1.0-b7.cnf	?	0.000999	0.00549291	1723179
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	?	0.000999	0.00527307	1718943
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	?	0.001999	0.00510303	1719255

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_09_UNSAT.cnf	? (TO)	1200.01	1200.41	1722429
APPLICATIONS/bitverif/countbitsarray/ countbitsarray02_32.cnf	? (TO)	1200.01	1200.41	1556045
een-tip-uns-nusmv-t5.B.cnf	? (TO)	1200.01	1200.41	1723387
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1200.01	1200.41	1717123
APPLICATIONS/crypto/ desgen/gss-13-s100.cnf	? (TO)	1200.01	1200.31	1559217
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_12_UNKNOWN.cnf	? (TO)	1200.01	1200.31	1722579
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1200.02	1200.41	1716915
APPLICATIONS/bioinfo/ q_query_3_l48_lambda.cnf	? (TO)	1200.02	1200.31	1563117
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1200.02	1200.31	1716967
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_15_UNKNOWN.cnf	? (TO)	1200.02	1200.31	1721829
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_13_UNSAT.cnf	? (TO)	1200.02	1200.41	1722379
APPLICATIONS/crypto/ desgen/gss-24-s100.cnf	? (TO)	1200.02	1200.41	1559321
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.02	1200.31	1718683
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate016.cnf	? (TO)	1200.02	1200.41	1554121
APPLICATIONS/bioinfo/ q_query_3_l47_lambda.cnf	? (TO)	1200.02	1200.31	1563065
cmu-bmc-longmult15.cnf	? (TO)	1200.02	1200.51	1720659
APPLICATIONS/crypto/ desgen/gss-26-s100.cnf	? (TO)	1200.03	1200.51	1558073
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_14_UNKNOWN.cnf	? (TO)	1200.03	1200.31	1722829
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf	? (TO)	1200.03	1200.32	1555161
APPLICATIONS/bitverif/ mulhs/mulhs032.cnf	? (TO)	1200.03	1200.41	1554745
mizh-sha0-35-3.cnf	? (TO)	1200.03	1200.41	1720711
APPLICATIONS/bitverif/ minxorminand/minxorminand064.cnf	? (TO)	1200.03	1200.41	1553289
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.03	1200.51	1717019
APPLICATIONS/diagnosis/ UTI-10-10p0.cnf	? (TO)	1200.03	1200.62	1581757
industrial/fuhs/medium/ AProVE07-16.cnf	? (TO)	1200.03	1200.51	1716863
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1200.03	1200.32	1717175
manol-pipe-c10nid_i.cnf	? (TO)	1200.03	1200.32	1720763
APPLICATIONS/diagnosis/ UTI-15-5p1.cnf	? (TO)	1200.03	1200.52	1582745
APPLICATIONS/diagnosis/ UCG-20-10p1.cnf	? (TO)	1200.03	1200.53	1581081
APPLICATIONS/bitverif/countbitswegner/ countbitswegner064.cnf	? (TO)	1200.03	1200.41	1555473
APPLICATIONS/diagnosis/ UR-10-5p1.cnf	? (TO)	1200.03	1200.42	1579469
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_07_UNSAT.cnf	? (TO)	1200.03	1199.91	1722279
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_10_UNSAT.cnf	? (TO)	1200.03	1200.61	1721979
APPLICATIONS/crypto/ md5gen/gus-md5-09.cnf	? (TO)	1200.04	1200.41	1556617
APPLICATIONS/aprove09/ AProVE09-20.cnf	? (TO)	1200.04	1200.71	1559789
APPLICATIONS/crypto/ md5gen/gus-md5-07.cnf	? (TO)	1200.04	1200.41	1557085
APPLICATIONS/crypto/ desgen/gss-33-s100.cnf	? (TO)	1200.04	1200.41	1558853
APPLICATIONS/bioinfo/ q_query_3_L80_coli.sat.cnf	? (TO)	1200.04	1200.63	1577493
APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf	? (TO)	1200.04	1200.71	1563689
APPLICATIONS/diagnosis/ UTI-15-10p1.cnf	? (TO)	1200.04	1200.42	1577909
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.04	1200.41	1718215
APPLICATIONS/diagnosis/ UR-10-5p0.cnf	? (TO)	1200.04	1200.42	1579885
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	1200.04	1199.91	1717071
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1200.04	1200.43	1717383
APPLICATIONS/ bitverif/minxor/minxor128.cnf	? (TO)	1200.04	1200.41	1553497
APPLICATIONS/bitverif/ minandmaxor/minandmaxor032.cnf	? (TO)	1200.04	1200.31	1553809
APPLICATIONS/ bitverif/minand/minand128.cnf	? (TO)	1200.04	1200.41	1554225
APPLICATIONS/diagnosis/ UTI-20-10p1.cnf	? (TO)	1200.04	1200.63	1582173
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	? (TO)	1200.04	1200.61	1718267
manol-pipe-g10nid.cnf	? (TO)	1200.04	1200.42	1720191
APPLICATIONS/crypto/ md5gen/gus-md5-14.cnf	? (TO)	1200.04	1200.51	1556721
goldb-heqc-dalumul.cnf	? (TO)	1200.04	1200.41	1720451
APPLICATIONS/crypto/ desgen/gss-17-s100.cnf	? (TO)	1200.04	1201.41	1557605
APPLICATIONS/aprove09/ AProVE09-12.cnf	? (TO)	1200.05	1200.51	1560361
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	? (TO)	1200.05	1200.32	1717643
APPLICATIONS/crypto/ md5gen/gus-md5-11.cnf	? (TO)	1200.05	1200.41	1557033
APPLICATIONS/bitverif/ minandmaxor/minandmaxor128.cnf	? (TO)	1200.05	1200.42	1553861
APPLICATIONS/aprove09/ AProVE09-05.cnf	? (TO)	1200.05	1200.41	1560049
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate128.cnf	? (TO)	1200.05	1200.42	1554017
APPLICATIONS/aprove09/ AProVE09-17.cnf	? (TO)	1200.05	1200.51	1559737
APPLICATIONS/crypto/ desgen/gss-19-s100.cnf	? (TO)	1200.05	1200.41	1559633
simon-s02b-dp11u10.cnf	? (TO)	1200.05	1200.41	1723855
APPLICATIONS/diagnosis/ UCG-15-10p0.cnf	? (TO)	1200.05	1200.52	1581601
APPLICATIONS/bioinfo/ q_query_3_L70_coli.sat.cnf	? (TO)	1200.05	1200.53	1577649
manol-pipe-f10ni.cnf	? (TO)	1200.05	1200.63	1724063
simon-s02b-k2f-gr-rcs-w8.cnf	? (TO)	1200.05	1200.41	1724219
manol-pipe-c9.cnf	? (TO)	1200.05	1200.41	1724375
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_06_UNSAT.cnf	? (TO)	1200.05	1200.51	1723079
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200.05	1200.52	1716603
APPLICATIONS/bitverif/countbitsarray/ countbitsarray08_32.cnf	? (TO)	1200.05	1200.41	1556097
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	? (TO)	1200.05	1200.42	1716343
APPLICATIONS/ c32sat/post-c32s-ss-8.cnf	? (TO)	1200.05	1200.41	1563585
APPLICATIONS/aprove09/ AProVE09-07.cnf	? (TO)	1200.05	1200.51	1560621
APPLICATIONS/bioinfo/ q_query_3_l37_lambda.cnf	? (TO)	1200.05	1200.41	1562857
APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf	? (TO)	1200.05	1200.41	1563013
APPLICATIONS/diagnosis/ UR-15-10p0.cnf	? (TO)	1200.06	1200.42	1582017
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	1200.06	1200.42	1719099
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1200.06	1200.52	1716239
APPLICATIONS/crypto/ desgen/gss-20-s100.cnf	? (TO)	1200.06	1200.51	1558229
APPLICATIONS/crypto/ md5gen/gus-md5-04.cnf	? (TO)	1200.06	1200.51	1556877
APPLICATIONS/bitverif/ maxxororand/maxxororand032.cnf	? (TO)	1200.06	1200.41	1555265
schup-l2s-abp4-1-k31.cnf	? (TO)	1200.06	1200.41	1719619
mizh-sha0-36-3.cnf	? (TO)	1200.06	1200.41	1719827
APPLICATIONS/aprove09/ AProVE09-10.cnf	? (TO)	1200.06	1200.41	1560829
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_08_UNSAT.cnf	? (TO)	1200.06	1200.51	1721879
APPLICATIONS/crypto/ md5gen/gus-md5-15.cnf	? (TO)	1200.06	1200.71	1556461
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (TO)	1200.06	1200.42	1716447
velev-live-uns-2.0-ebuf.cnf	? (TO)	1200.06	1200.51	1723699
manol-pipe-g10id.cnf	? (TO)	1200.06	1200.62	1723543
APPLICATIONS/diagnosis/ UTI-20-10p0.cnf	? (TO)	1200.06	1200.63	1581497
APPLICATIONS/aprove09/ AProVE09-22.cnf	? (TO)	1200.06	1200.51	1560465
mizh-md5-47-4.cnf	? (TO)	1200.06	1200.41	1720555
APPLICATIONS/crypto/ desgen/gss-32-s100.cnf	? (TO)	1200.06	1200.41	1557709
APPLICATIONS/crypto/ desgen/gss-23-s100.cnf	? (TO)	1200.06	1200.41	1559009
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_08_UNSAT.cnf	? (TO)	1200.06	1200.41	1721229
APPLICATIONS/crypto/ desgen/gss-21-s100.cnf	? (TO)	1200.06	1200.51	1559269
mizh-sha0-36-2.cnf	? (TO)	1200.06	1200.41	1724011
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	? (TO)	1200.06	1200.52	1715927
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	1200.06	1200.63	1719307
APPLICATIONS/diagnosis/ UCG-10-5p0.cnf	? (TO)	1200.07	1200.42	1578221
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_09_UNSAT.cnf	? (TO)	1200.07	1200.51	1722629
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	1200.07	1200.42	1715615
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (TO)	1200.07	1200.62	1715979
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.07	1200.43	1716031
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.07	1200.52	1716291
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.07	1200.62	1716707
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.07	1200.41	1717227
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	? (TO)	1200.07	1200.52	1717903
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	? (TO)	1200.07	1200.41	1718163
industrial/grieu/ vmpc_29.cnf	? (TO)	1200.07	1200.41	1718579
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	1200.07	1200.41	1718891
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	1200.07	1200.65	1719047
schup-l2s-motst-2-k315.cnf	? (TO)	1200.07	1200.63	1720035
mizh-sha0-36-4.cnf	? (TO)	1200.07	1200.51	1720243
goldb-heqc-alu4mul.cnf	? (TO)	1200.07	1200.51	1721023
mizh-md5-48-5.cnf	? (TO)	1200.07	1200.51	1721127
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_10_UNKNOWN.cnf	? (TO)	1200.07	1200.71	1721279
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_16_UNKNOWN.cnf	? (TO)	1200.07	1200.41	1722779
manol-pipe-f9n.cnf	? (TO)	1200.07	1200.42	1723959
APPLICATIONS/crypto/ desgen/gss-31-s100.cnf	? (TO)	1200.07	1200.51	1557501
APPLICATIONS/ bitverif/maxxor/maxxor128.cnf	? (TO)	1200.07	1200.62	1556253
APPLICATIONS/bitverif/countbitsarray/ countbitsarray32_32.cnf	? (TO)	1200.07	1200.51	1556149
APPLICATIONS/diagnosis/ UR-15-5p0.cnf	? (TO)	1200.07	1200.42	1581965
APPLICATIONS/diagnosis/ UCG-20-5p1.cnf	? (TO)	1200.07	1200.62	1581913
APPLICATIONS/bitverif/ minor/minor064.cnf	? (TO)	1200.07	1200.41	1553185
APPLICATIONS/diagnosis/ ACG-10-5p0.cnf	? (TO)	1200.07	1200.42	1579417
APPLICATIONS/diagnosis/ UTI-20-5p0.cnf	? (TO)	1200.07	1200.62	1578793
APPLICATIONS/aprove09/ AProVE09-11.cnf	? (TO)	1200.07	1200.41	1560881
manol-pipe-g7nidw.cnf	? (TO)	1200.07	1200.51	1724323
APPLICATIONS/bioinfo/ q_query_3_l43_lambda.cnf	? (TO)	1200.07	1200.41	1562909
APPLICATIONS/bioinfo/ q_query_3_l45_lambda.cnf	? (TO)	1200.07	1200.41	1563221
APPLICATIONS/aprove09/ AProVE09-08.cnf	? (TO)	1200.08	1200.51	1560725
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_09_UNKNOWN.cnf	? (TO)	1200.08	1200.51	1722879
velev-engi-uns-1.0-4nd.cnf	? (TO)	1200.08	1200.61	1720139
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_10_UNKNOWN.cnf	? (TO)	1200.08	1200.41	1723029
APPLICATIONS/crypto/ md5gen/gus-md5-05.cnf	? (TO)	1200.08	1206.11	1556825
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_17_UNKNOWN.cnf	? (TO)	1200.08	1200.51	1721429
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	? (TO)	1200.08	1200.41	1718319
manol-pipe-c7nidw.cnf	? (TO)	1200.08	1200.52	1723491
APPLICATIONS/crypto/ md5gen/gus-md5-06.cnf	? (TO)	1200.08	1200.41	1556773
APPLICATIONS/crypto/ desgen/gss-28-s100.cnf	? (TO)	1200.08	1200.41	1559373
hoons-vbmc-lucky7.cnf	? (TO)	1200.08	1200.51	1719879
goldb-heqc-i10mul.cnf	? (TO)	1200.08	1200.41	1723439
cmu-bmc-barrel6.cnf	? (TO)	1200.08	1200.71	1719567
APPLICATIONS/bitverif/ maxor/maxor128.cnf	? (TO)	1200.08	1200.62	1555889
APPLICATIONS/c32sat/ post-c32s-gcdm16-23.cnf	? (TO)	1200.08	1200.52	1563377
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_20_SAT.cnf	? (TO)	1200.08	1200.42	1722479
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	? (TO)	1200.08	1200.53	1717435
APPLICATIONS/diagnosis/ UCG-15-5p0.cnf	? (TO)	1200.08	1200.42	1580561
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_11_UNKNOWN.cnf	? (TO)	1200.08	1200.41	1721179
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_07_UNSAT.cnf	? (TO)	1200.08	1200.41	1722529
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200.08	1200.42	1716187
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200.08	1200.41	1718111
manol-pipe-f9b.cnf	? (TO)	1200.08	1200.52	1719983
APPLICATIONS/bitverif/ minor/minor032.cnf	? (TO)	1200.08	1200.41	1553237
APPLICATIONS/diagnosis/ UR-20-5p1.cnf	? (TO)	1200.08	1200.63	1580249
APPLICATIONS/bioinfo/ q_query_2_L324_coli.cnf	? (TO)	1200.08	1200.65	1577805
goldb-heqc-x1mul.cnf	? (TO)	1200.08	1200.51	1719463
APPLICATIONS/diagnosis/ UCG-15-10p1.cnf	? (TO)	1200.08	1200.52	1580093
velev-pipe-o-uns-1.0-7.cnf	? (TO)	1200.08	1200.52	1723907
APPLICATIONS/diagnosis/ UTI-15-5p0.cnf	? (TO)	1200.08	1200.62	1579989
schup-l2s-guid-1-k56.cnf	? (TO)	1200.08	1200.51	1724115
mizh-md5-47-3.cnf	? (TO)	1200.08	1200.51	1719515
APPLICATIONS/diagnosis/ ACG-15-10p0.cnf	? (TO)	1200.08	1200.42	1578949
APPLICATIONS/aprove09/ AProVE09-24.cnf	? (TO)	1200.08	1200.41	1559945
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_14_UNSAT.cnf	? (TO)	1200.08	1200.41	1721529
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_11_UNKNOWN.cnf	? (TO)	1200.08	1200.51	1723129
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.08	1200.42	1716655
manol-pipe-g10bidw.cnf	? (TO)	1200.09	1200.42	1723283
industrial/fuhs/medium/ AProVE07-09.cnf	? (TO)	1200.09	1200.41	1716811
manol-pipe-c6nidw_i.cnf	? (TO)	1200.09	1200.51	1724479
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.09	1200.43	1716551
APPLICATIONS/aprove09/ AProVE09-25.cnf	? (TO)	1200.09	1200.41	1560153
APPLICATIONS/c32sat/ post-c32s-col400-16.cnf	? (TO)	1200.09	1200.43	1563481
APPLICATIONS/aprove09/ AProVE09-03.cnf	? (TO)	1200.09	1200.41	1560673
manol-pipe-c6bidw_i.cnf	? (TO)	1200.09	1200.41	1720295
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_12_UNKNOWN.cnf	? (TO)	1200.09	1200.41	1722179
APPLICATIONS/bitverif/ icbrt/icbrt1_32.cnf	? (TO)	1200.09	1200.51	1555057
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.09	1200.41	1718059
schup-l2s-bc56s-1-k391.cnf	? (TO)	1200.09	1200.44	1719931
APPLICATIONS/aprove09/ AProVE09-13.cnf	? (TO)	1200.09	1207.01	1560309
APPLICATIONS/ bitverif/maxand/maxand064.cnf	? (TO)	1200.09	1200.41	1555629
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	1200.09	1200.43	1719151
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	1200.09	1200.43	1717799
APPLICATIONS/bitverif/ smulo/smulo016.cnf	? (TO)	1200.09	1200.41	1554849
APPLICATIONS/bioinfo/ q_query_3_l41_lambda.cnf	? (TO)	1200.09	1200.41	1562961
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_12_UNSAT.cnf	? (TO)	1200.09	1200.41	1721379
APPLICATIONS/bitverif/ countbitssrl/countbitssrl016.cnf	? (TO)	1200.09	1200.41	1554589
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.09	1200.41	1718475
APPLICATIONS/crypto/ desgen/gss-22-s100.cnf	? (TO)	1200.09	1200.41	1557969
goldb-heqc-frg1mul.cnf	? (TO)	1200.09	1200.51	1719671
APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf	? (TO)	1200.09	1200.41	1562701
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.09	1200.41	1717851
APPLICATIONS/bitverif/countbitsrotate/ countbitsrotate032.cnf	? (TO)	1200.09	1200.51	1554173
APPLICATIONS/diagnosis/ UR-20-10p1.cnf	? (TO)	1200.09	1200.63	1582433
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	? (TO)	1200.09	1200.42	1717591
APPLICATIONS/satComp09_BioInstances/ rpoc_xits_13_UNKNOWN.cnf	? (TO)	1200.09	1200.41	1721779
APPLICATIONS/crypto/ desgen/gss-14-s100.cnf	? (TO)	1200.09	1200.41	1558437
APPLICATIONS/diagnosis/ UR-20-5p0.cnf	? (TO)	1200.09	1200.62	1580145
APPLICATIONS/bioinfo/ q_query_3_L200_coli.sat.cnf	? (TO)	1200.1	1200.46	1577753
aloul-chnl11-13.cnf	? (TO)	1200.1	1200.51	1720399
APPLICATIONS/crypto/ md5gen/gus-md5-16.cnf	? (TO)	1200.1	1200.41	1556513
APPLICATIONS/ bitverif/maxxor/maxxor064.cnf	? (TO)	1200.1	1200.51	1556357
APPLICATIONS/bioinfo/ q_query_3_L90_coli.sat.cnf	? (TO)	1200.1	1200.63	1577597
velev-vliw-uns-4.0-9-i1.cnf	? (TO)	1200.1	1200.45	1719723
APPLICATIONS/bitverif/ smulo/smulo128.cnf	? (TO)	1200.1	1200.52	1554901
APPLICATIONS/bitverif/ mulhs/mulhs016.cnf	? (TO)	1200.1	1200.41	1554693
APPLICATIONS/bitverif/ countbitssrl/countbitssrl128.cnf	? (TO)	1200.1	1200.52	1554537
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	? (TO)	1200.1	1200.72	1717695
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	? (TO)	1200.1	1200.42	1717487
APPLICATIONS/bitverif/ minxorminand/minxorminand032.cnf	? (TO)	1200.1	1200.41	1553341
APPLICATIONS/diagnosis/ ACG-15-10p1.cnf	? (TO)	1200.1	1200.62	1580353
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1200.1	1200.52	1717331
APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf	? (TO)	1200.1	1200.44	1577545
APPLICATIONS/c32sat/ post-cbmc-aes-ele-noholes.cnf	? (TO)	1200.1	1200.44	1563637
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.1	1200.43	1716395
APPLICATIONS/aprove09/ AProVE09-19.cnf	? (TO)	1200.1	1200.41	1560933
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.1	1200.42	1716135
APPLICATIONS/aprove09/ AProVE09-15.cnf	? (TO)	1200.1	1200.41	1560569
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200.1	1200.52	1715771
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	? (TO)	1200.1	1200.52	1715667
simon-s03-fifo8-300.cnf	? (TO)	1200.1	1200.42	1724167
APPLICATIONS/crypto/ desgen/gss-34-s100.cnf	? (TO)	1200.1	1200.41	1558801
APPLICATIONS/crypto/ desgen/gss-15-s100.cnf	? (TO)	1200.1	1200.41	1558489
manol-pipe-c7bidw_i.cnf	? (TO)	1200.1	1200.41	1724271
APPLICATIONS/bioinfo/ q_query_3_L60_coli.sat.cnf	? (TO)	1200.1	1200.52	1577701
APPLICATIONS/crypto/ desgen/gss-27-s100.cnf	? (TO)	1200.1	1200.61	1558021
simon-s03-w08-15.cnf	? (TO)	1200.1	1200.42	1719775
APPLICATIONS/bioinfo/ q_query_3_l44_lambda.cnf	? (TO)	1200.1	1200.41	1562753
APPLICATIONS/satComp09_BioInstances/ rbcl_xits_13_UNKNOWN.cnf	? (TO)	1200.1	1200.41	1722979
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_11_UNSAT.cnf	? (TO)	1200.1	1200.71	1721679
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1200.11	1200.42	1715823
APPLICATIONS/bioinfo/ q_query_3_l38_lambda.cnf	? (TO)	1200.11	1200.41	1563169
APPLICATIONS/crypto/ md5gen/gus-md5-10.cnf	? (TO)	1200.11	1200.41	1556565
APPLICATIONS/crypto/ desgen/gss-16-s100.cnf	? (TO)	1200.11	1200.51	1557813
goldb-heqc-term1mul.cnf	? (TO)	1200.11	1200.41	1723647
APPLICATIONS/aprove09/ AProVE09-06.cnf	? (TO)	1200.11	1200.41	1559685
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf	? (TO)	1200.11	1200.72	1553393
APPLICATIONS/diagnosis/ UTI-15-10p0.cnf	? (TO)	1200.11	1200.42	1580873
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf	? (TO)	1200.11	1200.73	1579365
manol-pipe-g6bi.cnf	? (TO)	1200.11	1200.41	1723751
APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf	? (TO)	1200.11	1200.41	1562805
APPLICATIONS/diagnosis/ UTI-20-5p1.cnf	? (TO)	1200.11	1200.53	1581341
APPLICATIONS/bitverif/ countbitssrl/countbitssrl032.cnf	? (TO)	1200.11	1200.51	1554433
industrial/grieu/ vmpc_30.cnf	? (TO)	1200.11	1200.51	1718423
APPLICATIONS/c32sat/ post-cbmc-aes-d-r2-noholes.cnf	? (TO)	1200.11	1200.44	1563325
velev-pipe-o-uns-1.1-6.cnf	? (TO)	1200.11	1200.41	1723595
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.11	1200.42	1716499
APPLICATIONS/aprove09/ AProVE09-21.cnf	? (TO)	1200.11	1200.41	1560101
APPLICATIONS/bioinfo/ q_query_3_L100_coli.sat.cnf	? (TO)	1200.11	1200.44	1577857
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	? (TO)	1200.11	1200.52	1715719
APPLICATIONS/crypto/ desgen/gss-25-s100.cnf	? (TO)	1200.11	1200.51	1559529
APPLICATIONS/satComp09_BioInstances/ ndhf_xits_21_SAT.cnf	? (TO)	1200.12	1200.52	1722029
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	1200.12	1200.64	1718995
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.12	1200.53	1716759
APPLICATIONS/diagnosis/ UR-15-10p1.cnf	? (TO)	1200.12	1200.42	1579833
manol-pipe-c10nidw.cnf	? (TO)	1200.12	1200.54	1720087
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf	? (TO)	1200.12	1200.53	1580041
vange-col-abb313GPIA-9-c.cnf	? (TO)	1200.12	1200.42	1720347
APPLICATIONS/bioinfo/ q_query_3_l40_lambda.cnf	? (TO)	1200.12	1200.41	1562649
velev-pipe-uns-1.0-8.cnf	? (TO)	1200.12	1200.62	1724427
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	? (TO)	1200.12	1200.53	1717539
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r3-noholes.cnf	? (TO)	1200.13	1200.76	1563741
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	1200.13	1200.74	1717279
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200.13	1200.52	1715875
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.13	1200.72	1716083
APPLICATIONS/c32sat/ post-cbmc-aes-ee-r2-noholes.cnf	? (TO)	1200.13	1200.54	1563273
APPLICATIONS/diagnosis/ ACG-20-5p1.cnf	? (TO)	1200.13	1200.63	1580769
velev-vliw-uns-4.0-9C1.cnf	? (TO)	1200.14	1200.04	1723803
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1200.14	1200.73	1717747
manol-pipe-c10nidw_s.cnf	? (TO)	1200.14	1200.53	1723231

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
APPLICATIONS/aprove09/ AProVE09-01.cnf	Signal 11	0.041992	0.0416991	1560413

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n2_i3_pp.cnf	UNSAT	0.000999	0.0049681	1736579
CRAFTED/parity-games/ instance_n2_i2_pp.cnf	UNSAT	0.000999	0.00507807	1736879

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/sgi/ satsgi-n17himBHm20-p0-q146.cnf	SAT	0.019996	0.019804	1734229
CRAFTED/sgi/ satsgi-n18himBHm21-p0-q167.cnf	SAT	0.024995	0.0236259	1734379
CRAFTED/sgi/ satsgi-n19himBHm22-p0-q181.cnf	SAT	0.026995	0.0278391	1734129
CRAFTED/sgi/ satsgi-n22himBHm24-p0-q209.cnf	SAT	0.039993	0.0408159	1734179
CRAFTED/sgi/ satsgi-n22himBHm25-p0-q229.cnf	SAT	0.047992	0.0471221	1734479
CRAFTED/sgi/ satsgi-n23himBHm26-p0-q248.cnf	SAT	0.049991	0.0507409	1734329
CRAFTED/sgi/ satsgi-n23himBHm25-p0-q219.cnf	SAT	0.049991	0.0504369	1734429
CRAFTED/sgi/ satsgi-n23himBHm27-p0-q251.cnf	SAT	0.053991	0.054819	1734579
CRAFTED/sgi/ satsgi-n25himBHm27-p0-q251.cnf	SAT	0.066989	0.0674011	1734279
CRAFTED/sgi/ sgi-difficult4.cnf	SAT	0.067989	0.0685881	1736179
CRAFTED/sgi/ satsgi-n25himBHm29-p0-q290.cnf	SAT	0.075988	0.075025	1734629
CRAFTED/sgi/ new-difficult-20-152-18-95.cnf	SAT	0.084986	0.085269	1738127
CRAFTED/sgi/ satsgi-n28himBHm30-p0-q333.cnf	SAT	0.091985	0.091516	1734529
CRAFTED/sgi/ sgi-difficult7.cnf	SAT	0.149976	0.15072	1736229
CRAFTED/sgi/ new-difficult-21-168-19-90.cnf	SAT	0.179971	0.180607	1738180
CRAFTED/sgi/ new-difficult-22-173-20-80.cnf	SAT	0.244962	0.24368	1738286
CRAFTED/parity-games/ instance_n3_i3_pp_ci_ce.cnf	SAT	0.356944	0.357323	1736429
CRAFTED/sgen/sat/ sgen1-sat-140-100.cnf	SAT	0.644901	0.645897	1732379
CRAFTED/sgi/ new-difficult-28-302-26-75.cnf	SAT	0.735887	0.736763	1738392
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes4.cnf	SAT	0.835872	0.836475	1735129
CRAFTED/ramseycube/ Q3inK08.cnf	SAT	1.02584	1.02649	1733029
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g1.cnf	SAT	1.25581	1.25521	1735079
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	SAT	1.25881	1.25977	1738339
CRAFTED/sgen/sat/ sgen1-sat-160-100.cnf	SAT	1.3418	1.34208	1732479
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	SAT	4.52831	4.5283	1725750
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes6.cnf	SAT	6.68098	6.68203	1735329
CRAFTED/sgen/sat/ sgen1-sat-180-100.cnf	SAT	8.73667	8.7393	1732329
CRAFTED/parity-games/ instance_n3_i3_pp.cnf	SAT	10.0105	10.0134	1737079
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes1.cnf	SAT	10.4034	10.4103	1735279
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes1.cnf	SAT	10.7924	10.7982	1736029
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g8.cnf	SAT	14.4128	14.4175	1734779
CRAFTED/sgi/ new-difficult-24-193-22-70.cnf	SAT	15.2577	15.2625	1738074
CRAFTED/edgematching/ all/em_12_2_4_all.cnf	SAT	19.485	19.4908	1561921
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes4.cnf	SAT	20.028	20.035	1735179
CRAFTED/rbsat/random/ forced/rbsat-v760c43649gyes10.cnf	SAT	25.7271	25.7371	1735229
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes2.cnf	SAT	27.3168	27.3245	1735779
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	SAT	28.3007	28.3101	1725697
CRAFTED/edgematching/ explicit/em_12_2_4_exp.cnf	SAT	32.4051	32.4229	1561505
CRAFTED/ edgematching/all/em_7_3_6_all.cnf	SAT	34.6997	34.7072	1562025
CRAFTED/edgematching/ all/em_14_7_3_all.cnf	SAT	40.1879	40.2091	1561973
CRAFTED/sgen/sat/ sgen1-sat-220-100.cnf	SAT	43.0924	43.109	1732429
CRAFTED/edgematching/ explicit/em_9_3_5_exp.cnf	SAT	46.5669	46.5881	1561453
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes2.cnf	SAT	49.4505	49.4683	1735879
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g10.cnf	SAT	55.8305	55.8477	1734929
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes9.cnf	SAT	59.5399	59.5339	1735429
CRAFTED/ramseycube/ Q3inK09.cnf	SAT	61.2967	61.3161	1732679
CRAFTED/sgi/ new-difficult-26-243-24-70.cnf	SAT	66.9498	66.9797	1738233
CRAFTED/edgematching/ all/em_11_3_4_all.cnf	SAT	76.5354	76.562	1562077
CRAFTED/sgen/sat/ sgen1-sat-200-100.cnf	SAT	84.4882	84.4765	1732629
CRAFTED/edgematching/ explicit/em_11_3_4_exp.cnf	SAT	110.266	110.314	1561401
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes8.cnf	SAT	134.948	134.986	1735929
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	SAT	146.745	146.785	1725644
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g10.cnf	SAT	161.387	161.44	1734979
CRAFTED/edgematching/ explicit/em_8_4_5_exp.cnf	SAT	163.71	163.77	1561713
CRAFTED/edgematching/ compact/em_7_4_9_cmp.cnf	SAT	164.828	164.877	1560985
CRAFTED/edgematching/ explicit/em_7_3_6_exp.cnf	SAT	185.547	185.603	1561765
CRAFTED/sgen/sat/ sgen1-sat-230-100.cnf	SAT	360.121	360.261	1737491
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g2.cnf	SAT	369.137	369.237	1735729
CRAFTED/edgematching/ fbcolors/em_7_4_9_fbc.cnf	SAT	384.827	384.928	1562441
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	464.823	464.946	1561817
CRAFTED/ edgematching/all/em_7_4_8_all.cnf	SAT	469.008	469.132	1562181
CRAFTED/sgen/sat/ sgen1-sat-280-100.cnf	SAT	556.802	556.982	1732279
CRAFTED/sgen/sat/ sgen1-sat-260-100.cnf	SAT	668.364	668.537	1732229
CRAFTED/sgen/sat/ sgen1-sat-270-100.cnf	SAT	685.102	685.27	1737597
CRAFTED/ edgematching/all/em_7_4_9_all.cnf	SAT	724.9	729.111	1562129
CRAFTED/sgen/sat/ sgen1-sat-240-100.cnf	SAT	872.745	872.949	1732579
CRAFTED/sgen/sat/ sgen1-sat-250-100.cnf	SAT	939.387	939.803	1737438
CRAFTED/parity-games/ instance_n4_i4_pp_ci_ce.cnf	SAT	1001.4	1001.64	1736779

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/sgen/unsat/ sgen1-unsat-85-100.cnf	? (TO)	1200.01	1200.31	1731929
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (TO)	1200.01	1200.41	1730308
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	? (TO)	1200.01	1200.31	1726015
CRAFTED/sgen/unsat/ sgen1-unsat-61-100.cnf	? (TO)	1200.01	1200.41	1732029
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	1200.01	1200.31	1562233
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	? (TO)	1200.01	1200.31	1730944
CRAFTED/edgematching/ fbcolors/em_7_4_8_fbc.cnf	? (TO)	1200.01	1200.31	1562493
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	1200.01	1200.81	1726386
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	1200.01	1200.31	1726757
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1728506
CRAFTED/modcircuits/ mod5block_2vars_12gates.cnf	? (TO)	1200.02	1200.32	1733429
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1727976
CRAFTED/parity-games/ instance_n7_i7_pp_ci_ce.cnf	? (TO)	1200.02	1200.31	1736729
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (TO)	1200.02	1200.31	1727870
CRAFTED/modcircuits/ mod4block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.02	1200.31	1733579
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1731527
CRAFTED/ramseycube/ Q32inK11.cnf	? (TO)	1200.02	1200.51	1732829
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1726280
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1730997
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1726121
CRAFTED/parity-games/ instance_n8_i9_pp.cnf	? (TO)	1200.02	1200.31	1737862
CRAFTED/sgen/unsat/ sgen1-unsat-151-100.cnf	? (TO)	1200.02	1200.31	1737650
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (TO)	1200.02	1200.41	1726810
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	1200.03	1200.41	1728877
CRAFTED/parity-games/ instance_n6_i6_pp.cnf	? (TO)	1200.03	1200.51	1736929
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g2.cnf	? (TO)	1200.03	1200.51	1735029
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	1200.03	1200.52	1727393
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	? (TO)	1200.03	1200.71	1729990
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g2.cnf	? (TO)	1200.04	1200.31	1734879
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1729195
CRAFTED/parity-games/ instance_n7_i7_pp.cnf	? (TO)	1200.04	1200.51	1736979
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	1200.04	1200.31	1727075
CRAFTED/sgen/unsat/ sgen1-unsat-73-100.cnf	? (TO)	1200.04	1200.41	1732129
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	? (TO)	1200.04	1200.51	1730361
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1728453
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1730255
CRAFTED/sgen/unsat/ sgen1-unsat-121-100.cnf	? (TO)	1200.04	1200.41	1732179
CRAFTED/sgen/unsat/ sgen1-unsat-133-100.cnf	? (TO)	1200.04	1200.41	1731979
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1731633
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1728612
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1731262
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1725273
CRAFTED/edgematching/ fbcolors/em_9_3_5_fbc.cnf	? (TO)	1200.04	1200.31	1562285
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1731421
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	? (TO)	1200.04	1201.01	1726439
CRAFTED/parity-games/ instance_n7_i8_pp_ci_ce.cnf	? (TO)	1200.04	1200.51	1736279
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1731156
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1731050
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	1200.04	1200.41	1729566
CRAFTED/rbsat/random/unforced/ rbsat-v1820c171155g3.cnf	? (TO)	1200.05	1200.41	1734829
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1725379
CRAFTED/ramseycube/ Q32inK09.cnf	? (TO)	1200.05	1200.51	1733079
CRAFTED/modcircuits/ mod3block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.05	1200.41	1733829
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g4.cnf	? (TO)	1200.05	1200.51	1734679
CRAFTED/parity-games/ instance_n8_i8_pp.cnf	? (TO)	1200.05	1200.41	1737809
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1725856
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1726068
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1726863
CRAFTED/sgen/unsat/ sgen1-unsat-127-100.cnf	? (TO)	1200.05	1200.41	1737279
CRAFTED/edgematching/ compact/em_7_4_8_cmp.cnf	? (TO)	1200.05	1200.41	1561297
CRAFTED/edgematching/ compact/em_14_7_3_cmp.cnf	? (TO)	1200.05	1200.42	1561245
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	1200.05	1200.51	1728665
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1728930
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1729036
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes9.cnf	? (TO)	1200.05	1200.51	1736079
CRAFTED/parity-games/ instance_n5_i6_pp_ci_ce.cnf	? (TO)	1200.05	1200.41	1736479
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1729619
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1730573
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1731474
CRAFTED/sgen/unsat/ sgen1-unsat-109-100.cnf	? (TO)	1200.05	1200.41	1731829
CRAFTED/sgen/unsat/ sgen1-unsat-145-100.cnf	? (TO)	1200.05	1200.41	1732079
CRAFTED/modcircuits/ mod3block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.06	1200.51	1733479
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1727128
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	1200.06	1200.51	1561089
CRAFTED/sgen/unsat/ sgen1-unsat-139-100.cnf	? (TO)	1200.06	1200.41	1737544
CRAFTED/modcircuits/ mod3_4vars_6gates.cnf	? (TO)	1200.06	1200.41	1733679
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	1200.06	1200.41	1735529
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	1200.06	1200.41	1561193
CRAFTED/parity-games/ instance_n5_i6_pp.cnf	? (TO)	1200.06	1200.41	1736829
CRAFTED/parity-games/ instance_n4_i5_pp.cnf	? (TO)	1200.06	1200.41	1737029
CRAFTED/parity-games/ instance_n3_i4_pp_ci_ce.cnf	? (TO)	1200.06	1200.41	1736379
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1728082
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1728188
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1729937
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (TO)	1200.06	1200.41	1737756
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1729513
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g6.cnf	? (TO)	1200.06	1200.41	1734729
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1730626
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	1200.06	1200.84	1726969
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	? (TO)	1200.06	1200.54	1730679
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1728983
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (TO)	1200.06	1200.64	1727605
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1726227
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1729301
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	1200.06	1200.51	1729354
CRAFTED/sgen/unsat/ sgen1-unsat-103-100.cnf	? (TO)	1200.06	1200.41	1737703
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1729778
CRAFTED/rbsat/crafted/ forced/rbsat-v1820c171155gyes6.cnf	? (TO)	1200.06	1200.41	1735829
CRAFTED/rbsat/crafted/unforced/ rbsat-v2640c305320g4.cnf	? (TO)	1200.06	1200.51	1735579
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1730785
CRAFTED/edgematching/ compact/em_8_4_5_cmp.cnf	? (TO)	1200.07	1200.41	1561349
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1727181
CRAFTED/ramseycube/ Q3inK10.cnf	? (TO)	1200.07	1200.41	1732879
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1731580
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (TO)	1200.07	1200.52	1728294
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	? (TO)	1200.07	1200.42	1727287
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	1200.07	1200.71	1727923
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1730043
CRAFTED/edgematching/ fbcolors/em_7_3_6_fbc.cnf	? (TO)	1200.07	1200.41	1562389
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1731315
CRAFTED/parity-games/ instance_n8_i9_pp_ci_ce.cnf	? (TO)	1200.07	1200.41	1737968
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1727817
CRAFTED/parity-games/ instance_n7_i8_pp.cnf	? (TO)	1200.08	1200.41	1737229
CRAFTED/edgematching/ explicit/em_7_4_9_exp.cnf	? (TO)	1200.08	1200.41	1561557
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1728559
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	1200.08	1200.61	1728771
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1200.08	1200.61	1735479
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.08	1200.41	1734079
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729142
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729089
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729407
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2_restricted.cnf	? (TO)	1200.08	1200.43	1733329
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	? (TO)	1200.08	1200.42	1738021
CRAFTED/ramseycube/ Q32inK10.cnf	? (TO)	1200.08	1200.41	1732979
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1729725
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729672
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729831
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1726704
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729884
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1730149
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1726545
CRAFTED/parity-games/ instance_n6_i7_pp.cnf	? (TO)	1200.08	1200.51	1736329
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1730414
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1726651
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes3.cnf	? (TO)	1200.08	1200.41	1735379
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1730838
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes8.cnf	? (TO)	1200.08	1200.41	1735979
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1730891
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	? (TO)	1200.08	1200.61	1726174
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1725962
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1725803
CRAFTED/modcircuits/ mod3block_3vars_9gates_restr.cnf	? (TO)	1200.08	1200.41	1734029
CRAFTED/sgen/sat/ sgen1-sat-300-100.cnf	? (TO)	1200.08	1200.41	1732529
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1727711
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1727764
CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf	? (TO)	1200.08	1200.51	1736629
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (TO)	1200.09	1200.46	1727499
CRAFTED/edgematching/ explicit/em_7_4_8_exp.cnf	? (TO)	1200.09	1200.41	1561661
CRAFTED/edgematching/ fbcolors/em_11_3_4_fbc.cnf	? (TO)	1200.09	1200.41	1562597
CRAFTED/edgematching/ fbcolors/em_12_2_4_fbc.cnf	? (TO)	1200.09	1200.41	1562545
CRAFTED/edgematching/ fbcolors/em_14_7_3_fbc.cnf	? (TO)	1200.09	1200.42	1562337
CRAFTED/edgematching/ compact/em_9_3_5_cmp.cnf	? (TO)	1200.09	1200.41	1561141
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	? (TO)	1200.09	1200.51	1561037
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1725538
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1725432
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1726916
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (TO)	1200.09	1200.42	1727446
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1728718
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1730096
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1730467
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1730520
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	? (TO)	1200.09	1200.71	1731103
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1731368
CRAFTED/modcircuits/ mod5block_1var_7gates.cnf	? (TO)	1200.09	1200.51	1733279
CRAFTED/ramseycube/ Q3inK12.cnf	? (TO)	1200.09	1200.63	1732929
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2.cnf	? (TO)	1200.09	1200.41	1733229
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g4.cnf	? (TO)	1200.09	1200.41	1735629
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g5.cnf	? (TO)	1200.09	1200.41	1735679
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes1.cnf	? (TO)	1200.09	1200.41	1736129
CRAFTED/parity-games/ instance_n4_i4_pp.cnf	? (TO)	1200.09	1200.41	1736529
CRAFTED/sgen/sat/ sgen1-sat-290-100.cnf	? (TO)	1200.09	1200.41	1737385
CRAFTED/parity-games/ instance_n9_i9_pp_ci_ce.cnf	? (TO)	1200.09	1200.52	1737915
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1728135
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1726492
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1727658
CRAFTED/sgen/unsat/ sgen1-unsat-115-100.cnf	? (TO)	1200.1	1200.41	1737332
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1731686
CRAFTED/modcircuits/ owp_4vars_5gates.cnf	? (TO)	1200.1	1200.41	1733879
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1726598
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1725591
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1731209
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1725326
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1725909
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1730732
CRAFTED/parity-games/ instance_n5_i5_pp.cnf	? (TO)	1200.1	1200.41	1736679
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2.cnf	? (TO)	1200.1	1200.42	1733179
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1729460
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2.cnf	? (TO)	1200.1	1200.43	1733729
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1728824
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1200.1	1200.41	1733929
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (TO)	1200.1	1200.41	1728347
CRAFTED/ramseycube/ Q3inK11.cnf	? (TO)	1200.1	1200.42	1733129
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1728241
CRAFTED/parity-games/ instance_n6_i6_pp_ci_ce.cnf	? (TO)	1200.1	1200.51	1737129
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	? (TO)	1200.11	1200.51	1725485
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1200.11	1200.51	1733379
CRAFTED/sgen/unsat/ sgen1-unsat-97-100.cnf	? (TO)	1200.11	1200.51	1731879
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	? (TO)	1200.11	1200.61	1730202
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1729248
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2_autoenc.cnf	? (TO)	1200.11	1200.51	1733529
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	1200.11	1200.51	1728029
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (TO)	1200.11	1200.65	1727552
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (TO)	1200.11	1200.51	1727022
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	? (TO)	1200.11	1200.81	1726333
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.11	1200.41	1733979
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2_restricted.cnf	? (TO)	1200.11	1200.72	1733779
CRAFTED/modcircuits/ mod4block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.11	1200.41	1733629
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	? (TO)	1200.12	1200.42	1727234
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (TO)	1200.12	1200.23	1727340
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	? (TO)	1200.15	1200.65	1728400
CRAFTED/ramseycube/ Q3inK13.cnf	? (TO)	1200.15	1200.58	1732779

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S2032263657-035.cnf	SAT	0.009997	0.010166	1534872
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1674394075-027.cnf	SAT	0.010997	0.0113401	1534802
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1826927554-087.cnf	SAT	0.010997	0.0109039	1534852
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1460100153-095.cnf	SAT	0.011997	0.010764	1534452
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S725789261-031.cnf	SAT	0.011997	0.012636	1534642
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1733990810-090.cnf	SAT	0.011998	0.0128501	1534762
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1516934767-080.cnf	SAT	0.013997	0.0144189	1534817
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1916548023-003.cnf	SAT	0.013997	0.014366	1534672
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1326039470-063.cnf	SAT	0.013997	0.013898	1534597
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1002348653-090.cnf	SAT	0.013997	0.0148219	1534717
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S321371087-018.cnf	SAT	0.013997	0.0148911	1534757
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S326477539-068.cnf	SAT	0.013997	0.0140781	1534827
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S208461254-049.cnf	SAT	0.014996	0.0155449	1534647
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S889538696-070.cnf	SAT	0.014997	0.0152269	1534512
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1940784272-089.cnf	SAT	0.015996	0.0159549	1534462
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1459690542-033.cnf	SAT	0.015997	0.015679	1534862
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S180439591-093.cnf	SAT	0.015997	0.01623	1534467
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1014608490-038.cnf	SAT	0.017996	0.0179751	1534487
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S900737394-048.cnf	SAT	0.018996	0.0194549	1534692
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2035161427-020.cnf	SAT	0.019996	0.019981	1534792
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1367181683-025.cnf	SAT	0.019996	0.019835	1534772
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S602463346-055.cnf	SAT	0.019996	0.0194081	1534377
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1767425240-073.cnf	SAT	0.019996	0.0206231	1534577
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S809967194-078.cnf	SAT	0.019996	0.0203521	1534537
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S110290755-003.cnf	SAT	0.020995	0.0211271	1534607
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1263695887-042.cnf	SAT	0.020995	0.021343	1534637
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1429776379-099.cnf	SAT	0.020996	0.0215	1534517
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S144043535-002.cnf	SAT	0.020996	0.0197241	1534892
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1841979702-078.cnf	SAT	0.021995	0.022064	1534842
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S957997002-040.cnf	SAT	0.022996	0.0232879	1534707
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S172053238-003.cnf	SAT	0.023995	0.02271	1534587
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1139247531-051.cnf	SAT	0.023995	0.026231	1534477
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1555503917-029.cnf	SAT	0.023996	0.023986	1534777
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S981523907-072.cnf	SAT	0.025995	0.026455	1534557
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1036996799-006.cnf	SAT	0.025995	0.025661	1534812
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S787972994-025.cnf	SAT	0.028995	0.0315141	1534622
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1494961823-060.cnf	SAT	0.028995	0.0294911	1534352
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1879859331-044.cnf	SAT	0.029994	0.0305989	1534507
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1864638535-048.cnf	SAT	0.030994	0.0315179	1534602
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1666821205-020.cnf	SAT	0.030994	0.029571	1534627
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1880984131-087.cnf	SAT	0.031994	0.032586	1534492
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S45592023-054.cnf	SAT	0.031995	0.032614	1534502
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1161147107-031.cnf	SAT	0.032994	0.0338001	1534432
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1338462531-082.cnf	SAT	0.033994	0.0327131	1534722
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S621134782-041.cnf	SAT	0.036993	0.0375949	1534427
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1546885609-031.cnf	SAT	0.036994	0.037418	1534782
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S2032726331-082.cnf	SAT	0.037993	0.037962	1534572
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S658989873-070.cnf	SAT	0.037993	0.0378811	1534387
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S95953046-044.cnf	SAT	0.038993	0.0392079	1534357
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1614425450-034.cnf	SAT	0.038993	0.0400049	1534787
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1229813320-044.cnf	SAT	0.039993	0.0406601	1534702
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S311671104-045.cnf	SAT	0.043992	0.0446491	1534472
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S780904324-093.cnf	SAT	0.044992	0.0450379	1534632
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1924575376-025.cnf	SAT	0.044992	0.0440931	1534742
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1912687159-077.cnf	SAT	0.045992	0.0454501	1534837
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1045096471-025.cnf	SAT	0.047992	0.0484861	1534382
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S2142680239-019.cnf	SAT	0.048991	0.048152	1534662
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S786890012-057.cnf	SAT	0.048991	0.0492121	1534527
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1711406314-093.cnf	SAT	0.050991	0.0517501	1534897
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S956671877-054.cnf	SAT	0.050992	0.0518449	1534407
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S714125262-017.cnf	SAT	0.054991	0.055668	1534582
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1362286908-061.cnf	SAT	0.05699	0.0561141	1534457
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1041106011-094.cnf	SAT	0.05899	0.0595061	1534832
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S722433227-030.cnf	SAT	0.05899	0.0595469	1534882
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S554804223-012.cnf	SAT	0.06199	0.0623671	1534732
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1876865608-086.cnf	SAT	0.062989	0.06311	1534532
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S449556655-088.cnf	SAT	0.062989	0.0627291	1534737
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1624574519-076.cnf	SAT	0.06399	0.0649709	1534482
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1730125812-056.cnf	SAT	0.067988	0.068258	1534727
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1568932519-011.cnf	SAT	0.068989	0.069709	1533267
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S84716411-095.cnf	SAT	0.073988	0.0746521	1534687
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S393518083-009.cnf	SAT	0.074987	0.075578	1533302
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1931398869-036.cnf	SAT	0.074987	0.0753121	1533272
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S852794659-023.cnf	SAT	0.074988	0.0756571	1533277
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S824721511-001.cnf	SAT	0.075987	0.0754059	1533257
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S353643296-086.cnf	SAT	0.078987	0.0835739	1534397
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S308012126-046.cnf	SAT	0.080986	0.0815099	1533347
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1339293988-069.cnf	SAT	0.081987	0.082769	1534612
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1137823545-077.cnf	SAT	0.082986	0.083069	1534657
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S433356712-017.cnf	SAT	0.082986	0.0837661	1534682
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S520696524-059.cnf	SAT	0.084986	0.085439	1532572
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1949086545-083.cnf	SAT	0.090985	0.0918259	1534547
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S744068878-072.cnf	SAT	0.091985	0.0927609	1533252
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S638042053-051.cnf	SAT	0.101983	0.10216	1533227
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S971118900-053.cnf	SAT	0.102983	0.102864	1533342
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1481888618-011.cnf	SAT	0.105983	0.106019	1533222
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2007547542-039.cnf	SAT	0.106983	0.108103	1533282
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S398733532-072.cnf	SAT	0.107982	0.108855	1533202
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2139292994-055.cnf	SAT	0.108982	0.109753	1533262
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S282405510-004.cnf	SAT	0.110982	0.109831	1533337
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1707873242-085.cnf	SAT	0.112982	0.11304	1533322
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S247943532-069.cnf	SAT	0.113981	0.112681	1534402
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1293537826-039.cnf	SAT	0.115981	0.115079	1534877
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S146188995-071.cnf	SAT	0.119981	0.119661	1534422
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S227954525-082.cnf	SAT	0.120981	0.121482	1534442
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1258122549-031.cnf	SAT	0.129979	0.130314	1534372
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S23858409-056.cnf	SAT	0.131979	0.133253	1534677
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1376127278-008.cnf	SAT	0.132979	0.132717	1533212
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1040456712-073.cnf	SAT	0.134979	0.136002	1533292
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1985172968-100.cnf	SAT	0.135978	0.13609	1534807
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1531283922-009.cnf	SAT	0.137979	0.138403	1534592
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1772254584-042.cnf	SAT	0.138978	0.139304	1533317
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1159550149-077.cnf	SAT	0.153976	0.154579	1533287
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S986324446-009.cnf	SAT	0.157975	0.158215	1533237
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2067258640-036.cnf	SAT	0.166974	0.167371	1534752
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1448866403-060.cnf	SAT	0.178972	0.180634	1534867
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S142096783-019.cnf	SAT	0.180972	0.181395	1534552
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1977519792-030.cnf	SAT	0.191969	0.191043	1534417
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2106599808-035.cnf	SAT	0.194969	0.195263	1534797
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1684547485-073.cnf	SAT	0.194969	0.193654	1534857
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2025169165-076.cnf	SAT	0.199969	0.200681	1534367
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1163324878-032.cnf	SAT	0.200968	0.199772	1533392
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S418266958-049.cnf	SAT	0.229964	0.230105	1534562
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S817309453-059.cnf	SAT	0.247961	0.248912	1534697
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1332067449-041.cnf	SAT	0.255961	0.256314	1534667
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1879656894-046.cnf	SAT	0.265958	0.267162	1533397
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S565763763-051.cnf	SAT	0.271958	0.272389	1534522
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2056912842-027.cnf	SAT	0.280957	0.281544	1534392
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S644655157-049.cnf	SAT	0.287955	0.288027	1533352
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S402241321-038.cnf	SAT	0.298954	0.299634	1533312
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S884941173-092.cnf	SAT	0.302953	0.302885	1533232
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S748216286-061.cnf	SAT	0.309952	0.310629	1533332
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S136987316-008.cnf	SAT	0.343947	0.344967	1532562
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1422278005-004.cnf	SAT	0.401938	0.402357	1533377
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S844931093-069.cnf	SAT	0.410936	0.411857	1534542
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S984347600-003.cnf	SAT	0.413937	0.414614	1533307
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1778559297-006.cnf	SAT	0.417936	0.418755	1534497
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1850025790-078.cnf	SAT	0.440932	0.441565	1533217
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1800466054-025.cnf	SAT	0.442931	0.443976	1534447
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1771223975-021.cnf	SAT	0.455929	0.456009	1533247
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1112524719-021.cnf	SAT	0.573911	0.573949	1534617
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf	SAT	0.58591	0.586112	1532567
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S568017735-066.cnf	SAT	0.596909	0.597837	1532837
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1963731659-060.cnf	SAT	0.625904	0.62645	1533367
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf	SAT	0.6489	0.648818	1532587
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S617358728-082.cnf	SAT	0.677896	0.682399	1534767
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf	SAT	0.725889	0.725575	1532592
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1503318847-091.cnf	SAT	0.799877	0.79922	1533362
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S357555833-073.cnf	SAT	0.805876	0.806254	1533357
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S7007454-009.cnf	SAT	0.824874	0.823926	1532552
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S779309989-069.cnf	SAT	0.838872	0.839747	1532597
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1767813611-042.cnf	SAT	0.876866	0.876554	1533207
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S179172230-011.cnf	SAT	0.893863	0.895423	1533382
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1804335510-002.cnf	SAT	0.933857	0.934501	1534847
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S449511205-064.cnf	SAT	0.952854	0.952354	1534652
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf	SAT	1.18682	1.18593	1532822
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S47926000-049.cnf	SAT	1.43878	1.43994	1533297
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1514821049-021.cnf	SAT	1.65675	1.6577	1533622
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S2087271472-092.cnf	SAT	1.69774	1.69904	1534437
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1858385213-060.cnf	SAT	1.74573	1.7457	1533637
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1639151107-094.cnf	SAT	1.77873	1.77765	1533602
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1206040031-030.cnf	SAT	1.83672	1.83776	1533642
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S486002104-037.cnf	SAT	1.90171	1.90484	1534822
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S2037556208-016.cnf	SAT	1.9547	1.95651	1533612
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S709270457-007.cnf	SAT	2.22066	2.22228	1533742
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf	SAT	2.22166	2.22283	1532832
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1528563858-100.cnf	SAT	2.32065	2.32163	1534712
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S2069223517-023.cnf	SAT	2.33164	2.33277	1534747
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S284173264-081.cnf	SAT	2.35364	2.35446	1533687
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf	SAT	2.36664	2.36804	1532577
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1828800850-025.cnf	SAT	2.40163	2.40213	1533617
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S746386799-050.cnf	SAT	2.41063	2.41142	1533632
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S400088537-049.cnf	SAT	2.41863	2.41957	1533722
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1153031014-012.cnf	SAT	2.50462	2.50478	1533372
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1354285755-030.cnf	SAT	2.6206	2.62193	1533682
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S839983432-073.cnf	SAT	2.70859	2.70991	1533762
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1794178048-059.cnf	SAT	2.72358	2.72697	1533657
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S419666888-007.cnf	SAT	2.98854	2.98977	1534567
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1017443264-065.cnf	SAT	3.03454	3.0358	1533387
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1223878722-065.cnf	SAT	3.03554	3.03762	1533737
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S819692891-023.cnf	SAT	3.10053	3.10188	1533767
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803029538-050.cnf	SAT	3.12052	3.12722	1533797
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1718226278-096.cnf	SAT	3.17052	3.17326	1533662
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1492329924-074.cnf	SAT	3.18651	3.18822	1533242
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1366769180-095.cnf	SAT	3.50647	3.50713	1533702
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1484713995-092.cnf	SAT	3.74043	3.74331	1533692
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf	SAT	4.22036	4.22208	1532582
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1895787950-064.cnf	SAT	4.35334	4.35434	1533727
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1988754311-026.cnf	SAT	4.70228	4.70338	1533787
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S754967851-033.cnf	SAT	4.77227	4.77295	1533652
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1146593655-045.cnf	SAT	5.05523	5.05678	1533707
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803323266-025.cnf	SAT	5.31719	5.31729	1533782
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S603077945-019.cnf	SAT	5.75712	5.75872	1533677
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1818639567-059.cnf	SAT	6.08807	6.08877	1532512
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf	SAT	6.34004	6.34302	1532817
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2028777924-038.cnf	SAT	6.47202	6.47476	1533482
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S326668183-079.cnf	SAT	6.49201	6.49612	1533647
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S342542912-045.cnf	SAT	7.11892	7.12059	1533777
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S432895007-058.cnf	SAT	7.43487	7.43716	1533712
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S368632549-051.cnf	SAT	7.71383	7.71479	1534887
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S834811574-084.cnf	SAT	7.82481	7.82691	1533667
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S178043354-076.cnf	SAT	7.94879	7.95208	1533607
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1536609007-088.cnf	SAT	7.95279	7.95716	1534412
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S512486692-050.cnf	SAT	8.08777	8.09174	1533672
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf	SAT	8.81366	8.81628	1532557
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1645769281-097.cnf	SAT	10.0875	10.0909	1533717
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf	SAT	10.3894	10.3928	1532812
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf	SAT	10.6834	10.6863	1532727
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S445910413-047.cnf	SAT	11.8252	11.8286	1533732
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1723021362-073.cnf	SAT	12.0082	12.0114	1533697
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S349436298-004.cnf	SAT	12.0802	12.0844	1534362
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S51205200-028.cnf	SAT	13.6649	13.6685	1533792
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S268463339-081.cnf	SAT	14.0729	14.0798	1532647
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S2060380282-019.cnf	SAT	15.1827	15.1853	1533747
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1970456972-046.cnf	SAT	16.7465	16.7524	1532272
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1096716652-027.cnf	SAT	17.1224	17.1271	1533627
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1640054673-078.cnf	SAT	18.3662	18.3769	1533757
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2073320038-053.cnf	SAT	18.6842	18.6915	1533557
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1192890414-033.cnf	SAT	18.7462	18.7503	1532292
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S814638510-058.cnf	SAT	18.9201	18.9255	1532527
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1920888253-090.cnf	SAT	19.0741	19.0813	1533327
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S685953260-065.cnf	SAT	21.8187	21.8267	1532267
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1402156840-093.cnf	SAT	22.4306	22.4361	1533752
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S612955126-075.cnf	SAT	28.0897	28.101	1532807
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S139794312-098.cnf	SAT	28.1907	28.1975	1532847
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S500426663-025.cnf	SAT	30.2854	30.2938	1532692
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1482824652-097.cnf	SAT	34.5537	34.5685	1533497
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S249585100-059.cnf	SAT	35.2036	35.2179	1532102
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1017667294-044.cnf	SAT	35.2926	35.3027	1532502
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1281410666-045.cnf	SAT	37.2213	37.2321	1532277
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf	SAT	37.7913	37.802	1532682
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1611899384-022.cnf	SAT	43.0355	43.0507	1532287
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S251246256-047.cnf	SAT	44.0373	44.0532	1532107
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf	SAT	45.6361	45.6468	1532747
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S72273909-010.cnf	SAT	49.8524	49.8677	1533772
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1736471436-014.cnf	SAT	55.6835	55.7016	1532117
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1018145191-052.cnf	SAT	57.2933	57.3159	1532262
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S914323646-060.cnf	SAT	57.9712	57.9862	1532937
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1906075351-024.cnf	SAT	60.2518	60.2737	1532507
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S870840347-014.cnf	SAT	61.9126	61.9354	1532532
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf	SAT	62.7085	62.7315	1532712
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S906020180-093.cnf	SAT	65.797	65.8216	1532842
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S51132115-023.cnf	SAT	70.2923	70.3184	1532867
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S762724712-048.cnf	SAT	71.0082	71.0241	1532707
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S310111511-029.cnf	SAT	71.6551	71.679	1532792
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S678706275-057.cnf	SAT	83.6223	83.6669	1532212
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S579205610-033.cnf	SAT	85.599	85.5901	1532672
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1284372491-036.cnf	SAT	86.4999	86.5304	1532067
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf	SAT	89.4214	89.4476	1532607
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1500472284-060.cnf	SAT	91.84	91.8781	1532282
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S195213520-027.cnf	SAT	94.7056	94.7341	1532652
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S2124311399-085.cnf	SAT	97.7411	97.7666	1532222
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1313163883-027.cnf	SAT	103.97	104.001	1532297
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1119648091-064.cnf	SAT	106.167	106.196	1532247
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S211141966-058.cnf	SAT	106.341	106.367	1532257
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf	SAT	114.147	114.186	1532827
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S279212213-020.cnf	SAT	123.881	123.913	1532617
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S839302453-094.cnf	SAT	154.652	154.698	1532662
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1850138369-006.cnf	SAT	165.045	165.101	1532082
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2142489608-055.cnf	SAT	167.98	168.306	1533567
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf	SAT	176.163	176.223	1532612
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S661850551-087.cnf	SAT	177.227	177.288	1532232
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S599916448-096.cnf	SAT	181.056	181.111	1533527
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S432776913-077.cnf	SAT	204.991	205.063	1532467
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S439075063-023.cnf	SAT	216.719	216.8	1532657
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S595075179-058.cnf	SAT	228.486	228.541	1532742
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1748152762-086.cnf	SAT	258.239	258.306	1532122
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S115851319-100.cnf	SAT	266.692	266.781	1532157
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S285713182-059.cnf	SAT	289.712	289.819	1532487
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S315403000-060.cnf	SAT	292.779	292.885	1532137
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S74035269-088.cnf	SAT	293.433	293.512	1532517
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S2059720696-001.cnf	SAT	302.637	302.715	1532542
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf	SAT	304.53	304.63	1532737
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1253795703-015.cnf	SAT	309.6	309.688	1532217
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf	SAT	321.268	321.363	1532717
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1912214877-051.cnf	SAT	330.58	330.675	1532167
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1183359164-025.cnf	SAT	339.405	339.492	1532132
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1554646792-012.cnf	SAT	376.904	377.006	1532762
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S17277413-072.cnf	SAT	389.375	389.514	1532862
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf	SAT	396.485	396.582	1532702
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S21800963-085.cnf	SAT	405.428	405.541	1532632
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1178729443-051.cnf	SAT	421.162	421.272	1532462
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1849057034-020.cnf	SAT	446.865	447.021	1532482
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf	SAT	456.886	457.003	1532797
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S962875623-008.cnf	SAT	461.144	461.086	1532252
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1845944120-011.cnf	SAT	479.536	479.827	1532432
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1040507052-028.cnf	SAT	602.198	602.347	1532092
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1049921489-034.cnf	SAT	641.154	641.371	1532407
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S907861678-077.cnf	SAT	642.911	643.08	1532442
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S541865505-057.cnf	SAT	647.09	647.253	1532522
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S547165541-056.cnf	SAT	659.543	659.78	1532537
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S144924920-056.cnf	SAT	664.691	664.87	1532197
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S2070759512-014.cnf	SAT	676.867	677.045	1532977
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1618450766-063.cnf	SAT	686.685	686.919	1532637
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1811295114-056.cnf	SAT	693.513	693.703	1532922
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S566590366-099.cnf	SAT	747.981	748.172	1532492
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S743448446-027.cnf	SAT	955.261	955.725	1532237
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf	SAT	968.334	968.608	1532642
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S650356257-052.cnf	SAT	977.551	977.827	1532992
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf	SAT	1060.24	1060.62	1532932
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf	SAT	1086.08	1086.47	1532602
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1954748117-061.cnf	SAT	1093.05	1093.52	1532152
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S221596758-009.cnf	SAT	1118.23	1118.54	1532972
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S805234188-084.cnf	SAT	1149.56	1149.97	1532182

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

Result page for solver adaptg2wsat2009 2009-03-23 (incomplete)

Category "applications instances" (APPLICATION)

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

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

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

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

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

Category "crafted instances" (CRAFTED)

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

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

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

Category "random instances" (RANDOM)

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

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