resultsummary.txt 134 Bytes
Newer Older
1 2 3 4 5 6 7 8 9
times:

simple (just one block, one relation, one oracle, one choose)
	aalta v1.2
		stubborn: 1m9s

    aalta v2.0
    	stubborn: 1s