| weightedSequence/02-treeWeight-570-8leaves.smt2 |
| weightedSequence/13-treeWeight-513-8leaves.smt2 |
| weightedSequence/15-treeWeight-228-8leaves.smt2 |
| weightedSequence/08-treeWeight-591-8leaves.smt2 |
| weightedSequence/09-treeWeight-729-8leaves.smt2 |
| weightedSequence/26-treeWeight-528-8leaves.smt2 |
| weightedSequence/29-treeWeight-431-8leaves.smt2 |
| weightedSequence/01-treeWeight-495-8leaves.smt2 |
| weightedSequence/25-treeWeight-539-8leaves.smt2 |
| weightedSequence/07-treeWeight-569-8leaves.smt2 |
| weightedSequence/06-treeWeight-739-8leaves.smt2 |
| weightedSequence/22-treeWeight-641-8leaves.smt2 |
| weightedSequence/24-treeWeight-533-8leaves.smt2 |
| weightedSequence/17-treeWeight-351-8leaves.smt2 |
| weightedSequence/19-treeWeight-772-8leaves.smt2 |
| weightedSequence/12-treeWeight-651-8leaves.smt2 |
| weightedSequence/18-treeWeight-375-8leaves.smt2 |
| weightedSequence/16-treeWeight-281-8leaves.smt2 |
| weightedSequence/27-treeWeight-542-8leaves.smt2 |
| weightedSequence/30-treeWeight-486-8leaves.smt2 |
| weightedSequence/23-treeWeight-542-8leaves.smt2 |
| weightedSequence/11-treeWeight-302-8leaves.smt2 |
| weightedSequence/10-treeWeight-445-8leaves.smt2 |
| weightedSequence/05-treeWeight-497-8leaves.smt2 |
| weightedSequence/20-treeWeight-544-8leaves.smt2 |
| weightedSequence/14-treeWeight-537-8leaves.smt2 |
| weightedSequence/21-treeWeight-714-8leaves.smt2 |
| weightedSequence/04-treeWeight-560-8leaves.smt2 |
| weightedSequence/03-treeWeight-679-8leaves.smt2 |
| routingMin/SCC/d50.9.smt2 |
| routingMin/SCC/d120.7.smt2 |
| weightedSequence/28-treeWeight-411-8leaves.smt2 |
| routingMin/SCC/d40.5.smt2 |
| routingMin/SCC/d80.3.smt2 |
| routingMin/SCC/d90.7.smt2 |
| routingMin/SCC/d70.3.smt2 |
| routingMin/SCC/d60.2.smt2 |
| routingMin/SCC/d100.1.smt2 |
| routingMin/SCC/d110.6.smt2 |
| routingMin/SCC/d130.1.smt2 |
| travellingSalesperson/SCC/rand_80_340_1159656267_13.lp.smt2 |
| travellingSalesperson/SCC/rand_80_340_1159656267_0.lp.smt2 |
| travellingSalesperson/SCC/rand_70_300_1155482584_3.lp.smt2 |
| travellingSalesperson/SCC/rand_70_300_1155482584_7.lp.smt2 |
| travellingSalesperson/SCC/rand_80_340_1159656267_10.lp.smt2 |
| travellingSalesperson/SCC/rand_80_340_1159656267_11.lp.smt2 |
| travellingSalesperson/SCC/dom_rand_70_300_1155482584_3.lp.smt2 |
| travellingSalesperson/SCC/tsp_rand_70_300_1155482584_0.lp.smt2 |
| travellingSalesperson/SCC/rand_80_340_1159656267_16.lp.smt2 |
| travellingSalesperson/SCC/rand_80_340_1159656267_18.lp.smt2 |
| travellingSalesperson/SCC/tsp_rand_70_300_1155482584_11.lp.smt2 |
| travellingSalesperson/SCC/rand_70_300_1155482584_9.lp.smt2 |
| travellingSalesperson/SCC/tsp_rand_70_300_1155482584_5.lp.smt2 |
| travellingSalesperson/SCC/rand_70_300_1155482584_8.lp.smt2 |
| travellingSalesperson/SCC/rand_70_300_1155482584_12.lp.smt2 |
| travellingSalesperson/SCC/rand_80_340_1159656267_15.lp.smt2 |
| travellingSalesperson/SCC/tsp_rand_70_300_1155482584_12.lp.smt2 |
| travellingSalesperson/SCC/tsp_rand_70_300_1155482584_8.lp.smt2 |
| travellingSalesperson/SCC/tsp_rand_70_300_1155482584_7.lp.smt2 |
| travellingSalesperson/SCC/rand_70_300_1155482584_0.lp.smt2 |
| travellingSalesperson/SCC/rand_70_300_1155482584_11.lp.smt2 |
| travellingSalesperson/SCC/rand_80_340_1159656267_6.lp.smt2 |
| travellingSalesperson/SCC/tsp_rand_70_300_1155482584_4.lp.smt2 |
| travellingSalesperson/SCC/tsp_rand_70_300_1155482584_9.lp.smt2 |
| travellingSalesperson/SCC/rand_70_300_1155482584_5.lp.smt2 |
| travellingSalesperson/SCC/rand_70_300_1155482584_4.lp.smt2 |
| travellingSalesperson/SCC/rand_80_340_1159656267_17.lp.smt2 |
| travellingSalesperson/SCC/rand_70_300_1155482584_14.lp.smt2 |
| travellingSalesperson/SCC/tsp_rand_70_300_1155482584_14.lp.smt2 |
| travellingSalesperson/SCC/rand_80_340_1159656267_4.lp.smt2 |
| Labyrinth/SCC/0003-labyrinth-11-0.smt2 |
| Labyrinth/SCC/0018-labyrinth-11-0.smt2 |
| Labyrinth/SCC/0043-labyrinth-13-0.smt2 |
| Labyrinth/SCC/0011-labyrinth-12-0.smt2 |
| Labyrinth/SCC/0028-labyrinth-12-0.smt2 |
| Labyrinth/SCC/0051-labyrinth-12-0.smt2 |
| Labyrinth/SCC/0165-labyrinth-13-0.smt2 |
| Labyrinth/SCC/0075-labyrinth-13-0.smt2 |
| Labyrinth/SCC/0059-labyrinth-13-0.smt2 |
| routingMax/SCC/p50.56.smt2 |
| incrementalScheduling/289-incremental_scheduling-38880-0.smt2 |
| incrementalScheduling/064-incremental_scheduling-15092-0.smt2 |
| incrementalScheduling/264-incremental_scheduling-40968-0.smt2 |
| Labyrinth/SCC/0143-labyrinth-14-0.smt2 |
| incrementalScheduling/170-incremental_scheduling-18108-0.smt2 |
| incrementalScheduling/383-incremental_scheduling-75000-0.smt2 |
| incrementalScheduling/141-incremental_scheduling-17280-0.smt2 |
| incrementalScheduling/153-incremental_scheduling-17280-0.smt2 |
| incrementalScheduling/138-incremental_scheduling-17280-0.smt2 |
| incrementalScheduling/329-incremental_scheduling-50260-0.smt2 |
| incrementalScheduling/332-incremental_scheduling-50480-0.smt2 |
| incrementalScheduling/251-incremental_scheduling-40518-0.smt2 |
| incrementalScheduling/258-incremental_scheduling-40698-0.smt2 |
| incrementalScheduling/379-incremental_scheduling-78325-0.smt2 |
| incrementalScheduling/090-incremental_scheduling-15444-0.smt2 |
| incrementalScheduling/305-incremental_scheduling-50100-0.smt2 |
| incrementalScheduling/219-incremental_scheduling-28080-0.smt2 |
| incrementalScheduling/140-incremental_scheduling-18576-0.smt2 |
| incrementalScheduling/102-incremental_scheduling-18468-0.smt2 |
| incrementalScheduling/165-incremental_scheduling-18180-0.smt2 |
| incrementalScheduling/135-incremental_scheduling-17280-0.smt2 |
| incrementalScheduling/105-incremental_scheduling-17280-0.smt2 |
| incrementalScheduling/214-incremental_scheduling-27000-0.smt2 |
| incrementalScheduling/241-incremental_scheduling-28320-0.smt2 |
| Labyrinth/SCC/0175-labyrinth-15-0.smt2 |
| incrementalScheduling/099-incremental_scheduling-15631-0.smt2 |
| incrementalScheduling/295-incremental_scheduling-40626-0.smt2 |
| incrementalScheduling/182-incremental_scheduling-17280-0.smt2 |
| incrementalScheduling/359-incremental_scheduling-75000-0.smt2 |
| incrementalScheduling/115-incremental_scheduling-17280-0.smt2 |
| incrementalScheduling/360-incremental_scheduling-75000-0.smt2 |
| incrementalScheduling/298-incremental_scheduling-40824-0.smt2 |
| Labyrinth/SCC/0110-labyrinth-16-0.smt2 |
| Labyrinth/SCC/0132-labyrinth-12-0.smt2 |
| Labyrinth/SCC/0150-labyrinth-16-0.smt2 |
| Labyrinth/SCC/0036-labyrinth-17-0.smt2 |
| Labyrinth/SCC/0092-labyrinth-17-0.smt2 |
| Labyrinth/SCC/0084-labyrinth-17-0.smt2 |
| Labyrinth/SCC/0067-labyrinth-18-0.smt2 |
| Labyrinth/SCC/0100-labyrinth-17-0.smt2 |
| Labyrinth/SCC/0198-labyrinth-19-0.smt2 |
| Labyrinth/SCC/0159-labyrinth-20-0.smt2 |
| Labyrinth/SCC/0206-labyrinth-20-0.smt2 |