Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
submitted/aloul/FPGA_SAT05/normalized-fpga10_9_sat_pb.cnf.cr.opb | SAT | 672 | 0.085986 |
submitted/aloul/FPGA_SAT05/normalized-fpga12_11_sat_pb.cnf.cr.opb | SAT | 676 | 0.307952 |
submitted/aloul/FPGA_SAT05/normalized-fpga10_10_sat_pb.cnf.cr.opb | SAT | 671 | 0.525919 |
submitted/aloul/FPGA_SAT05/normalized-fpga11_11_sat_pb.cnf.cr.opb | SAT | 673 | 0.58191 |
submitted/aloul/FPGA_SAT05/normalized-fpga14_14_sat_pb.cnf.cr.opb | SAT | 683 | 0.756884 |
submitted/aloul/FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb | SAT | 706 | 0.840872 |
submitted/aloul/FPGA_SAT05/normalized-fpga12_12_sat_pb.cnf.cr.opb | SAT | 677 | 0.919859 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-diamond.opb | UNSAT | 3765 | 0.004998 |
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-diamond.opb | UNSAT | 5569 | 0.004999 |
submitted/manquinho/primes-dimacs-cnf/normalized-ssa0432-003.opb | UNSAT | 1944 | 0.167973 |
submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-141.opb | UNSAT | 1921 | 0.616905 |
submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-130.opb | UNSAT | 1920 | 0.660899 |
submitted/manquinho/primes-dimacs-cnf/normalized-bf1355-638.opb | UNSAT | 1318 | 0.681895 |
submitted/manquinho/primes-dimacs-cnf/normalized-bf1355-075.opb | UNSAT | 1316 | 0.692894 |
submitted/manquinho/primes-dimacs-cnf/normalized-bf2670-001.opb | UNSAT | 1932 | 0.707891 |
submitted/manquinho/primes-dimacs-cnf/normalized-ssa6288-047.opb | UNSAT | 1922 | 3.46247 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0548.opb | UNSAT | 5596 | 0.096985 |
mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb | UNSAT | 3748 | 0.097984 |
mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0548.opb | UNSAT | 4411 | 0.098984 |
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0548.opb | UNSAT | 5717 | 0.098984 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-d6cube.opb | UNSAT | 5504 | 28.7566 |
mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-stp3d.opb | UNSAT | 3820 | 41.9706 |
mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-stp3d.opb | UNSAT | 5696 | 42.0556 |
mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2d.opb | UNSAT | 2528 | 54.3867 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-testprob.opb | OPT FOUND | 5843 | 0.012997 |
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-flugpl.opb | OPT FOUND | 5573 | 0.205967 |
mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-flugpl.opb | OPT FOUND | 5688 | 0.206968 |
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc02.opb | OPT FOUND | 5581 | 0.267958 |
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc01.opb | OPT FOUND | 5582 | 0.480926 |
Benchmark Name | Answer | Traceid | CPU time |
---|---|---|---|
mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-gr4x6.opb | UNSAT | 5773 | 0.05999 |
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-mod013.opb | UNSAT | 5615 | 0.138978 |
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet4.opb | UNSAT | 5576 | 1.51877 |
mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet3.opb | UNSAT | 5578 | 1.52777 |
mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-mkc1.opb | UNSAT | 5786 | 3.80942 |
mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap2.opb | UNSAT | 5535 | 5.49616 |
mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-qap10.opb | UNSAT | 5417 | 15.5476 |