run-TANT.log

benchmarks\3vars.pla, 3, 4, 30
benchmarks\5vars.pla, 5, 6, 30
benchmarks\9sym_d.pla, 9, 189, 1968
benchmarks\carry.pla, 3, 4, 12
benchmarks\con1f1.pla, 7, 5, 38
benchmarks\con2f2.pla, 7, 6, 30
benchmarks\exam1_d.pla, 3, 4, 30
benchmarks\exam3_d.pla, 4, 6, 39
benchmarks\max46_d.pla, 9, 47, 1417
benchmarks\newill_d.pla, 8, 22, 128
benchmarks\newtag_d.pla, 8, 14, 34
benchmarks\rd53f1.pla, 5, 6, 30
benchmarks\rd53f2.pla, 5, 20, 95
benchmarks\rd53f3.pla, 5, 16, 167
benchmarks\rd73f1.pla, 7, 42, 525
benchmarks\rd73f2.pla, 7, 64, 863
benchmarks\rd73f3.pla, 7, 35, 210
benchmarks\rd84f1.pla, 8, 120, 1143
benchmarks\rd84f2.pla, 8, 128, 1919
benchmarks\rd84f3.pla, 8, 1, 10
benchmarks\rd84f4.pla, 8, 162, 499
benchmarks\sao2f1.pla, 10, 10, 312
benchmarks\sao2f2.pla, 10, 20, 744
benchmarks\sao2f3.pla, 10, 92, 138
benchmarks\sao2f4.pla, 10, 85, 188
benchmarks\sym10_d.pla, 10, 837, 2620
benchmarks\t481_d.pla, X, X, X
benchmarks\xor5_d.pla, 5, 16, 167