PB'12 competition: satisfaction and optimization track: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_10_4_3_5.opb	UNSAT	0.000999	0.00643701	3705616
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_10_4_4_8.opb	UNSAT	0.000999	0.00642108	3705618
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_10_4_4_5.opb	UNSAT	0.001998	0.00620908	3705617
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_25_5_15.opb	UNSAT	706.539	706.587	3705641
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_25_3_15.opb	UNSAT	845.612	845.7	3705640

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_2_5.opb	SAT	0.004998	0.014073	3705636
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_3_5.opb	SAT	0.005998	0.013064	3705638
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_4_15.opb	SAT	0.039993	0.0371459	3705613
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_5_15.opb	SAT	0.224965	0.220354	3705624
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_3_15.opb	SAT	0.316951	0.315107	3705623
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_10_1_15.opb	SAT	0.668897	0.666909	3705619
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_2_15.opb	SAT	1.90771	1.9062	3705627
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_5_15.opb	SAT	2.15467	2.15203	3705631
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_60_5_15.opb	SAT	3.82242	3.93402	3705634
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_60_4_15.opb	SAT	12.5761	12.6045	3705633
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_1_80.opb	SAT	113.657	113.695	3705626
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_3_80.opb	SAT	244.005	244.023	3705628
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_10_2_40.opb	SAT	274.497	274.56	3705620
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_10_4_40.opb	SAT	292.5	292.546	3705621

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_3_40.opb	?	1799.47	1800.01	3705612
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_2_40.opb	?	1799.48	1800.01	3705622
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_5_40.opb	?	1799.51	1800.01	3705625
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_1_15.opb	?	1799.61	1800.02	3705635
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_5_80.opb	?	1799.81	1800.01	3705632
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_25_5_40.opb	?	1799.82	1800.01	3705615
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_3_15.opb	?	1799.83	1800.01	3705637
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_25_3_80.opb	?	1799.86	1800	3705630
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_25_2_15.opb	?	1799.9	1800.01	3705614
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_50_10_5_15.opb	?	1799.95	1800.01	3705639
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_5_80.opb	?	1800.01	1800.02	3705629

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_10_4_3.opb	OPT	2	0.000999	0.00663101	3705684
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_10_4_2.opb	OPT	-3	0.000999	0.00648399	3705714
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_10_4_1.opb	OPT	-3	0.000999	0.00609004	3705713
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_10_4_5.opb	OPT	2	0.000999	0.00610898	3705685
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=7-P0=37-P1=43-B.opb	OPT	3	0.000999	0.00665794	3705746
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_10_4_2.opb	OPT	2	0.000999	0.00633106	3705683
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_10_4_3.opb	OPT	-3	0.000999	0.00616008	3705715
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=5-P0=2-P1=23-P2=29-P3=19-B.opb	OPT	2	0.001998	0.0066669	3705736
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_10_4_1.opb	OPT	2	0.001999	0.00682012	3705682
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ roussel/factor-mod-B/factor-mod-size=5-P0=11-P1=2-P2=23-B.opb	OPT	2	0.002999	0.00656195	3705733
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_10_4_5.opb	OPT	-4	0.002999	0.00623602	3705716
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_50_25_4.opb	OPT	2	0.029994	0.0242949	3705701
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ roussel/factor-mod-B/factor-mod-size=6-P0=41-P1=53-P2=59-B.opb	OPT	3	0.041993	0.0386991	3705740
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ roussel/factor-mod-B/factor-mod-size=6-P0=53-P1=41-P2=53-B.opb	OPT	3	0.042993	0.038949	3705742
/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_0_errors.opb	OPT	0	0.044992	0.0374501	3705762
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=29-P1=2-P2=59-P3=2-P4=47-P5=53-P6=37-P7=53-P8=53-B.opb	OPT	2	0.053991	0.0459721	3705739
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=7-P0=43-P1=107-P2=31-P3=113-P4=127-P5=2-P6=79-B.opb	OPT	2	0.072988	0.0725921	3705747
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=5-P0=17-P1=13-P2=11-P3=19-P4=11-P5=23-B.opb	OPT	3	0.162975	0.162734	3705735
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=5-P0=29-P1=11-P2=11-P3=17-P4=29-P5=23-B.opb	OPT	3	0.19197	0.182872	3705737
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=5-P0=13-P1=5-P2=17-P3=2-P4=29-P5=5-P6=19-P7=17-P8=5-B.opb	OPT	2	0.201968	0.198785	3705734
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ roussel/factor-mod-B/factor-mod-size=7-P0=89-P1=17-P2=37-B.opb	OPT	3	0.212967	0.212715	3705751
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=7-P0=17-P1=53-P2=109-B.opb	OPT	3	0.231964	0.229974	3705745
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=5-P0=11-P1=13-P2=29-P3=23-P4=5-P5=29-P6=29-P7=31-P8=29-P9=31-B.opb	OPT	3	0.45393	0.454829	3705732
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=53-P1=17-P2=17-P3=13-P4=17-P5=61-B.opb	OPT	3	0.933857	0.932135	3705741
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=7-P1=29-P2=53-P3=31-P4=23-P5=47-P6=67-B.opb	OPT	3	0.953854	0.95062	3705743
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=11-P1=37-P2=59-P3=23-P4=53-P5=31-P6=59-P7=29-P8=2-P9=67-B.opb	OPT	2	1.73474	1.73412	3705738
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_10_4_3.opb	OPT	-3	2.78058	2.78215	3705654
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=61-P1=127-P2=131-P3=107-P4=47-B.opb	OPT	3	2.93255	2.93329	3705750
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=53-P1=37-P2=29-P3=83-P4=23-P5=67-B.opb	OPT	3	3.47447	3.47153	3705749
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=97-P1=37-P2=107-P3=53-P4=53-B.opb	OPT	3	3.87241	3.86994	3705753
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_10_4_1.opb	OPT	-3	4.82227	4.81786	3705653
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=107-P1=13-P2=17-P3=127-P4=13-P5=53-P6=73-P7=59-B.opb	OPT	3	6.39503	6.39257	3705744
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=7-P0=89-P1=37-P2=43-P3=47-P4=41-P5=107-P6=127-B.opb	OPT	3	6.604	6.59516	3705752
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=41-P1=331-P2=37-B.opb	OPT	3	8.75167	8.74827	3705759
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=53-P1=109-P2=43-P3=13-P4=17-P5=101-P6=59-P7=7-P8=29-P9=107-B.opb	OPT	3	10.9653	10.9579	3705748
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=9-P0=499-P1=293-P2=223-P3=277-B.opb	OPT	3	42.5795	42.5898	3705760
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=149-P1=79-P2=59-P3=73-P4=211-B.opb	OPT	3	51.5512	51.5556	3705755
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=139-P1=101-P2=227-P3=251-P4=227-P5=251-B.opb	OPT	3	53.1769	53.1999	3705754
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=61-P1=167-P2=157-P3=13-P4=173-P5=47-P6=47-P7=251-P8=79-B.opb	OPT	3	97.9941	98.0282	3705758
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=211-P1=113-P2=103-P3=37-P4=167-P5=5-P6=191-P7=13-P8=223-P9=137-B.opb	OPT	3	124.969	125.021	3705756
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=229-P1=67-P2=149-P3=97-P4=149-P5=211-P6=89-P7=59-B.opb	OPT	3	128.129	128.174	3705757
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_50_10_5.opb	OPT	6	128.324	128.328	3705700
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_50_10_4.opb	OPT	6	1050.12	1050.17	3705699
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=67-P1=349-P2=67-P3=499-P4=79-P5=347-P6=307-B.opb	OPT	3	1492.26	1492.5	3705761
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_2.opb	OPT	5	1553.18	1553.39	3705678

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_1.opb	?	1799.36	1800.03	3705660
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_1.opb	?	1799.44	1800.01	3705657
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_4.opb	?	1799.46	1800.01	3705696
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_2.opb	?	1799.47	1800.02	3705694
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_60_4.opb	?	1799.47	1800.01	3705665
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_4.opb	?	1799.52	1800.02	3705690
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_1.opb	?	1799.52	1800	3705722
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_5.opb	?	1799.52	1800.01	3705721
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_3.opb	?	1799.54	1800.01	3705720
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_5.opb	?	1799.55	1800.07	3705664
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_3.opb	?	1799.55	1800.02	3705689
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_60_1.opb	?	1799.55	1800.01	3705727
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_60_3.opb	?	1799.55	1800.07	3705646
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_60_4.opb	?	1799.55	1800.06	3705647
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_2.opb	?	1799.56	1800.02	3705658
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_3.opb	?	1799.56	1800.06	3705662
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_1.opb	?	1799.57	1800.01	3705693
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_60_1.opb	?	1799.57	1800.08	3705644
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_5.opb	?	1799.58	1800.02	3705711
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_60_3.opb	?	1799.58	1800.02	3705675
/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_15_errors.opb	?	1799.59	1800.01	3705764
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_60_4.opb	?	1799.59	1800.02	3705676
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_10_2.opb	?	1799.59	1800.01	3705692
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_1.opb	?	1799.6	1800.01	3705717
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_25_1.opb	?	1799.61	1800.01	3705712
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_25_3.opb	?	1799.61	1800	3705725
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_5.opb	?	1799.62	1800.01	3705659
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_1.opb	?	1799.62	1800	3705668
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_2.opb	?	1799.64	1800.01	3705669
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_2.opb	?	1799.66	1800.07	3705661
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_4.opb	?	1799.66	1800.01	3705671
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_2.opb	?	1799.68	1800.01	3705686
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_1.opb	?	1799.7	1800.01	3705655
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_50_25_1.opb	?	1799.71	1800	3705730
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_1.opb	?	1799.72	1800	3705650
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_3.opb	?	1799.72	1800.02	3705695
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_4.opb	?	1799.73	1800.01	3705656
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_1.opb	?	1799.73	1800.01	3705666
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_4.opb	?	1799.75	1800.01	3705680
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_5.opb	?	1799.76	1800.01	3705652
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_3.opb	?	1799.76	1800	3705679
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_25_5.opb	?	1799.76	1800.02	3705673
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_1.opb	?	1799.77	1800.04	3705688
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_4.opb	?	1799.79	1800.01	3705667
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_5.opb	?	1799.81	1800.01	3705687
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_60_2.opb	?	1799.82	1800.04	3705645
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_25_2.opb	?	1799.84	1800.04	3705643
/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_10_errors.opb	?	1799.84	1800.01	3705763
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_25_1.opb	?	1799.84	1800.01	3705719
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_3.opb	?	1799.85	1800.01	3705670
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_25_5.opb	?	1799.85	1800.01	3705691
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_1.opb	?	1799.86	1800.02	3705648
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_2.opb	?	1799.86	1800	3705703
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_3.opb	?	1799.86	1800.01	3705724
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_4.opb	?	1799.87	1800.03	3705663
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_50_10_3.opb	?	1799.87	1800.01	3705729
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_5.opb	?	1799.87	1800	3705681
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_1.opb	?	1799.87	1800	3705706
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_5.opb	?	1799.88	1800.01	3705718
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_50_25_3.opb	?	1799.89	1800.01	3705731
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_4.opb	?	1799.89	1800.01	3705707
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_25_1.opb	?	1799.9	1800.01	3705672
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_60_2.opb	?	1799.9	1800.01	3705674
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_10_3.opb	?	1799.9	1800.02	3705649
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_1.opb	?	1799.9	1800.01	3705708
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_100_25_3.opb	?	1799.91	1800.01	3705651
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_25_5.opb	?	1799.91	1800.01	3705726
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_10_4.opb	?	1799.91	1800.02	3705677
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_5.opb	?	1799.91	1800	3705705
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_2.opb	?	1799.92	1800.01	3705723
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_3.opb	?	1799.92	1800.01	3705710
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_2.opb	?	1799.92	1800.01	3705709
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_60_3.opb	?	1799.92	1800.01	3705697
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_60_4.opb	?	1799.92	1800.07	3705698
/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_5_errors.opb	?	1799.94	1800.01	3705765
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_1.opb	?	1799.94	1800	3705702
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_25_4.opb	?	1799.95	1800	3705704
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_60_3.opb	?	1799.99	1800	3705728
normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_25_1.opb	?	1800.01	1800.06	3705642

PB'12 competition: satisfaction and optimization track: benchmarks results per solver

Result page for solver wbo 1.7 (complete)

Category "no optimisation, small integers, non linear constraints" (DEC-SMALLINT-NLC)

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

Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (14 runs) [Show/Hide]

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

Category "optimisation, small integers, non linear constraints" (OPT-SMALLINT-NLC)

Solver found optimum (OPTIMUM FOUND) (45 runs) [Show/Hide]

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