TEXT   131
18s mem 503mb trans 14463
Guest on 10th December 2024 01:01:25 AM


  1. 18s: mem=503Mb trans=14463 traceSteps=4450 explored=14464 saved=4451 prove=0
  2. 33s: mem=731Mb trans=21067 traceSteps=6482 explored=21068 saved=6483 prove=0
  3. 48s: mem=856Mb trans=25918 traceSteps=7974 explored=25917 saved=7975 prove=0
  4. 63s: mem=880Mb trans=27333 traceSteps=8410 explored=27334 saved=8411 prove=0
  5. 79s: mem=880Mb trans=27892 traceSteps=8582 explored=27893 saved=8583 prove=0
  6. 94s: mem=880Mb trans=28254 traceSteps=8692 explored=28255 saved=8693 prove=0
  7. 110s: mem=880Mb trans=28529 traceSteps=8778 explored=28530 saved=8779 prove=0
Raw Paste

Login or Register to edit or fork this paste. It's free.