SAT 2007 Competition Phase 1: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Medium/contest05/sabharwal/ unsat-logistics-rotate-09t5.sat05-1139.reshuffled-07.cnf	UNSAT	28.1027	14.3603	332383
crafted/spence/ medium/s57-100.cnf	UNSAT	107.213	53.7472	328515
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	UNSAT	309.325	155.057	332257
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	UNSAT	550.121	275.717	333685
crafted/spence/ medium/s65-100.cnf	UNSAT	583.585	292.467	328519
crafted/spence/ medium/s61-100.cnf	UNSAT	790.8	396.354	328511

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Medium/contest05/pebbling/ sat-grid-pbl-0070.sat05-1334.reshuffled-07.cnf	SAT	38.1062	19.1325	332593
crafted/Medium/contest05/others/ QG7a-gensys-brn100.sat05-3765.reshuffled-07.cnf	SAT	327.885	164.485	333139
crafted/Medium/contest05/pebbling/ sat-pbl-00400.sat05-1322.reshuffled-07.cnf	SAT	561.222	281.575	332635

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	? (TO)	1200.04	601.639	332467
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (TO)	1200.04	601.621	334273
crafted/Hard/contest05/QG/ QG7-dead-dnd002.sat05-3108.reshuffled-07.cnf	? (TO)	1200.04	601.523	335281
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	? (TO)	1200.04	601.628	335449
crafted/Hard/contest05/counting-clq/ unsat-set-a-fclqcolor-10-06-07.sat05-1274.reshuffled-07.cnf	? (TO)	1200.04	601.429	336331
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	1200.04	601.524	336835
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	? (TO)	1200.04	601.426	338977
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	? (TO)	1200.04	601.426	339649
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	? (TO)	1200.04	601.532	339859
crafted/spence/ medium/s89-100.cnf	? (TO)	1200.05	601.423	328517
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-10t19.sat05-1143.reshuffled-07.cnf	? (TO)	1200.05	601.521	332341
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	? (TO)	1200.05	601.424	333601
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	1200.05	601.528	334231
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (TO)	1200.05	601.424	337213
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	1200.05	601.429	337171
crafted/Hard/contest03/others/ mm-2x3-8-8-sb.1.sat05-475.reshuffled-07.cnf	? (TO)	1200.05	601.632	337507
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	1200.05	601.637	337549
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	1200.05	601.426	337927
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (TO)	1200.05	601.432	338809
crafted/Medium/contest05/sabharwal/ gt-ordering-unsat-gt-030.sat05-1307.reshuffled-07.cnf	? (TO)	1200.06	601.537	332131
crafted/Hard/contest05/counting-php/ harder-fphp-035-034.sat05-1235.reshuffled-07.cnf	? (TO)	1200.06	601.534	335659
crafted/Hard/contest05/counting-php/ harder-php-025-024.sat05-1191.reshuffled-07.cnf	? (TO)	1200.06	601.641	335827
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-10-06-07.sat05-1250.reshuffled-07.cnf	? (TO)	1200.06	601.429	336541
crafted/Hard/contest02/ ezfact64_6.sat05-453.reshuffled-07.cnf	? (TO)	1200.06	601.718	336919
crafted/Hard/contest03/others/ hwb-n26-03-S540351185.sat05-490.reshuffled-07.cnf	? (TO)	1200.06	601.529	337297
crafted/Hard/contest03/others/ hwb-n28-02-S818962541.sat05-492.reshuffled-07.cnf	? (TO)	1200.06	601.428	337339
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	? (TO)	1200.06	601.324	338137
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (TO)	1200.06	601.718	339775
crafted/spence/ medium/s85-100.cnf	? (TO)	1200.07	601.421	328518
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	? (TO)	1200.07	601.563	332551
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (TO)	1200.07	601.63	334357
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	? (TO)	1200.07	602.839	334735
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (TO)	1200.07	601.628	335239
crafted/Hard/contest05/counting-php/ harder-fphp-070-069.sat05-1240.reshuffled-07.cnf	? (TO)	1200.07	601.844	335617
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-30-20-26.sat05-1264.reshuffled-07.cnf	? (TO)	1200.07	601.939	336625
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	? (TO)	1200.07	601.525	338179
crafted/Difficult/contest05/sabharwal/ counting-easier-fphp-014-012.sat05-1215.reshuffled-07.cnf	? (TO)	1200.07	601.425	338557
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	? (TO)	1200.07	601.442	339313
crafted/Difficult/contest-02-03-04/ contest03-hwb-n26-01-S1957858365.sat05-500.reshuffled-07.cnf	? (TO)	1200.07	601.428	339523
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	? (TO)	1200.07	601.434	339439
crafted/spence/ medium/s81-100.cnf	? (TO)	1200.08	601.422	328512
crafted/Hard/contest02/ ezfact64_5.sat05-452.reshuffled-07.cnf	? (TO)	1200.08	601.517	336751
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	1200.08	601.424	336877
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	1200.08	601.629	337129
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-03-S1609878926.sat05-487.reshuffled-07.cnf	? (TO)	1200.08	601.525	337717
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	? (TO)	1200.08	601.525	338263
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	? (TO)	1200.09	601.526	333265
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	1200.09	601.526	333811
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l2.used-as.sat04-894.sat05-4188.reshuffled-07.cnf	? (TO)	1200.09	605.066	334693
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	1200.09	603.039	334861
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	? (TO)	1200.09	601.628	338011
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (TO)	1200.09	601.65	338431
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	? (TO)	1200.09	602.32	338683
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (TO)	1200.09	601.429	338767
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (TO)	1200.09	601.429	339061
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (TO)	1200.09	601.923	339019
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	? (TO)	1200.1	601.561	332845
crafted/Hard/contest05/counting-php/ harder-fphp-018-017.sat05-1231.reshuffled-07.cnf	? (TO)	1200.1	601.731	335869
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	? (TO)	1200.1	605.164	338935
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	? (TO)	1200.1	601.451	339103
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	? (TO)	1200.1	601.63	339733
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	? (TO)	1200.11	601.559	332719
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	? (TO)	1200.11	601.624	333307
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (TO)	1200.11	601.527	334063
crafted/Hard/contest05/counting-php/ harder-fphp-050-049.sat05-1238.reshuffled-07.cnf	? (TO)	1200.11	601.536	335533
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	? (TO)	1200.11	601.527	335995
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	? (TO)	1200.11	601.729	336037
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	1200.11	601.628	336961
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	? (TO)	1200.11	601.619	337003
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	? (TO)	1200.11	601.719	337255
crafted/Hard/contest03/others/ bqwh.60.1080.sat05-436.reshuffled-07.cnf	? (TO)	1200.11	601.547	337423
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-135-2.sat05-2354.reshuffled-07.cnf	? (TO)	1200.11	601.333	339355
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	? (TO)	1200.11	601.529	339565
crafted/spence/ medium/s93-100.cnf	? (TO)	1200.12	601.522	328514
crafted/spence/ hard/s109-100.cnf	? (TO)	1200.12	601.524	328522
crafted/Medium/contest05/pebbling/ unsat-pbl-00200.sat05-1329.reshuffled-07.cnf	? (TO)	1200.12	601.568	332929
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	? (TO)	1200.12	601.525	333181
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (TO)	1200.12	601.728	334189
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-12-07-08.sat05-1251.reshuffled-07.cnf	? (TO)	1200.12	601.529	336373
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	? (TO)	1200.12	601.623	339607
crafted/Medium/contest05/sabharwal/ counting-easier-fphp-012-010.sat05-1214.reshuffled-07.cnf	? (TO)	1200.13	601.523	332509
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (TO)	1200.13	601.62	334525
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (TO)	1200.13	604.452	334777
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	? (TO)	1200.13	601.63	335071
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	1200.13	601.525	335155
crafted/Hard/contest05/counting-clq/ unsat-set-a-fclqcolor-20-13-14.sat05-1278.reshuffled-07.cnf	? (TO)	1200.13	601.54	336457
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	? (TO)	1200.13	602.523	338473
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	? (TO)	1200.13	601.524	339691
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	? (TO)	1200.14	601.525	333097
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	1200.14	606.658	334399
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	1200.14	601.641	335701
crafted/Hard/contest05/counting-php/ harder-php-045-044.sat05-1195.reshuffled-07.cnf	? (TO)	1200.14	601.655	335743
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (TO)	1200.14	601.633	336163
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	? (TO)	1200.14	601.525	337465
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	? (TO)	1200.14	601.586	333559
crafted/spence/ medium/s69-100.cnf	? (TO)	1200.15	601.521	328513
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (TO)	1200.15	601.625	334021
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (TO)	1200.15	607.587	334945
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (TO)	1200.15	601.631	335911
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	? (TO)	1200.15	601.632	336415
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	1200.15	601.525	337759
crafted/spence/ medium/s77-100.cnf	? (TO)	1200.16	601.524	328510
crafted/Medium/contest05/pebbling/ sat-grid-pbl-0200.sat05-1339.reshuffled-07.cnf	? (TO)	1200.16	602.017	332677
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	? (TO)	1200.16	601.63	333349
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (TO)	1200.16	602.942	334903
crafted/Hard/contest05/counting-php/ harder-fphp-016-015.sat05-1230.reshuffled-07.cnf	? (TO)	1200.16	601.73	335491
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	? (TO)	1200.16	602.04	336247
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	1200.16	601.629	337843
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	? (TO)	1200.16	601.63	338851
crafted/spence/ hard/s105-100.cnf	? (TO)	1200.17	601.524	328525
crafted/Medium/contest05/sabharwal/ gt-ordering-unsat-gt-025.sat05-1306.reshuffled-07.cnf	? (TO)	1200.17	601.643	332173
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	? (TO)	1200.17	601.524	335197
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	1200.17	601.832	336499
crafted/Difficult/contest05/QG/ QG6-dead-dnd001.sat05-2742.reshuffled-07.cnf	? (TO)	1200.17	601.524	338053
crafted/Difficult/contest05/sabharwal/ logistics-unsat-logistics-rotate-11t5.sat05-1141.reshuffled-07.cnf	? (TO)	1200.17	602.138	338599
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (TO)	1200.17	601.53	338725
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-2.sat05-2567.reshuffled-07.cnf	? (TO)	1200.17	601.637	339229
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	? (TO)	1200.17	601.525	339187
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-2.sat05-2174.reshuffled-07.cnf	? (TO)	1200.17	601.524	333433
crafted/spence/ medium/s73-100.cnf	? (TO)	1200.18	601.522	328516
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	? (TO)	1200.18	601.631	332425
crafted/Medium/contest05/pebbling/ unsat-pbl-00250.sat05-1330.reshuffled-07.cnf	? (TO)	1200.18	601.659	332887
crafted/Medium/contest05/others/ gensys-ukn002.sat05-2744.reshuffled-07.cnf	? (TO)	1200.18	601.523	332971
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	? (TO)	1200.18	601.524	333223
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	? (TO)	1200.18	601.644	333391
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s405595518.sat05-531.reshuffled-07.cnf	? (TO)	1200.18	601.528	334105
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l3.used-as.sat04-895.sat05-4189.reshuffled-07.cnf	? (TO)	1200.18	604.754	334819
crafted/Hard/contest05/counting-php/ easier-php-035-029.sat05-1179.reshuffled-07.cnf	? (TO)	1200.18	601.648	335575
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (TO)	1200.18	601.637	336079
crafted/Hard/contest05/others/ strips-gripper-12t22.sat05-1151.reshuffled-07.cnf	? (TO)	1200.18	601.836	336289
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	? (TO)	1200.18	601.62	337087
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	1200.18	601.524	337591
crafted/Difficult/contest05/QG/ QG6-gensys-icl006.sat05-2718.reshuffled-07.cnf	? (TO)	1200.18	601.524	338305
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	? (TO)	1200.18	601.524	338347
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	? (TO)	1200.18	601.628	338221
crafted/spence/ hard/s97-100.cnf	? (TO)	1200.19	601.526	328524
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	? (TO)	1200.19	601.703	333727
crafted/Hard/contest04/others/ equilarge_l5.sat05-522.reshuffled-07.cnf	? (TO)	1200.19	601.527	334567
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	? (TO)	1200.19	601.525	335113
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	1200.19	601.63	335323
crafted/Hard/contest05/others/ linvrinv6.sat05-565.reshuffled-07.cnf	? (TO)	1200.19	601.63	335953
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	? (TO)	1200.19	608.69	336205
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	1200.19	601.518	337381
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	? (TO)	1200.19	601.523	338893
crafted/spence/ hard/s117-100.cnf	? (TO)	1200.2	601.525	328523
crafted/Medium/contest05/pebbling/ unsat-pbl-00070.sat05-1324.reshuffled-07.cnf	? (TO)	1200.2	601.55	332761
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (TO)	1200.2	601.53	333937
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (TO)	1200.2	641.028	334609
crafted/Hard/contest05/QG/ QG7a-gensys-icl001.sat05-3822.reshuffled-07.cnf	? (TO)	1200.2	601.63	335365
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	1200.2	601.533	336667
crafted/Hard/contest02/ ezfact64_4.sat05-451.reshuffled-07.cnf	? (TO)	1200.2	601.72	337045
crafted/Hard/contest03/looksrandom/ hgen8-n260-03-S722413478.sat05-482.reshuffled-07.cnf	? (TO)	1200.2	601.525	337969
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	? (TO)	1200.2	601.526	339271
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	? (TO)	1200.21	601.532	333643
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (TO)	1200.21	601.526	333895
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.04-s1788334438.sat05-543.reshuffled-07.cnf	? (TO)	1200.21	601.527	334147
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	1200.21	601.527	334315
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (TO)	1200.21	602.018	334441
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	1200.21	601.621	334483
crafted/Hard/contest05/QG/ QG7a-gensys-icl009.sat05-3830.reshuffled-07.cnf	? (TO)	1200.21	601.73	335407
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-30-19-20.sat05-1256.reshuffled-07.cnf	? (TO)	1200.21	601.937	336583
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	1200.21	601.425	337633
crafted/Hard/contest03/looksrandom/ hgen7-n390-01-S248216171.sat05-478.reshuffled-07.cnf	? (TO)	1200.21	601.523	337801
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	? (TO)	1200.22	601.525	333013
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	? (TO)	1200.22	601.631	333055
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d-0.02-s1542454144.sat05-533.reshuffled-07.cnf	? (TO)	1200.22	601.524	333979
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (TO)	1200.22	605.365	335029
crafted/Hard/contest05/counting-php/ easier-fphp-020-015.sat05-1218.reshuffled-07.cnf	? (TO)	1200.22	601.634	335785
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (TO)	1200.22	603.05	336121
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (TO)	1200.22	601.629	337675
crafted/Hard/contest03/looksrandom/ hgen8-n320-03-S1572374531.sat05-485.reshuffled-07.cnf	? (TO)	1200.22	601.528	337885
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	? (TO)	1200.22	601.523	338389
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (TO)	1200.22	601.856	338515
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (TO)	1200.22	601.752	338641
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	? (TO)	1200.22	601.524	339817
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	? (TO)	1200.22	601.686	333475
crafted/spence/ hard/s113-100.cnf	? (TO)	1200.23	601.525	328520
crafted/spence/ hard/s101-100.cnf	? (TO)	1200.23	601.523	328521
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-240-3.sat05-2205.reshuffled-07.cnf	? (TO)	1200.23	601.542	333769
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	? (TO)	1200.23	601.523	333853
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	? (TO)	1200.23	603.436	334651
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (TO)	1200.23	602.732	336793
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	? (TO)	1200.23	601.629	338095
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	? (TO)	1200.23	601.782	339397
crafted/Medium/contest05/sabharwal/ gt-ordering-sat-gt-030.sat05-1295.reshuffled-07.cnf	? (TO)	1200.24	601.648	332299
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	1200.24	601.537	336709
crafted/Medium/contest05/sabharwal/ gt-ordering-unsat-gt-035.sat05-1308.reshuffled-07.cnf	? (TO)	1200.25	601.653	332215
crafted/Medium/contest05/pebbling/ unsat-pbl-00150.sat05-1328.reshuffled-07.cnf	? (TO)	1200.25	601.668	332803
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	? (TO)	1200.25	601.55	339145
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	? (TO)	1200.25	601.542	339481
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-1.sat05-2158.reshuffled-07.cnf	? (TO)	1200.26	601.565	333517
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (TO)	1200.27	606.978	334987

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/babic/xinetd/ xinetd_vc56703.cnf	UNSAT	1.00185	0.993915	328594
industrial/babic/xinetd/ xinetd_vc56687.cnf	UNSAT	1.02584	1.02091	328588
industrial/babic/ xinetd/itox_vc965.cnf	UNSAT	1.22581	1.49214	328591
industrial/babic/dspam/ dspam_dump_vc962.cnf	UNSAT	6.18706	3.66781	328527
industrial/babic/dspam/ dspam_dump_vc949.cnf	UNSAT	6.91895	4.16784	328534
industrial/babic/dspam/ dspam_dump_vc950.cnf	UNSAT	7.05393	4.21219	328532
industrial/babic/ dspam/dspam_dump_vc1093.cnf	UNSAT	9.11161	5.26267	328526
industrial/babic/ dspam/dspam_dump_vc1080.cnf	UNSAT	10.8194	6.13312	328535
industrial/babic/ dspam/dspam_dump_vc1081.cnf	UNSAT	10.8523	6.16963	328533
industrial/babic/ xinetd/itox_vc979.cnf	UNSAT	14.8467	8.06642	328597
industrial/babic/dspam/ dspam_dump_vc973.cnf	UNSAT	18.3342	10.9007	328531
industrial/babic/dspam/ dspam_dump_vc972.cnf	UNSAT	18.3382	10.8733	328529
industrial/babic/ dspam/dspam_dump_vc1104.cnf	UNSAT	38.7121	21.1164	328530
industrial/babic/ dspam/dspam_dump_vc1103.cnf	UNSAT	38.9021	21.2141	328528
industrial/jarvisalo/ eq.atree.braun.7.unsat.cnf	UNSAT	44.5192	22.3192	328547
industrial/babic/hsatv17/ hsat_vc11935.cnf	UNSAT	74.0807	38.0625	328540
industrial/babic/hsatv17/ hsat_vc11944.cnf	UNSAT	74.4437	38.3654	328542
industrial/babic/hsatv17/ hsat_vc12070.cnf	UNSAT	94.9576	48.5637	328538
industrial/babic/hsatv17/ hsat_vc12062.cnf	UNSAT	100.753	51.4879	328545
industrial/babic/hsatv17/ hsat_vc11803.cnf	UNSAT	112.703	57.9049	328541
industrial/babic/ xinetd/itox_vc1216.cnf	UNSAT	154.477	78.2497	328593
industrial/babic/hsatv17/ hsat_vc12016.cnf	UNSAT	278.302	140.297	328543
industrial/babic/hsatv17/ hsat_vc12072.cnf	UNSAT	421.535	212.456	328536
industrial/babic/hsatv17/ hsat_vc11773.cnf	UNSAT	588.547	296.153	328537
industrial/babic/hsatv17/ hsat_vc11817.cnf	UNSAT	594.983	299.451	328544
industrial/babic/hsatv17/ hsat_vc11813.cnf	UNSAT	672.902	338.959	328539

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/babic/ xinetd/itox_vc909.cnf	SAT	37.2873	19.379	328592
industrial/babic/ xinetd/itox_vc1033.cnf	SAT	72.8609	37.3319	328595
industrial/babic/ xinetd/itox_vc1138.cnf	SAT	110.682	56.397	328596
industrial/babic/ xinetd/itox_vc1130.cnf	SAT	114.968	58.5819	328589
industrial/palacios/medium/ emptyroom-4-h22-sat.cnf	SAT	137.65	69.3823	328505
industrial/babic/ xinetd/itox_vc1044.cnf	SAT	510.725	256.801	328590
industrial/narain/ clauses-2.cnf	SAT	1173.51	588.597	328583

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/jarvisalo/ eq.atree.braun.10.unsat.cnf	? (TO)	1200.03	601.426	328552
industrial/jarvisalo/ eq.atree.braun.8.unsat.cnf	? (TO)	1200.03	601.424	328551
industrial/fuhs/medium/ AProVE07-20.cnf	? (TO)	1200.03	601.52	328474
industrial/ manolios/manol-pipe-f9b.cnf	? (TO)	1200.04	602.334	328574
industrial/palacios/hard/ sortnet-6-ipc5-h11-unsat.cnf	? (TO)	1200.04	601.632	328489
industrial/crypto/ mizh-sha0-35-3.cnf	? (TO)	1200.05	601.861	328553
industrial/fuhs/medium/ AProVE07-02.cnf	? (TO)	1200.05	601.517	328467
industrial/fuhs/medium/ AProVE07-06.cnf	? (TO)	1200.05	602.231	328473
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k45.cnf	? (TO)	1200.05	602.333	330109
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq2.cnf	? (TO)	1200.05	602.429	331033
industrial/anbulagan/ hard-unsat/dated-10-11-u.cnf	? (TO)	1200.05	602.837	328455
industrial/manolios/ manol-pipe-c6nidw_i.cnf	? (TO)	1200.06	601.929	328578
industrial/fuhs/medium/ AProVE07-22.cnf	? (TO)	1200.06	601.621	328470
industrial/palacios/uts/ uts-l06-ipc5-h33-unknown.cnf	? (TO)	1200.06	602.747	328496
industrial/palacios/uts/ uts-l05-ipc5-h27-unknown.cnf	? (TO)	1200.06	602.135	328498
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k45.cnf	? (TO)	1200.06	602.123	329521
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k100.cnf	? (TO)	1200.06	602.635	329983
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k75.cnf	? (TO)	1200.06	602.333	330025
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf	? (TO)	1200.06	602.64	330235
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf	? (TO)	1200.06	603.751	328430
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf	? (TO)	1200.06	604.154	328443
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf	? (TO)	1200.06	603.239	328448
industrial/anbulagan/ hard-unsat/dated-5-15-u.cnf	? (TO)	1200.06	602.838	328452
industrial/anbulagan/ hard-unsat/dated-5-13-u.cnf	? (TO)	1200.06	602.738	328465
industrial/anbulagan/ hard-unsat/total-10-15-u.cnf	? (TO)	1200.07	603.855	328456
industrial/ crypto/mizh-md5-48-5.cnf	? (TO)	1200.07	601.929	328559
industrial/fuhs/medium/ AProVE07-16.cnf	? (TO)	1200.07	601.821	328476
industrial/grieu/ vmpc_26.cnf	? (TO)	1200.07	601.524	328572
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k60.cnf	? (TO)	1200.07	602.336	330151
industrial/anbulagan/ medium-sat/partial-5-13-s.cnf	? (TO)	1200.07	603.139	328435
industrial/anbulagan/ hard-sat/partial-5-17-s.cnf	? (TO)	1200.07	603.851	328426
industrial/grieu/ vmpc_24.cnf	? (TO)	1200.08	601.546	328567
industrial/ crypto/mizh-md5-47-4.cnf	? (TO)	1200.08	601.932	328556
industrial/crypto/ mizh-sha0-35-2.cnf	? (TO)	1200.08	601.829	328560
industrial/palacios/ medium/sortnet-7-ipc5-h16-sat.cnf	? (TO)	1200.08	602.133	328507
industrial/palacios/medium/ blocks-4-ipc5-h22-unknown.cnf	? (TO)	1200.08	602.902	328508
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k60.cnf	? (TO)	1200.08	602.128	329857
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k35.cnf	? (TO)	1200.08	601.726	329773
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k65.cnf	? (TO)	1200.08	602.436	330487
industrial/anbulagan/ medium-sat/partial-5-11-s.cnf	? (TO)	1200.08	603.135	328436
industrial/anbulagan/ medium-sat/partial-5-15-s.cnf	? (TO)	1200.08	603.343	328440
industrial/anbulagan/ hard-unsat/partial-5-19-u.cnf	? (TO)	1200.08	603.852	328445
industrial/anbulagan/ hard-unsat/total-10-19-u.cnf	? (TO)	1200.08	604.459	328453
industrial/palacios/uts/ uts-l06-ipc5-h32-unknown.cnf	? (TO)	1200.08	602.64	328495
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf	? (TO)	1200.09	601.327	328548
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k80.cnf	? (TO)	1200.09	602.43	329479
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k35.cnf	? (TO)	1200.09	602.127	330403
industrial/fuhs/medium/ AProVE07-15.cnf	? (TO)	1200.1	601.621	328472
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k85.cnf	? (TO)	1200.1	601.798	328933
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k40.cnf	? (TO)	1200.1	601.922	329563
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq4.cnf	? (TO)	1200.1	604.057	331075
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf	? (TO)	1200.1	603.649	328431
industrial/anbulagan/ medium-sat/dated-10-13-s.cnf	? (TO)	1200.1	603.038	328439
industrial/anbulagan/ medium-unsat/total-5-11-u.cnf	? (TO)	1200.1	602.934	328421
industrial/anbulagan/ medium-unsat/dated-10-15-u.cnf	? (TO)	1200.1	603.341	328422
industrial/ crypto/mizh-md5-47-5.cnf	? (TO)	1200.11	601.93	328562
industrial/fuhs/hard/ AProVE07-26.cnf	? (TO)	1200.11	601.637	328481
industrial/palacios/hard/ safe-50-h49-unsat.cnf	? (TO)	1200.11	604.985	328486
industrial/grieu/ vmpc_33.cnf	? (TO)	1200.11	601.732	328566
industrial/palacios/medium/ cube-9-h10-unsat.cnf	? (TO)	1200.11	602.332	328500
industrial/palacios/medium/ cube-11-h14-sat.cnf	? (TO)	1200.11	603.967	328501
industrial/fuhs/hard/ AProVE07-01.cnf	? (TO)	1200.11	601.516	328477
industrial/narain/ clauses-6.cnf	? (TO)	1200.11	605.791	328587
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k75.cnf	? (TO)	1200.11	601.8	329353
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k25.cnf	? (TO)	1200.11	601.819	329899
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k25.cnf	? (TO)	1200.11	601.827	330613
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq1.cnf	? (TO)	1200.11	601.862	330865
industrial/anbulagan/ hard-sat/partial-10-11-s.cnf	? (TO)	1200.11	603.241	328432
industrial/anbulagan/ hard-unsat/dated-10-19-u.cnf	? (TO)	1200.11	603.647	328450
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf	? (TO)	1200.11	604.356	328466
industrial/ crypto/mizh-md5-47-3.cnf	? (TO)	1200.12	601.932	328557
industrial/manolios/ manol-pipe-c7bidw_i.cnf	? (TO)	1200.12	602.132	328581
industrial/palacios/hard/ safe-50-h50-sat.cnf	? (TO)	1200.12	605.083	328485
industrial/palacios/medium/ safe-30-h30-sat.cnf	? (TO)	1200.12	602.235	328506
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k35.cnf	? (TO)	1200.12	601.802	329059
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k85.cnf	? (TO)	1200.12	602.533	329689
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k30.cnf	? (TO)	1200.12	601.935	330739
industrial/ manolios/manol-pipe-f9n.cnf	? (TO)	1200.13	602.437	328579
industrial/manolios/ manol-pipe-c7nidw.cnf	? (TO)	1200.13	602.334	328575
industrial/anbulagan/ hard-unsat/partial-10-15-u.cnf	? (TO)	1200.13	604.26	328447
industrial/crypto/ mizh-sha0-35-5.cnf	? (TO)	1200.14	601.831	328558
industrial/fuhs/hard/ AProVE07-03.cnf	? (TO)	1200.14	601.528	328479
industrial/palacios/uts/ uts-l06-ipc5-h34-unknown.cnf	? (TO)	1200.14	602.941	328490
industrial/palacios/medium/ blocks-4-ipc5-h21-unknown.cnf	? (TO)	1200.14	602.938	328509
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k40.cnf	? (TO)	1200.14	601.904	328807
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k15.cnf	? (TO)	1200.14	601.763	328723
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k25.cnf	? (TO)	1200.14	601.922	329227
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k70.cnf	? (TO)	1200.14	602.638	330277
industrial/anbulagan/ medium-sat/dated-10-17-s.cnf	? (TO)	1200.14	603.65	328441
industrial/anbulagan/ hard-unsat/dated-10-13-u.cnf	? (TO)	1200.14	603.038	328458
industrial/manolios/ manol-pipe-g10bidw.cnf	? (TO)	1200.15	602.74	328577
industrial/grieu/ vmpc_29.cnf	? (TO)	1200.15	601.632	328569
industrial/manolios/ manol-pipe-f7idw.cnf	? (TO)	1200.15	602.746	328573
industrial/crypto/ mizh-sha0-35-4.cnf	? (TO)	1200.15	601.831	328554
industrial/palacios/uts/ uts-l06-ipc5-h31-unknown.cnf	? (TO)	1200.15	602.742	328497
industrial/fuhs/hard/ AProVE07-27.cnf	? (TO)	1200.15	601.516	328482
industrial/palacios/hard/ sortnet-8-ipc5-h18-unsat.cnf	? (TO)	1200.15	603.451	328483
industrial/palacios/uts/ uts-l06-ipc5-h35-unknown.cnf	? (TO)	1200.15	602.943	328492
industrial/fuhs/medium/ AProVE07-09.cnf	? (TO)	1200.15	601.735	328468
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k65.cnf	? (TO)	1200.15	601.804	329269
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k70.cnf	? (TO)	1200.15	602.326	329647
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k50.cnf	? (TO)	1200.15	604.224	329815
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k90.cnf	? (TO)	1200.15	602.533	330067
industrial/anbulagan/ hard-unsat/partial-10-13-u.cnf	? (TO)	1200.15	603.744	328451
industrial/anbulagan/ hard-unsat/partial-5-15-u.cnf	? (TO)	1200.15	603.566	328463
industrial/palacios/uts/ uts-l06-ipc5-h29-unknown.cnf	? (TO)	1200.16	602.536	328491
industrial/palacios/hard/ sortnet-7-ipc5-h15-unsat.cnf	? (TO)	1200.16	602.131	328484
industrial/palacios/hard/ safe-30-h29-unsat.cnf	? (TO)	1200.16	602.234	328487
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k95.cnf	? (TO)	1200.16	602.632	329731
industrial/anbulagan/ medium-sat/total-10-15-s.cnf	? (TO)	1200.16	603.952	328442
industrial/anbulagan/ hard-unsat/total-5-19-u.cnf	? (TO)	1200.16	604.152	328454
industrial/anbulagan/ medium-unsat/dated-5-11-u.cnf	? (TO)	1200.16	602.729	328424
industrial/grieu/ vmpc_25.cnf	? (TO)	1200.17	601.623	328563
industrial/fuhs/hard/ AProVE07-25.cnf	? (TO)	1200.17	601.527	328480
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k95.cnf	? (TO)	1200.17	601.897	328975
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k50.cnf	? (TO)	1200.17	601.809	329143
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k65.cnf	? (TO)	1200.17	602.225	329941
industrial/anbulagan/ hard-unsat/total-5-15-u.cnf	? (TO)	1200.17	603.544	328446
industrial/manolios/ manol-pipe-f10ni.cnf	? (TO)	1200.18	603.355	328582
industrial/grieu/ vmpc_31.cnf	? (TO)	1200.18	601.731	328568
industrial/palacios/uts/ uts-l05-ipc5-h26-unsat.cnf	? (TO)	1200.18	602.133	328493
industrial/palacios/ medium/emptyroom-4-h21-unsat.cnf	? (TO)	1200.18	601.829	328503
industrial/palacios/hard/ sortnet-8-ipc5-h19-sat.cnf	? (TO)	1200.18	603.654	328488
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k55.cnf	? (TO)	1200.18	602.125	329437
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k40.cnf	? (TO)	1200.18	602.13	330445
industrial/anbulagan/ hard-unsat/dated-5-17-u.cnf	? (TO)	1200.18	603.34	328457
industrial/grieu/ vmpc_28.cnf	? (TO)	1200.19	601.63	328570
industrial/palacios/uts/ uts-l06-ipc5-h30-unknown.cnf	? (TO)	1200.19	602.636	328494
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k15.cnf	? (TO)	1200.19	601.721	330655
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k100.cnf	? (TO)	1200.19	603.044	330781
industrial/anbulagan/ medium-unsat/total-5-13-u.cnf	? (TO)	1200.19	603.141	328425
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf	? (TO)	1200.19	604.153	328427
industrial/grieu/ vmpc_30.cnf	? (TO)	1200.2	601.724	328565
industrial/palacios/medium/ cube-11-h13-unsat.cnf	? (TO)	1200.2	603.758	328502
industrial/fuhs/hard/ AProVE07-08.cnf	? (TO)	1200.2	601.529	328478
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k20.cnf	? (TO)	1200.2	601.826	330361
industrial/anbulagan/ medium-sat/total-5-17-s.cnf	? (TO)	1200.2	604.05	328433
industrial/anbulagan/ medium-sat/total-5-19-s.cnf	? (TO)	1200.2	604.153	328438
industrial/anbulagan/ hard-unsat/partial-5-11-u.cnf	? (TO)	1200.2	603.037	328464
industrial/anbulagan/ hard-unsat/partial-10-11-u.cnf	? (TO)	1200.2	603.238	328460
industrial/grieu/ vmpc_27.cnf	? (TO)	1200.21	601.631	328564
industrial/palacios/uts/ uts-l06-ipc5-h28-unknown.cnf	? (TO)	1200.21	602.537	328499
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k30.cnf	? (TO)	1200.21	601.726	329605
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k75.cnf	? (TO)	1200.21	602.741	330571
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k90.cnf	? (TO)	1200.21	603.038	330697
industrial/anbulagan/ hard-sat/partial-10-19-s.cnf	? (TO)	1200.21	604.56	328429
industrial/jarvisalo/ eq.atree.braun.9.unsat.cnf	? (TO)	1200.22	601.72	328549
industrial/palacios/ medium/cube-9-h11-sat.cnf	? (TO)	1200.22	602.535	328504
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf	? (TO)	1200.22	601.528	328546
industrial/grieu/ vmpc_34.cnf	? (TO)	1200.22	601.736	328571
industrial/fuhs/medium/ AProVE07-11.cnf	? (TO)	1200.22	609.238	328469
industrial/fuhs/medium/ AProVE07-21.cnf	? (TO)	1200.22	601.536	328471
industrial/fuhs/medium/ AProVE07-04.cnf	? (TO)	1200.22	602.228	328475
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k10.cnf	? (TO)	1200.22	602.057	329101
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k20.cnf	? (TO)	1200.22	601.789	329017
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq3.cnf	? (TO)	1200.22	603.239	331201
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf	? (TO)	1200.22	610.665	331159
industrial/anbulagan/ medium-unsat/total-10-13-u.cnf	? (TO)	1200.22	603.644	328420
industrial/jarvisalo/ eq.atree.braun.11.unsat.cnf	? (TO)	1200.23	601.526	328550
industrial/crypto/ mizh-sha0-36-2.cnf	? (TO)	1200.23	601.927	328561
industrial/anbulagan/ hard-unsat/dated-5-19-u.cnf	? (TO)	1200.23	603.444	328459
industrial/anbulagan/ hard-unsat/dated-10-17-u.cnf	? (TO)	1200.23	603.743	328462
industrial/anbulagan/ medium-unsat/total-10-11-u.cnf	? (TO)	1200.23	603.241	328423
industrial/anbulagan/ medium-sat/total-10-19-s.cnf	? (TO)	1200.23	604.562	328434
industrial/ crypto/mizh-md5-48-2.cnf	? (TO)	1200.24	602.032	328555
industrial/manolios/ manol-pipe-g10nid.cnf	? (TO)	1200.24	602.744	328580
industrial/narain/ clauses-4.cnf	? (TO)	1200.24	603.147	328585
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k80.cnf	? (TO)	1200.24	601.991	328681
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k50.cnf	? (TO)	1200.24	602.332	330193
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k95.cnf	? (TO)	1200.24	603.043	330319
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf	? (TO)	1200.24	602.538	330529
industrial/IBM_FV_2004_30/ IBM_FV_2004_rule_batch_30_SAT_dat.k85.cnf	? (TO)	1200.24	602.842	330823
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq5.cnf	? (TO)	1200.24	605.875	330949
industrial/anbulagan/ medium-sat/total-10-17-s.cnf	? (TO)	1200.24	604.357	328437
industrial/anbulagan/ hard-unsat/partial-5-17-u.cnf	? (TO)	1200.24	603.954	328444
industrial/anbulagan/ hard-unsat/total-5-17-u.cnf	? (TO)	1200.24	603.853	328461
industrial/manolios/ manol-pipe-c10nidw_s.cnf	? (TO)	1200.25	603.658	328576
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k55.cnf	? (TO)	1200.25	601.893	328639
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k60.cnf	? (TO)	1200.25	601.722	329185
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf	? (TO)	1200.25	615.274	331117
industrial/anbulagan/ hard-unsat/partial-10-17-u.cnf	? (TO)	1200.25	604.261	328449
industrial/anbulagan/ hard-sat/partial-5-19-s.cnf	? (TO)	1200.25	603.952	328428
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k90.cnf	? (TO)	1200.26	602.094	329395
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k100.cnf	? (TO)	1200.26	601.896	329311
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf	? (TO)	1200.27	607.301	330991
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k30.cnf	? (TO)	1200.29	601.896	328849
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k45.cnf	? (TO)	1200.3	601.966	328765
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k70.cnf	? (TO)	1200.3	601.899	328891
industrial/narain/ clauses-8.cnf	? (TO)	1200.37	611.193	328584
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf	? (TO)	1200.37	617.332	330907

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
industrial/narain/ clauses-10.cnf	? (MO)	26.8539	26.8808	328586
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf	? (MO)	36.9914	39.5782	331243
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug7.cnf	? (MO)	39.761	43.2836	331453
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug3.cnf	? (MO)	39.765	41.4841	331537
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf	? (MO)	39.8039	40.7841	331285
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug4.cnf	? (MO)	39.8249	41.0883	331411
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug1.cnf	? (MO)	39.8739	42.2805	331495
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug2.cnf	? (MO)	39.9209	40.8648	331579
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf	? (MO)	39.9649	42.4907	331621
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug9.cnf	? (MO)	39.9819	40.9863	331369
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug10.cnf	? (MO)	40.0319	41.0898	331327

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1110066181-15-UNSAT.cnf	UNSAT	2.6086	1.33823	328322
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S977957999-02-UNSAT.cnf	UNSAT	6.21805	3.1412	328318
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1240130681-11-UNSAT.cnf	UNSAT	9.67553	4.86056	328380
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1104990816-03-UNSAT.cnf	UNSAT	110.599	55.4429	328414

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1671384215-01-SAT.cnf	SAT	27.5398	13.8333	328310
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1416418480-05.SAT.shuffled.cnf	SAT	40.6308	20.3799	327925
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1821409123-12-SAT.cnf	SAT	84.0842	42.1807	328335
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1788789488-19-SAT.cnf	SAT	222.024	111.297	328374
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S30788164-07-SAT.cnf	SAT	251.039	125.856	328324
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1665384822-14-SAT.cnf	SAT	284.262	142.484	328379
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1386858597-08-SAT.cnf	SAT	420.55	210.824	328415

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1264328999-02.SAT.shuffled.cnf	? (TO)	1200.03	601.422	327915
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1344671309-04.SAT.shuffled.cnf	? (TO)	1200.03	601.626	328006
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1080042831-09.UNSAT.shuffled.cnf	? (TO)	1200.03	601.525	327967
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1529462267-19.SAT.shuffled.cnf	? (TO)	1200.03	601.423	328033
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1061579177-10.UNSAT.shuffled.cnf	? (TO)	1200.03	601.426	327961
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1363528912-04-SAT.cnf	? (TO)	1200.03	601.423	328419
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S236549621-14.SAT.shuffled.cnf	? (TO)	1200.04	601.423	327920
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S744612847-12.SAT.shuffled.cnf	? (TO)	1200.04	601.423	327939
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1279127780-17.UNSAT.shuffled.cnf	? (TO)	1200.04	601.422	327917
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1093254405-20.SAT.shuffled.cnf	? (TO)	1200.04	601.424	328025
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1065385609-07.UNSAT.shuffled.cnf	? (TO)	1200.04	601.423	328029
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S2067396253-13.UNSAT.shuffled.cnf	? (TO)	1200.04	601.423	328030
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S1798323172-15.cnf	? (TO)	1200.04	601.527	328200
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S218576925-17.UNSAT.shuffled.cnf	? (TO)	1200.04	601.442	328089
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1982407920-12.SAT.shuffled.cnf	? (TO)	1200.04	601.424	328091
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1924010222-09.UNSAT.shuffled.cnf	? (TO)	1200.04	601.425	328095
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1572638390-17.SAT.shuffled.cnf	? (TO)	1200.04	601.424	328045
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1469277938-19.UNSAT.shuffled.cnf	? (TO)	1200.04	601.457	328046
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1341479044-12.UNSAT.shuffled.cnf	? (TO)	1200.04	601.426	328103
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1307117813-09.UNSAT.shuffled.cnf	? (TO)	1200.04	601.425	328048
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S2048803580-17.SAT.shuffled.cnf	? (TO)	1200.04	601.426	328115
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1671397883-11.UNSAT.shuffled.cnf	? (TO)	1200.04	601.426	328117
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1212545732-02.UNSAT.shuffled.cnf	? (TO)	1200.04	601.424	328069
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1376493471-11.SAT.shuffled.cnf	? (TO)	1200.04	601.425	327958
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S998136463-10.cnf	? (TO)	1200.04	601.527	328183
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1183327690-20.UNSAT.shuffled.cnf	? (TO)	1200.04	601.424	327960
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1411264373-05.UNSAT.shuffled.cnf	? (TO)	1200.04	601.425	327962
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1368015355-04.UNSAT.shuffled.cnf	? (TO)	1200.04	601.624	328021
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S464355209-20-UNKNOWN.cnf	? (TO)	1200.04	601.631	328302
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1575802003-16-SAT.cnf	? (TO)	1200.04	601.426	328366
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S25157261-20-UNSAT.cnf	? (TO)	1200.04	601.427	328390
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1476745538-08-SAT.cnf	? (TO)	1200.04	601.426	328387
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S1891492462-09-SAT.cnf	? (TO)	1200.04	601.427	328392
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S102550125-14.cnf	? (TO)	1200.04	601.535	328277
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1349608788-18-UNSAT.cnf	? (TO)	1200.04	601.629	328337
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1488855480-20-UNSAT.cnf	? (TO)	1200.04	601.425	328413
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1529420458-04-UNSAT.cnf	? (TO)	1200.04	601.625	328356
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1629945861-01-UNKNOWN.cnf	? (TO)	1200.04	601.526	328360
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1138392605-05-UNKNOWN.cnf	? (TO)	1200.04	601.524	328361
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1939769766-11-SAT.cnf	? (TO)	1200.04	601.424	328418
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S2006871543-06.SAT.shuffled.cnf	? (TO)	1200.04	601.425	327923
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S340864765-13.SAT.shuffled.cnf	? (TO)	1200.04	601.422	327949
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1048256369-15.cnf	? (TO)	1200.05	601.525	328230
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S1435246639-05-UNSAT.cnf	? (TO)	1200.05	601.63	328347
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S1586629899-14.cnf	? (TO)	1200.05	601.43	328148
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1257266562-15.SAT.shuffled.cnf	? (TO)	1200.05	601.423	328079
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1783894026-19.SAT.shuffled.cnf	? (TO)	1200.05	601.424	328026
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1299158672-14.SAT.shuffled.cnf	? (TO)	1200.05	601.424	328043
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1159448555-06.SAT.shuffled.cnf	? (TO)	1200.05	601.427	328099
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S440198403-10.UNSAT.shuffled.cnf	? (TO)	1200.05	601.424	328106
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1615006153-07.SAT.shuffled.cnf	? (TO)	1200.05	601.425	327957
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1490740667-05.SAT.shuffled.cnf	? (TO)	1200.05	601.424	328070
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1107155013-20.UNSAT.shuffled.cnf	? (TO)	1200.05	601.627	328015
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1965764400-19.SAT.shuffled.cnf	? (TO)	1200.05	601.425	328074
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1211740352-20.UNSAT.shuffled.cnf	? (TO)	1200.05	601.424	328076
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S41627158-13.cnf	? (TO)	1200.05	601.526	328209
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S994434255-18-UNKNOWN.cnf	? (TO)	1200.05	601.425	328364
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S365559754-09-UNSAT.cnf	? (TO)	1200.05	601.626	328304
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1832504551-17-UNSAT.cnf	? (TO)	1200.05	601.63	328315
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1804595013-08-SAT.cnf	? (TO)	1200.05	601.425	328376
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S68128341-07-UNSAT.cnf	? (TO)	1200.05	601.424	328389
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S883553387-12-UNSAT.cnf	? (TO)	1200.05	601.424	328410
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1679085272-10-SAT.cnf	? (TO)	1200.05	601.638	328384
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1402143852-01.UNSAT.shuffled.cnf	? (TO)	1200.05	601.423	327927
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S114606831-19.UNSAT.shuffled.cnf	? (TO)	1200.05	601.425	327945
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1164089919-15.UNSAT.shuffled.cnf	? (TO)	1200.06	601.423	327918
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S15127148-17.SAT.shuffled.cnf	? (TO)	1200.06	601.424	327921
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1329819842-01.UNSAT.shuffled.cnf	? (TO)	1200.06	601.438	327937
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1309933981-04.UNSAT.shuffled.cnf	? (TO)	1200.06	601.426	327944
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1260745628-20.UNSAT.shuffled.cnf	? (TO)	1200.06	601.423	327914
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S527248282-10-UNSAT.cnf	? (TO)	1200.06	601.426	328403
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1373941726-12.UNSAT.shuffled.cnf	? (TO)	1200.06	601.424	328081
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1085782051-01.UNSAT.shuffled.cnf	? (TO)	1200.06	601.425	328086
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1301714489-09.UNSAT.shuffled.cnf	? (TO)	1200.06	601.63	327976
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1456038697-16.SAT.shuffled.cnf	? (TO)	1200.06	601.426	328050
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S461794864-15.SAT.shuffled.cnf	? (TO)	1200.06	601.628	327997
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S260814579-03.cnf	? (TO)	1200.06	601.532	328165
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1214515938-10.SAT.shuffled.cnf	? (TO)	1200.06	601.628	328001
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S498187802-14.cnf	? (TO)	1200.06	601.617	328226
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1858313411-09.UNSAT.shuffled.cnf	? (TO)	1200.06	601.423	328059
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1084572666-19.SAT.shuffled.cnf	? (TO)	1200.06	601.63	328009
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1399781364-05.UNSAT.shuffled.cnf	? (TO)	1200.06	601.424	327954
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1168722783-19.UNSAT.shuffled.cnf	? (TO)	1200.06	601.426	328066
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1257199575-18.UNSAT.shuffled.cnf	? (TO)	1200.06	601.426	328072
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1744543366-13.cnf	? (TO)	1200.06	601.33	328131
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1534329206-02.SAT.shuffled.cnf	? (TO)	1200.06	601.424	328040
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1195605559-14.UNSAT.shuffled.cnf	? (TO)	1200.06	601.629	327985
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1785258608-13.SAT.shuffled.cnf	? (TO)	1200.06	601.424	328042
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S30263233-06-SAT.cnf	? (TO)	1200.06	601.423	328367
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1244126495-18-SAT.cnf	? (TO)	1200.06	601.424	328373
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S1137479270-03-SAT.cnf	? (TO)	1200.06	601.426	328398
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1209647106-12-SAT.cnf	? (TO)	1200.06	601.427	328386
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S1312035429-13.cnf	? (TO)	1200.06	601.534	328278
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S832358630-11-UNSAT.cnf	? (TO)	1200.06	601.63	328341
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1299985238-16.cnf	? (TO)	1200.06	601.641	328292
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1875179522-13.cnf	? (TO)	1200.06	601.539	328298
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1449408666-02-SAT.cnf	? (TO)	1200.06	601.531	328359
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1414833579-15.UNSAT.shuffled.cnf	? (TO)	1200.06	601.422	327930
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1047920973-05.SAT.shuffled.cnf	? (TO)	1200.06	601.423	327947
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1191693850-19.SAT.shuffled.cnf	? (TO)	1200.06	601.425	327950
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1445529008-02.SAT.shuffled.cnf	? (TO)	1200.07	601.423	327936
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S1588170820-15.cnf	? (TO)	1200.07	601.53	328258
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S256297823-16.SAT.shuffled.cnf	? (TO)	1200.07	601.422	327912
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1275186626-09-UNSAT.cnf	? (TO)	1200.07	601.629	328350
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S179716588-02.UNSAT.shuffled.cnf	? (TO)	1200.07	601.424	328037
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S2037574412-07.UNSAT.shuffled.cnf	? (TO)	1200.07	601.423	328049
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1032474357-17.SAT.shuffled.cnf	? (TO)	1200.07	601.628	327978
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S666382280-13.cnf	? (TO)	1200.07	601.527	328202
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1970010471-03.UNSAT.shuffled.cnf	? (TO)	1200.07	601.426	328104
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S57566027-15.cnf	? (TO)	1200.07	601.526	328221
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1142219800-20.UNSAT.shuffled.cnf	? (TO)	1200.07	601.628	327998
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S422570514-15.cnf	? (TO)	1200.07	601.532	328170
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1311675672-04.UNSAT.shuffled.cnf	? (TO)	1200.07	601.422	328038
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1496918883-18.SAT.shuffled.cnf	? (TO)	1200.07	601.426	328096
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S262114230-17-UNSAT.cnf	? (TO)	1200.07	601.426	328391
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S791125864-16.cnf	? (TO)	1200.07	601.644	328246
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S1326526519-03-SAT.cnf	? (TO)	1200.07	601.63	328307
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1071799860-07-UNSAT.cnf	? (TO)	1200.07	601.426	328369
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S834531569-01-UNSAT.cnf	? (TO)	1200.07	601.423	328388
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S49237390-14.cnf	? (TO)	1200.07	601.645	328291
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1106616038-10.cnf	? (TO)	1200.07	601.646	328294
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1481093667-06.UNSAT.shuffled.cnf	? (TO)	1200.07	601.424	327946
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1501024241-13-UNSAT.cnf	? (TO)	1200.08	601.425	328378
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1155547357-11.SAT.shuffled.cnf	? (TO)	1200.08	601.423	328036
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1285628870-05.cnf	? (TO)	1200.08	601.533	328174
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S2109173872-19.SAT.shuffled.cnf	? (TO)	1200.08	601.426	328082
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1217224084-10.SAT.shuffled.cnf	? (TO)	1200.08	601.426	328084
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1481730841-18.SAT.shuffled.cnf	? (TO)	1200.08	601.425	328101
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1470952774-07.SAT.shuffled.cnf	? (TO)	1200.08	601.425	328102
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S422410882-13.cnf	? (TO)	1200.08	601.534	328166
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S2043900701-05.cnf	? (TO)	1200.08	601.528	328222
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1553613509-20.SAT.shuffled.cnf	? (TO)	1200.08	601.627	327999
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S1058323130-08.cnf	? (TO)	1200.08	601.532	328127
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S1446471927-04.cnf	? (TO)	1200.08	601.529	328189
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1540370200-13.SAT.shuffled.cnf	? (TO)	1200.08	601.425	328094
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1775402689-01.SAT.shuffled.cnf	? (TO)	1200.08	601.424	328098
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S450187849-03.cnf	? (TO)	1200.08	601.531	328256
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1274869912-15.cnf	? (TO)	1200.08	601.534	328259
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S145970304-01-UNSAT.cnf	? (TO)	1200.08	601.631	328327
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1545977164-16-SAT.cnf	? (TO)	1200.08	601.629	328334
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1626790907-13-UNSAT.cnf	? (TO)	1200.08	601.63	328338
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1762612346-15-SAT.cnf	? (TO)	1200.08	601.426	328382
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1342521403-06.SAT.shuffled.cnf	? (TO)	1200.08	601.424	327929
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1210495375-04.SAT.shuffled.cnf	? (TO)	1200.09	601.324	327913
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1963468459-10.UNSAT.shuffled.cnf	? (TO)	1200.09	601.425	328092
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1121556476-05.UNSAT.shuffled.cnf	? (TO)	1200.09	601.424	328093
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1172355929-14.SAT.shuffled.cnf	? (TO)	1200.09	601.426	328105
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S883927618-10.cnf	? (TO)	1200.09	601.528	328144
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S388731928-13.cnf	? (TO)	1200.09	601.528	328146
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1955740096-08.cnf	? (TO)	1200.09	601.527	328212
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1243695187-06.cnf	? (TO)	1200.09	601.532	328167
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1219079555-14.UNSAT.shuffled.cnf	? (TO)	1200.09	601.628	328000
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1227285183-04.cnf	? (TO)	1200.09	601.53	328168
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S16540223-14.cnf	? (TO)	1200.09	601.532	328169
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1582455625-10.cnf	? (TO)	1200.09	601.53	328177
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1022834397-10.cnf	? (TO)	1200.09	601.533	328154
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S702278147-14-UNSAT.cnf	? (TO)	1200.09	601.425	328377
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S897388318-05.cnf	? (TO)	1200.09	601.536	328263
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S565127616-04.cnf	? (TO)	1200.09	601.534	328275
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S461590508-14-SAT.cnf	? (TO)	1200.09	601.629	328339
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S966455977-02-UNSAT.cnf	? (TO)	1200.09	601.628	328340
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1416986890-04.cnf	? (TO)	1200.09	601.641	328282
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1661055114-06.cnf	? (TO)	1200.09	601.643	328296
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1404069132-16-SAT.cnf	? (TO)	1200.09	601.326	328417
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S2081149830-10.SAT.shuffled.cnf	? (TO)	1200.09	601.425	327924
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1890278326-03.cnf	? (TO)	1200.1	601.706	328286
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S108421787-03.SAT.shuffled.cnf	? (TO)	1200.1	601.628	328008
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1279108477-06.UNSAT.shuffled.cnf	? (TO)	1200.1	601.524	328022
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1517604033-06.UNSAT.shuffled.cnf	? (TO)	1200.1	601.627	327968
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1718130589-01.SAT.shuffled.cnf	? (TO)	1200.1	601.627	327988
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S1063466123-05.cnf	? (TO)	1200.1	601.532	328121
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S2094099432-08.SAT.shuffled.cnf	? (TO)	1200.1	601.325	327964
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1691487811-15.cnf	? (TO)	1200.1	601.53	328133
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1826381479-08.cnf	? (TO)	1200.1	601.638	328248
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1909130260-19-SAT.cnf	? (TO)	1200.1	601.627	328309
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S2118640909-06.cnf	? (TO)	1200.1	601.538	328276
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1314701073-08.cnf	? (TO)	1200.1	601.643	328293
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S597645631-10.cnf	? (TO)	1200.11	601.536	328267
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S467706592-03.cnf	? (TO)	1200.11	601.528	328190
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S333805260-05.cnf	? (TO)	1200.11	601.526	328192
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S116991008-16.SAT.shuffled.cnf	? (TO)	1200.11	601.629	327972
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S2117580343-16.cnf	? (TO)	1200.11	601.528	328197
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1392532406-12.UNSAT.shuffled.cnf	? (TO)	1200.11	601.521	328032
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S187076430-06.cnf	? (TO)	1200.11	601.527	328219
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S316555917-14.SAT.shuffled.cnf	? (TO)	1200.11	601.623	327996
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1627256190-14.cnf	? (TO)	1200.11	601.535	328164
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S751835224-10.cnf	? (TO)	1200.11	601.527	328223
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S679764311-04.cnf	? (TO)	1200.11	601.525	328224
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S2053050899-08.cnf	? (TO)	1200.11	601.528	328225
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S779713554-13.cnf	? (TO)	1200.11	601.666	328233
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1161940794-17.UNSAT.shuffled.cnf	? (TO)	1200.11	601.327	328075
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1215610276-02.UNSAT.shuffled.cnf	? (TO)	1200.11	601.629	328007
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S623466762-07-UNSAT.cnf	? (TO)	1200.11	601.524	328400
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S2060375179-19-SAT.cnf	? (TO)	1200.11	601.526	328299
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1955492734-15-UNSAT.cnf	? (TO)	1200.11	601.427	328358
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S1097641288-15-SAT.cnf	? (TO)	1200.11	601.53	328300
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1282416669-17.SAT.shuffled.cnf	? (TO)	1200.12	601.524	327934
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1483146927-18.SAT.shuffled.cnf	? (TO)	1200.12	601.523	328062
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1806915801-08.SAT.shuffled.cnf	? (TO)	1200.12	601.523	328088
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1566131367-09.SAT.shuffled.cnf	? (TO)	1200.12	601.524	328034
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1172786648-06.cnf	? (TO)	1200.12	601.533	328156
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1128222245-05.cnf	? (TO)	1200.12	601.532	328163
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S417904071-03.cnf	? (TO)	1200.12	601.525	328220
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S142115187-18.UNSAT.shuffled.cnf	? (TO)	1200.12	601.524	327953
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1869272420-19.SAT.shuffled.cnf	? (TO)	1200.12	601.526	327959
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1980187645-03.cnf	? (TO)	1200.12	601.645	328241
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1546827657-01.UNSAT.shuffled.cnf	? (TO)	1200.12	601.525	328041
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S2094973797-12-SAT.cnf	? (TO)	1200.12	601.524	328370
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1893175053-01-UNSAT.cnf	? (TO)	1200.12	601.525	328375
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S421554531-04.cnf	? (TO)	1200.12	601.533	328261
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1517457236-16-SAT.cnf	? (TO)	1200.12	601.631	328321
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S1082766609-17-UNSAT.cnf	? (TO)	1200.12	601.63	328342
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S316347254-19-SAT.cnf	? (TO)	1200.12	601.523	328394
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1054448974-13.cnf	? (TO)	1200.12	601.639	328281
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S183991542-09-SAT.cnf	? (TO)	1200.12	601.528	328406
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1496322949-03.cnf	? (TO)	1200.12	601.644	328290
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S361865778-09-SAT.cnf	? (TO)	1200.13	601.63	328348
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1474234583-11.UNSAT.shuffled.cnf	? (TO)	1200.13	601.523	327919
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1121059923-10.cnf	? (TO)	1200.13	601.53	328134
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1638354370-16.cnf	? (TO)	1200.13	601.529	328136
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1513299405-10.SAT.shuffled.cnf	? (TO)	1200.13	601.63	327971
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S94225360-10.cnf	? (TO)	1200.13	601.526	328195
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1387394500-16.UNSAT.shuffled.cnf	? (TO)	1200.13	601.631	327989
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1238286461-19.SAT.shuffled.cnf	? (TO)	1200.13	601.525	328053
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S235206606-20.UNSAT.shuffled.cnf	? (TO)	1200.13	601.525	328054
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S2083146463-03.UNSAT.shuffled.cnf	? (TO)	1200.13	601.525	328058
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1925680230-06.UNSAT.shuffled.cnf	? (TO)	1200.13	601.526	328114
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S788797920-13.cnf	? (TO)	1200.13	601.526	328180
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S167199451-11.UNSAT.shuffled.cnf	? (TO)	1200.13	601.627	328018
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1415445307-13.cnf	? (TO)	1200.13	601.642	328244
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S448238512-10.cnf	? (TO)	1200.13	601.645	328242
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1813726766-14.SAT.shuffled.cnf	? (TO)	1200.13	601.524	327965
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1145101718-14.cnf	? (TO)	1200.13	601.538	328264
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S657313757-16.cnf	? (TO)	1200.13	601.535	328266
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S152598520-02-SAT.cnf	? (TO)	1200.13	601.627	328306
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1613098638-06-UNSAT.cnf	? (TO)	1200.13	601.629	328313
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S2099846342-04-SAT.cnf	? (TO)	1200.13	601.526	328372
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1286605994-07-SAT.cnf	? (TO)	1200.13	601.624	328316
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S971732863-03.cnf	? (TO)	1200.13	601.536	328260
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S1151229574-11-UNSAT.cnf	? (TO)	1200.13	601.524	328399
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S122221229-14.SAT.shuffled.cnf	? (TO)	1200.14	601.523	327938
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1180773190-07.SAT.shuffled.cnf	? (TO)	1200.14	601.525	327941
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S804631280-01.SAT.shuffled.cnf	? (TO)	1200.14	601.525	327943
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S218623752-19-SAT.cnf	? (TO)	1200.14	601.631	328345
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S309048450-11.SAT.shuffled.cnf	? (TO)	1200.14	601.523	327909
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1557868591-12-SAT.cnf	? (TO)	1200.14	601.63	328349
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S476496922-18-SAT.cnf	? (TO)	1200.14	601.526	328409
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S451874538-03.cnf	? (TO)	1200.14	601.532	328120
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1509822356-13.cnf	? (TO)	1200.14	601.531	328176
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S141590207-13.SAT.shuffled.cnf	? (TO)	1200.14	601.525	328118
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1846251911-07.SAT.shuffled.cnf	? (TO)	1200.14	601.523	328024
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1416010721-11.UNSAT.shuffled.cnf	? (TO)	1200.14	601.525	328090
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1752604460-10.SAT.shuffled.cnf	? (TO)	1200.14	601.525	328109
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1590273377-07.UNSAT.shuffled.cnf	? (TO)	1200.14	601.523	328113
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1155123565-17.UNSAT.shuffled.cnf	? (TO)	1200.14	601.628	328005
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1037473581-12.UNSAT.shuffled.cnf	? (TO)	1200.14	601.525	328065
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1504426817-07.UNSAT.shuffled.cnf	? (TO)	1200.14	601.628	328011
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1403172096-14.cnf	? (TO)	1200.14	601.528	328179
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1739132237-05.cnf	? (TO)	1200.14	601.528	328182
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S539876024-03.SAT.shuffled.cnf	? (TO)	1200.14	601.525	328071
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1708367663-03.UNSAT.shuffled.cnf	? (TO)	1200.14	601.628	328020
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1438185261-13.cnf	? (TO)	1200.14	601.538	328262
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1104692480-03.SAT.shuffled.cnf	? (TO)	1200.14	601.525	328097
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S1178874381-13.cnf	? (TO)	1200.14	601.531	328251
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S923582293-10-UNSAT.cnf	? (TO)	1200.14	601.524	328395
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S883878972-08.cnf	? (TO)	1200.14	601.639	328280
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1826229031-16.cnf	? (TO)	1200.15	601.527	328232
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1230630010-06-UNSAT.cnf	? (TO)	1200.15	601.678	328383
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1019153514-04.SAT.shuffled.cnf	? (TO)	1200.15	601.65	327966
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S793374232-15.cnf	? (TO)	1200.15	601.53	328139
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S1556473581-06.cnf	? (TO)	1200.15	601.528	328141
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1481196126-03.SAT.shuffled.cnf	? (TO)	1200.15	601.629	327991
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1166224100-13.SAT.shuffled.cnf	? (TO)	1200.15	601.526	328057
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1262395962-18.UNSAT.shuffled.cnf	? (TO)	1200.15	601.627	328004
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1533440099-09.SAT.shuffled.cnf	? (TO)	1200.15	601.628	328013
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1366805398-04.cnf	? (TO)	1200.15	601.528	328181
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1225217164-02.UNSAT.shuffled.cnf	? (TO)	1200.15	601.63	328014
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1106151685-15.SAT.shuffled.cnf	? (TO)	1200.15	601.629	328016
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S886048189-14.cnf	? (TO)	1200.15	601.638	328240
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1661921212-08.cnf	? (TO)	1200.15	601.528	328188
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1635684145-01.SAT.shuffled.cnf	? (TO)	1200.15	601.628	328017
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S2034423571-08.cnf	? (TO)	1200.15	601.53	328129
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S787287513-16.cnf	? (TO)	1200.15	601.527	328187
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S1922669300-13.cnf	? (TO)	1200.15	601.529	328119
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S453945536-08.cnf	? (TO)	1200.15	601.529	328175
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S622482268-08-UNKNOWN.cnf	? (TO)	1200.15	601.524	328363
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S549070267-05-SAT.cnf	? (TO)	1200.15	601.632	328308
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S417670629-08.cnf	? (TO)	1200.15	601.533	328253
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1377128774-12-UNSAT.cnf	? (TO)	1200.15	601.63	328311
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S856579407-15.cnf	? (TO)	1200.15	601.532	328271
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1352949000-03-SAT.cnf	? (TO)	1200.15	601.63	328330
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S56884336-05.cnf	? (TO)	1200.15	601.534	328274
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1973057201-08-SAT.cnf	? (TO)	1200.15	601.63	328333
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S1022605561-16-UNSAT.cnf	? (TO)	1200.15	601.525	328393
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1311582577-17-UNSAT.cnf	? (TO)	1200.15	601.727	328336
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S287388441-16.cnf	? (TO)	1200.15	601.641	328279
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S1703132040-12-SAT.cnf	? (TO)	1200.15	601.527	328396
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S668297284-15-SAT.cnf	? (TO)	1200.15	601.527	328397
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1870497322-13-SAT.cnf	? (TO)	1200.15	601.629	328352
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1274825698-06-SAT.cnf	? (TO)	1200.15	601.629	328353
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S455021619-18.SAT.shuffled.cnf	? (TO)	1200.16	601.524	327940
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S592344929-16-SAT.cnf	? (TO)	1200.16	601.632	328346
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1372215289-05.SAT.shuffled.cnf	? (TO)	1200.16	601.524	328027
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S3230925-04.cnf	? (TO)	1200.16	601.528	328199
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1762817022-10.UNSAT.shuffled.cnf	? (TO)	1200.16	601.526	328044
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1031412672-05.SAT.shuffled.cnf	? (TO)	1200.16	601.524	328110
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1073303884-15.UNSAT.shuffled.cnf	? (TO)	1200.16	601.525	328056
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S145251364-05.UNSAT.shuffled.cnf	? (TO)	1200.16	601.626	328003
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1517867865-16.cnf	? (TO)	1200.16	601.531	328172
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S1617760096-16.cnf	? (TO)	1200.16	601.527	328228
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1207324880-03.cnf	? (TO)	1200.16	601.532	328173
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1426208256-08.cnf	? (TO)	1200.16	601.527	328235
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1907907390-05.SAT.shuffled.cnf	? (TO)	1200.16	601.627	328012
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S52275463-03.cnf	? (TO)	1200.16	601.528	328186
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1736865558-13.SAT.shuffled.cnf	? (TO)	1200.16	601.527	328077
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S120857050-04.cnf	? (TO)	1200.16	601.528	328231
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S211365596-08-UNSAT.cnf	? (TO)	1200.16	601.624	328303
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S376181597-04-UNKNOWN.cnf	? (TO)	1200.16	601.629	328305
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1455331099-09-SAT.cnf	? (TO)	1200.16	601.63	328314
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1757451736-02-UNSAT.cnf	? (TO)	1200.16	601.616	328320
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1307633938-08-UNSAT.cnf	? (TO)	1200.16	601.629	328328
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S880121748-08.cnf	? (TO)	1200.16	601.533	328272
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S1117386741-13-UNSAT.cnf	? (TO)	1200.16	601.528	328401
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S2131244303-19-SAT.cnf	? (TO)	1200.16	601.63	328362
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S499481065-10-SAT.cnf	? (TO)	1200.16	601.628	328323
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1962059985-11-UNSAT.cnf	? (TO)	1200.16	601.63	328326
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1350256608-20.UNSAT.shuffled.cnf	? (TO)	1200.16	601.525	327928
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S516218553-20-SAT.cnf	? (TO)	1200.17	601.625	328343
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1064282057-06.UNSAT.shuffled.cnf	? (TO)	1200.17	601.522	327916
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S161446644-14.cnf	? (TO)	1200.17	601.64	328288
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1568197186-18-SAT.cnf	? (TO)	1200.17	601.633	328319
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1517537144-16.UNSAT.shuffled.cnf	? (TO)	1200.17	601.525	328078
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1459708824-17.UNSAT.shuffled.cnf	? (TO)	1200.17	601.524	328080
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1284937235-05.SAT.shuffled.cnf	? (TO)	1200.17	601.627	327970
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S148460961-17.UNSAT.shuffled.cnf	? (TO)	1200.17	601.522	328028
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1253549494-19.UNSAT.shuffled.cnf	? (TO)	1200.17	601.629	327974
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1155415292-14.UNSAT.shuffled.cnf	? (TO)	1200.17	601.629	327975
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1738460433-02.UNSAT.shuffled.cnf	? (TO)	1200.17	601.63	327977
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1390822082-06.SAT.shuffled.cnf	? (TO)	1200.17	601.628	327979
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S478782385-06.cnf	? (TO)	1200.17	601.527	328203
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1018594061-02.UNSAT.shuffled.cnf	? (TO)	1200.17	601.626	327983
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S371462865-10.cnf	? (TO)	1200.17	601.527	328207
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S879514135-06.cnf	? (TO)	1200.17	601.527	328211
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1342589780-15.cnf	? (TO)	1200.17	601.533	328158
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S485928362-15.cnf	? (TO)	1200.17	601.53	328160
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1678989107-02.SAT.shuffled.cnf	? (TO)	1200.17	601.63	327994
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1519323913-01.UNSAT.shuffled.cnf	? (TO)	1200.17	601.525	328055
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1013535775-14.UNSAT.shuffled.cnf	? (TO)	1200.17	601.525	328112
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1314186802-12.UNSAT.shuffled.cnf	? (TO)	1200.17	601.63	328010
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1998470614-06.cnf	? (TO)	1200.17	601.526	328237
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1407716880-15.cnf	? (TO)	1200.17	601.527	328184
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S295096144-05.cnf	? (TO)	1200.17	601.641	328287
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S67600799-16.cnf	? (TO)	1200.17	601.533	328273
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1248103115-09-UNKNOWN.cnf	? (TO)	1200.17	601.527	328365
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S251010207-06.cnf	? (TO)	1200.17	601.534	328254
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S2051531193-03.cnf	? (TO)	1200.17	601.534	328269
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1705860047-05-SAT.cnf	? (TO)	1200.17	601.631	328329
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1014417748-14-SAT.cnf	? (TO)	1200.17	601.629	328354
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1889416016-07-UNSAT.cnf	? (TO)	1200.17	601.63	328355
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1257170129-13.UNSAT.shuffled.cnf	? (TO)	1200.17	601.525	327948
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S429936805-03.SAT.shuffled.cnf	? (TO)	1200.17	601.525	327951
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1674723394-12.SAT.shuffled.cnf	? (TO)	1200.18	601.524	327933
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S1680450953-04-UNSAT.cnf	? (TO)	1200.18	601.525	328407
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1753083943-04.cnf	? (TO)	1200.18	601.742	328289
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S1096972624-15.cnf	? (TO)	1200.18	601.525	328198
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S1791291573-05.cnf	? (TO)	1200.18	601.53	328143
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S1923240245-08.cnf	? (TO)	1200.18	601.527	328201
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1971221253-16.cnf	? (TO)	1200.18	601.534	328151
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1830776056-07.SAT.shuffled.cnf	? (TO)	1200.18	601.628	327987
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1980584520-03.cnf	? (TO)	1200.18	601.527	328214
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1861814752-08.cnf	? (TO)	1200.18	601.581	328162
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1898939887-14.cnf	? (TO)	1200.18	601.527	328218
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1089058690-02.SAT.shuffled.cnf	? (TO)	1200.18	601.527	328107
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1141835011-09.SAT.shuffled.cnf	? (TO)	1200.18	601.524	328052
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S2127524023-19.UNSAT.shuffled.cnf	? (TO)	1200.18	601.525	328108
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S105499989-20.UNSAT.shuffled.cnf	? (TO)	1200.18	601.525	328111
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S1059928571-06.cnf	? (TO)	1200.18	601.53	328123
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S409844453-15.cnf	? (TO)	1200.18	601.531	328124
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S342579098-10.cnf	? (TO)	1200.18	601.529	328236
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S2026599491-05.cnf	? (TO)	1200.18	601.524	328238
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1283500452-05.cnf	? (TO)	1200.18	601.53	328130
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S202413125-05.cnf	? (TO)	1200.18	601.643	328247
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S313074252-14.cnf	? (TO)	1200.18	601.531	328255
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1239472001-19-UNSAT.cnf	? (TO)	1200.18	601.523	328385
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S427890210-10.cnf	? (TO)	1200.18	601.535	328270
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1330787624-15.cnf	? (TO)	1200.18	601.741	328295
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1966306571-20-UNSAT.cnf	? (TO)	1200.18	601.629	328357
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1424595365-09.UNSAT.shuffled.cnf	? (TO)	1200.18	601.523	327926
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1189233705-10.cnf	? (TO)	1200.19	601.643	328285
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1317485140-08.UNSAT.shuffled.cnf	? (TO)	1200.19	601.524	327910
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1755163742-08.SAT.shuffled.cnf	? (TO)	1200.19	601.626	327981
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S2099893633-17.SAT.shuffled.cnf	? (TO)	1200.19	601.627	327993
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1147406493-20.UNSAT.shuffled.cnf	? (TO)	1200.19	601.525	327952
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1405262666-07.UNSAT.shuffled.cnf	? (TO)	1200.19	601.63	327969
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S793713844-14.cnf	? (TO)	1200.19	601.527	328193
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S640027679-08.cnf	? (TO)	1200.19	601.526	328194
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1422217194-16.SAT.shuffled.cnf	? (TO)	1200.19	601.523	328083
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1154156114-09.UNSAT.shuffled.cnf	? (TO)	1200.19	601.525	328085
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1518709554-16.UNSAT.shuffled.cnf	? (TO)	1200.19	601.527	328100
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1854213938-15.cnf	? (TO)	1200.19	601.526	328215
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1284960805-05.UNSAT.shuffled.cnf	? (TO)	1200.19	601.627	327992
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1535300821-05.cnf	? (TO)	1200.19	601.525	328216
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1699479488-11.SAT.shuffled.cnf	? (TO)	1200.19	601.526	328051
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1215030506-14.cnf	? (TO)	1200.19	601.528	328229
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S191957358-10.cnf	? (TO)	1200.19	601.53	328125
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S769702923-04.cnf	? (TO)	1200.19	601.531	328126
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1600965758-04.cnf	? (TO)	1200.19	601.536	328243
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1280573704-13.UNSAT.shuffled.cnf	? (TO)	1200.19	601.626	327986
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1293761391-11-UNSAT.cnf	? (TO)	1200.19	601.63	328332
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1091800488-20-SAT.cnf	? (TO)	1200.19	601.525	328368
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S2053960853-04-UNSAT.cnf	? (TO)	1200.19	601.629	328331
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S1163137157-19-SAT.cnf	? (TO)	1200.19	601.527	328408
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S2045682869-15.cnf	? (TO)	1200.2	601.641	328284
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S1346268409-03-UNSAT.cnf	? (TO)	1200.2	601.63	328344
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1119543818-13.UNSAT.shuffled.cnf	? (TO)	1200.2	601.524	328023
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S1358416858-13.cnf	? (TO)	1200.2	601.529	328191
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S1805843968-06.cnf	? (TO)	1200.2	601.529	328196
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S471246417-03.cnf	? (TO)	1200.2	601.528	328147
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S406284248-03.cnf	? (TO)	1200.2	601.534	328155
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S232355738-04.cnf	? (TO)	1200.2	601.529	328213
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1141171506-10.UNSAT.shuffled.cnf	? (TO)	1200.2	601.627	327990
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1175862975-06.cnf	? (TO)	1200.2	601.532	328171
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S659720099-13.cnf	? (TO)	1200.2	601.526	328227
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S2050975470-04.cnf	? (TO)	1200.2	601.531	328178
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S871621203-03.cnf	? (TO)	1200.2	601.527	328234
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S411047518-16.cnf	? (TO)	1200.2	601.53	328128
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S2033299325-04.cnf	? (TO)	1200.2	601.529	328132
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1319091742-10.SAT.shuffled.cnf	? (TO)	1200.2	601.523	328019
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S1751213243-05.cnf	? (TO)	1200.2	601.527	328206
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1173369833-06.cnf	? (TO)	1200.2	601.64	328265
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S409751023-10.cnf	? (TO)	1200.2	601.529	328210
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S36357048-10.cnf	? (TO)	1200.2	601.533	328161
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1941321941-16.cnf	? (TO)	1200.2	601.526	328217
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S1946534526-16.cnf	? (TO)	1200.2	601.533	328249
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S77566504-14.cnf	? (TO)	1200.2	601.525	328205
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1678549664-11-SAT.cnf	? (TO)	1200.2	601.631	328351
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1172889356-05.cnf	? (TO)	1200.2	601.751	328297
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S127192076-04.UNSAT.shuffled.cnf	? (TO)	1200.2	601.525	327922
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1110074311-09.UNSAT.shuffled.cnf	? (TO)	1200.2	601.525	327932
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1225022879-08.UNSAT.shuffled.cnf	? (TO)	1200.21	601.526	327942
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S2084125686-20-SAT.cnf	? (TO)	1200.21	601.527	328404
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S228456758-12.SAT.shuffled.cnf	? (TO)	1200.21	601.629	327980
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S274221008-04.cnf	? (TO)	1200.21	601.531	328149
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1113882813-11.SAT.shuffled.cnf	? (TO)	1200.21	601.524	328064
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S471833188-06.cnf	? (TO)	1200.21	601.531	328137
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S1559029529-16.cnf	? (TO)	1200.21	601.531	328142
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1344401737-18.SAT.shuffled.cnf	? (TO)	1200.21	601.523	328035
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1235873841-05.UNSAT.shuffled.cnf	? (TO)	1200.21	601.524	328039
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S683236487-13.cnf	? (TO)	1200.21	601.533	328157
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S811174248-16.cnf	? (TO)	1200.21	601.535	328159
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1483196631-09.UNSAT.shuffled.cnf	? (TO)	1200.21	601.524	327956
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1104207220-18.UNSAT.shuffled.cnf	? (TO)	1200.21	601.627	327982
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1259611134-14.cnf	? (TO)	1200.21	601.532	328150
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1179686861-10.UNSAT.shuffled.cnf	? (TO)	1200.21	601.627	327984
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S837858872-05.cnf	? (TO)	1200.21	601.533	328153
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1115796430-03.UNSAT.shuffled.cnf	? (TO)	1200.21	601.525	328063
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S440063851-05.cnf	? (TO)	1200.21	601.528	328257
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S64317265-01-SAT.cnf	? (TO)	1200.21	601.526	328411
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S384567560-10-UNKNOWN.cnf	? (TO)	1200.21	601.634	328301
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1412274662-11.UNSAT.shuffled.cnf	? (TO)	1200.21	601.527	327931
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S514014285-17-SAT.cnf	? (TO)	1200.22	601.526	328405
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S643005221-14.cnf	? (TO)	1200.22	601.53	328135
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1036103820-03.cnf	? (TO)	1200.22	601.53	328138
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1109841921-18.SAT.shuffled.cnf	? (TO)	1200.22	601.631	327973
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1437321789-17.SAT.shuffled.cnf	? (TO)	1200.22	601.522	328031
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1370059435-05.UNSAT.shuffled.cnf	? (TO)	1200.22	601.523	328087
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S2129616968-04.cnf	? (TO)	1200.22	601.53	328145
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1963596997-08.SAT.shuffled.cnf	? (TO)	1200.22	601.523	328047
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S216896591-15.SAT.shuffled.cnf	? (TO)	1200.22	601.523	328060
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S2109328271-14.cnf	? (TO)	1200.22	601.533	328122
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S81758219-15.cnf	? (TO)	1200.22	601.742	328239
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S2044406543-15.SAT.shuffled.cnf	? (TO)	1200.22	601.526	327963
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S660110840-06.cnf	? (TO)	1200.22	601.427	328185
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1463391112-08.cnf	? (TO)	1200.22	601.532	328152
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S849793820-03.cnf	? (TO)	1200.22	601.526	328208
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S1580061366-10.cnf	? (TO)	1200.22	601.531	328250
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S669431406-04.cnf	? (TO)	1200.22	601.531	328252
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S2078602069-04-UNSAT.cnf	? (TO)	1200.22	601.73	328312
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1568322528-08-SAT.cnf	? (TO)	1200.22	601.629	328317
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1554939604-02-UNSAT.cnf	? (TO)	1200.22	601.524	328412
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1380126410-13.UNSAT.shuffled.cnf	? (TO)	1200.23	601.524	327935
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S2108627398-03-UNSAT.cnf	? (TO)	1200.23	601.527	328402
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1456895752-14.SAT.shuffled.cnf	? (TO)	1200.23	601.523	327911
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S915337037-05-SAT.cnf	? (TO)	1200.23	601.732	328325
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S938354044-16.cnf	? (TO)	1200.23	601.528	328204
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S811866391-08.cnf	? (TO)	1200.23	601.53	328140
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S14782837-06.UNSAT.shuffled.cnf	? (TO)	1200.23	601.729	327995
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1292104917-07.SAT.shuffled.cnf	? (TO)	1200.23	601.727	328002
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1561551265-12.SAT.shuffled.cnf	? (TO)	1200.23	601.525	328116
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1711439550-13.UNSAT.shuffled.cnf	? (TO)	1200.23	601.524	328061
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1142849726-12.UNSAT.shuffled.cnf	? (TO)	1200.23	601.526	327955
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1950672055-10.SAT.shuffled.cnf	? (TO)	1200.23	601.524	328067
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1279599478-02.SAT.shuffled.cnf	? (TO)	1200.23	601.526	328068
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S44928635-12.SAT.shuffled.cnf	? (TO)	1200.23	601.524	328073
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S779175761-20-UNSAT.cnf	? (TO)	1200.23	601.524	328371
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S846304296-04-UNSAT.cnf	? (TO)	1200.23	601.524	328381
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1099746708-06.cnf	? (TO)	1200.24	601.746	328245
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1912540524-08.cnf	? (TO)	1200.24	601.638	328268
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1439774943-07-UNSAT.cnf	? (TO)	1200.24	601.525	328416
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1986560013-06.cnf	? (TO)	1200.25	601.643	328283

SAT 2007 Competition Phase 1: benchmarks results per solver

Result page for solver ornithorynque 0.1 alpha

Category "crafted instances" (CRAFTED)

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

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

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

Category "industrial instances" (INDUST)

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

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

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

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

Category "random instances" (RANDOM)

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

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

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