Legend | |
0 | ./ttt2 -t -s 'dp; acdg?; sccs?; (acrpo -af || ackbo -af -ib 3 -ob 4)*' |
1 | ./ttt2 -t -s 'dp; acdg?; sccs?; (acrpo -af || ackbo -af -ib 3 -ob 4 || matrix -ib 2 -ob 3 -dp)*' |
2 | ./ttt2 -t -s 'dp; acdg?; sccs?; (acrpo -af || matrix -ib 2 -ob 3 -dp)*' |
3 | java -jar aprove.jar |