// File: eryxcc[P]lois/tests/autotest.cpp
// Function: main
int main() {
  lasttime = getVa();
  initLois();
  // pushSolverDiagnostic("checking: ");
  
#ifdef TEST_SPASS
  useDefaultSolver();
  pushSolverSPASS();
  pushSolverBasic();
  
  sym.edge = "edge";
  sym.greater = "gt";
  
#endif

  Domain dA("A");
  lsetof<term> A = dA.getSet(); 

  testFullyPseudoparallel(A);
  showTimeElapsed(); cout<<endl;

  testAssignment(A);
  showTimeElapsed(); cout<<endl;
  
  testRandomBipartite(A);
  showTimeElapsed(); cout<<endl;
  
  testOrder(A);
  showTimeElapsed(); cout<<endl;

  testQueue();
  showTimeElapsed(); cout<<endl;

  testRemoval(A);
  showTimeElapsed(); cout<<endl;
  
  // testPowerset(A * A);
  // showTimeElapsed(); cout<<endl;

  testCartesian(A);
  showTimeElapsed(); cout<<endl;

  testTree(A);
  
  return 0;
  }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x140, %rsp            # imm = 0x140
movl $0x0, -0x4(%rbp)
callq 0x9040
movq %rax, 0x9494a(%rip)     # 0xa5338
callq 0x6e6d0
leaq -0x51(%rbp), %rdi
movq %rdi, -0x138(%rbp)
callq 0x84e0
movq -0x138(%rbp), %rdx
leaq 0x62bcb(%rip), %rsi     # 0x735dc
leaq -0x50(%rbp), %rdi
callq 0x10f40
jmp 0x10a1c
leaq -0x30(%rbp), %rdi
leaq -0x50(%rbp), %rsi
callq 0x147b0
jmp 0x10a2b
leaq -0x50(%rbp), %rdi
callq 0x8578
leaq -0x51(%rbp), %rdi
callq 0x8320
leaq -0x90(%rbp), %rdi
leaq -0x30(%rbp), %rsi
callq 0x6f5c0
jmp 0x10a4f
leaq -0xb8(%rbp), %rdi
leaq -0x90(%rbp), %rsi
callq 0x11520
jmp 0x10a64
leaq -0xb8(%rbp), %rdi
movq %rdi, -0x140(%rbp)
callq 0x109b0
movq -0x140(%rbp), %rdi
callq 0x11960
callq 0x9070
jmp 0x10a8a
movq 0x94547(%rip), %rdi     # 0xa4fd8
movq 0x94518(%rip), %rsi     # 0xa4fb0
callq 0x8300
jmp 0x10a9f
leaq -0xe0(%rbp), %rdi
leaq -0x90(%rbp), %rsi
callq 0x11520
jmp 0x10ab4
leaq -0xe0(%rbp), %rdi
callq 0x10620
jmp 0x10ac2
leaq -0xe0(%rbp), %rdi
callq 0x11960
callq 0x9070
jmp 0x10ad5
movq 0x944fc(%rip), %rdi     # 0xa4fd8
movq 0x944cd(%rip), %rsi     # 0xa4fb0
callq 0x8300
jmp 0x10aea
leaq -0x108(%rbp), %rdi
leaq -0x90(%rbp), %rsi
callq 0x11520
jmp 0x10aff
leaq -0x108(%rbp), %rdi
callq 0xdee0
jmp 0x10b0d
leaq -0x108(%rbp), %rdi
callq 0x11960
callq 0x9070
jmp 0x10b20
movq 0x944b1(%rip), %rdi     # 0xa4fd8
movq 0x94482(%rip), %rsi     # 0xa4fb0
callq 0x8300
jmp 0x10b35
leaq -0x90(%rbp), %rdi
callq 0xbf30
jmp 0x10b43
callq 0x9070
jmp 0x10b4a
movq 0x94487(%rip), %rdi     # 0xa4fd8
movq 0x94458(%rip), %rsi     # 0xa4fb0
callq 0x8300
jmp 0x10b5f
callq 0xfbc0
jmp 0x10b66
callq 0x9070
jmp 0x10b6d
movq 0x94464(%rip), %rdi     # 0xa4fd8
movq 0x94435(%rip), %rsi     # 0xa4fb0
callq 0x8300
jmp 0x10b82
leaq -0x130(%rbp), %rdi
leaq -0x90(%rbp), %rsi
callq 0x11520
jmp 0x10b97
leaq -0x130(%rbp), %rdi
callq 0xfdf0
jmp 0x10ba5
leaq -0x130(%rbp), %rdi
callq 0x11960
callq 0x9070
jmp 0x10bb8
movq 0x94419(%rip), %rdi     # 0xa4fd8
movq 0x943ea(%rip), %rsi     # 0xa4fb0
callq 0x8300
jmp 0x10bcd
leaq -0x90(%rbp), %rdi
callq 0x109c0
callq 0x9070
jmp 0x10be0
movq 0x943f1(%rip), %rdi     # 0xa4fd8
movq 0x943c2(%rip), %rsi     # 0xa4fb0
callq 0x8300
jmp 0x10bf5
leaq -0x90(%rbp), %rdi
callq 0xa210
jmp 0x10c03
movl $0x0, -0x4(%rbp)
leaq -0x90(%rbp), %rdi
callq 0x11960
leaq -0x30(%rbp), %rdi
callq 0x147e0
movl -0x4(%rbp), %eax
addq $0x140, %rsp            # imm = 0x140
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x10c4e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x50(%rbp), %rdi
callq 0x8578
leaq -0x51(%rbp), %rdi
callq 0x8320
jmp 0x10cd6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x10ccd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x10cc1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0xe0(%rbp), %rdi
callq 0x11960
jmp 0x10cc1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x108(%rbp), %rdi
callq 0x11960
jmp 0x10cc1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x130(%rbp), %rdi
callq 0x11960
leaq -0x90(%rbp), %rdi
callq 0x11960
leaq -0x30(%rbp), %rdi
callq 0x147e0
movq -0x60(%rbp), %rdi
callq 0x84d0
nop