tropical-matrix Benchmarks

Family
Name	tropical-matrix
Generation Date	None
First Occurrence	2015-07-02
Benchmarks	118

Benchmarks

QF_LIA • Charts • Solver Isomap
constraint-247831.smt2
constraint-390915.smt2
constraint-329386.smt2
constraint-495717.smt2
constraint-515686.smt2
constraint-642278.smt2
constraint-645855.smt2
constraint-321761.smt2
constraint-735583.smt2
constraint-658040.smt2
constraint-917322.smt2
constraint-715402.smt2
constraint-278378.smt2
constraint-983194.smt2
constraint-679470.smt2
constraint-737829.smt2
constraint-283008.smt2
constraint-413904.smt2
constraint-496502.smt2
constraint-1290859.smt2
constraint-206132.smt2
constraint-614657.smt2
constraint-299856.smt2
constraint-1270998.smt2
constraint-1495125.smt2
constraint-505409.smt2
constraint-1317230.smt2
constraint-704423.smt2
constraint-2186643.smt2
constraint-368069.smt2
constraint-369883.smt2
constraint-255468.smt2
constraint-794687.smt2
constraint-729964.smt2
constraint-2085483.smt2
constraint-705295.smt2
constraint-1908553.smt2
constraint-906586.smt2
constraint-556171.smt2
constraint-2306960.smt2
constraint-496324.smt2
constraint-2121292.smt2
constraint-1192684.smt2
constraint-1072007.smt2
constraint-517804.smt2
constraint-1270163.smt2
constraint-1915015.smt2
constraint-2876125.smt2
constraint-1791895.smt2
constraint-178902.smt2
constraint-463860.smt2
constraint-170961.smt2
constraint-645054.smt2
constraint-319990.smt2
constraint-2061672.smt2
constraint-1333327.smt2
constraint-1452366.smt2
constraint-1682901.smt2
constraint-523123.smt2
constraint-1265513.smt2
constraint-394532.smt2
constraint-740637.smt2
constraint-3427750.smt2
constraint-527358.smt2
constraint-989891.smt2
constraint-651478.smt2
constraint-1268455.smt2
constraint-526870.smt2
constraint-762853.smt2
constraint-373262.smt2
constraint-758897.smt2
constraint-1285151.smt2
constraint-687179.smt2
constraint-269353.smt2
constraint-285271.smt2
constraint-916807.smt2
constraint-797738.smt2
constraint-1138192.smt2
constraint-187292.smt2
constraint-343499.smt2
constraint-497601.smt2
constraint-1330141.smt2
constraint-703279.smt2
constraint-495763.smt2
constraint-4033959.smt2
constraint-1345233.smt2
constraint-1635444.smt2
constraint-396616.smt2
constraint-221609.smt2
constraint-603294.smt2
constraint-851594.smt2
constraint-244431.smt2
constraint-696340.smt2
constraint-579281.smt2
constraint-570196.smt2
constraint-416752.smt2
constraint-1206577.smt2
constraint-479884.smt2
constraint-1361831.smt2
constraint-649834.smt2
constraint-1015084.smt2
constraint-901996.smt2
constraint-861420.smt2
constraint-1262176.smt2
constraint-2465898.smt2
constraint-3055292.smt2
constraint-2783581.smt2
constraint-3956027.smt2

QF_LRA • Charts • Solver Isomap
constraint-269735.smt2
constraint-251380.smt2
constraint-436218.smt2
constraint-199552.smt2
constraint-413064.smt2
constraint-223827.smt2
constraint-330061.smt2
constraint-343414.smt2
constraint-556101.smt2
constraint-1007893.smt2